C++ Academy · 课时

转换类型

Q: 「转换类型」这节课中我会学到什么？

remove_const、decay 及更多工具 你通过在浏览器中直接运行的动手代码来练习 C++ Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

remove_const、decay 及更多工具

转换类型 是 CoddyKit 上的免费 C++ Academy 课时。这是第 2 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 C++ Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 C++ Academy 课程共包含 4 节课。

类型变换

除了查询类型之外，<type_traits> 还可以根据旧类型生成新类型。这些特征会公开成员类型 ::type，并在 C++14 及更高版本中提供 _t 简写。

remove_const

std::remove_const_t<const int> 会得到 int。当您需要某种类型的可修改版本时，这很有用。

#include <iostream>
#include <type_traits>

int main() {
    using T = std::remove_const_t<const int>;
    std::cout << std::is_same_v<T, int> << "\n";
    return 0;
}

remove_reference

std::remove_reference_t<int&> 会得到 int。这对于完美转发和编写泛型代码非常重要。

#include <iostream>
#include <type_traits>

int main() {
    using T = std::remove_reference_t<int&>;
    std::cout << std::is_same_v<T, int> << "\n";
    return 0;
}

add_pointer 和 add_const

类型变换也可以添加限定符。

add_const_t<int> = const int
add_pointer_t<int> = int*

#include <iostream>
#include <type_traits>

int main() {
    using P = std::add_pointer_t<int>;
    std::cout << std::is_same_v<P, int*> << "\n";
    return 0;
}

std::decay

std::decay_t<T> 模拟按值传递时发生的转换：它会去除引用和常量性、易失性限定符，并将数组和函数转换为指针。

#include <iostream>
#include <type_traits>

int main() {
    using T = std::decay_t<const int&>;
    std::cout << std::is_same_v<T, int> << "\n";
    return 0;
}

数组退化

decay 会将数组类型转换为指针，这与将数组传递给函数时的行为完全相同。

#include <iostream>
#include <type_traits>

int main() {
    using T = std::decay_t<int[5]>;
    std::cout << std::is_same_v<T, int*> << "\n";
    return 0;
}

remove_cv

std::remove_cv_t<const volatile int> 会去除 const 和 volatile，得到普通的 int。

#include <iostream>
#include <type_traits>

int main() {
    using T = std::remove_cv_t<const volatile int>;
    std::cout << std::is_same_v<T, int> << "\n";
    return 0;
}

common_type

std::common_type_t<A,B> 会给出两者都能转换成的类型，例如 a + b 的结果类型。

#include <iostream>
#include <type_traits>

int main() {
    using T = std::common_type_t<int, double>;
    std::cout << std::is_same_v<T, double> << "\n";
    return 0;
}

underlying_type

对于枚举，std::underlying_type_t<E> 会揭示支持该枚举的整数类型。

#include <iostream>
#include <type_traits>

enum class Color : unsigned char { Red, Green };

int main() {
    using U = std::underlying_type_t<Color>;
    std::cout << std::is_same_v<U, unsigned char> << "\n";
    return 0;
}

链接类型变换

类型变换可以组合使用。为了规范化转发后的类型，您通常会将它们组合起来，例如 remove_cv_t<remove_reference_t<T>>，这基本上就是 decay 的起始步骤。

类型变换为何重要

泛型函数经常接收 const T& 或 T&&，但需要裸类型来声明局部变量或返回值。类型变换特征可以为您提供这种简洁的类型。

快速检查

请回忆 decay 的作用。

回顾

您学会了类型变换。

特征会公开 ::type，并提供 _t 简写
remove_const、remove_reference、remove_cv
add_pointer、add_const、decay
common_type、underlying_type 用于生成派生结果

常见问题解答

「转换类型」课时是免费的吗？

是的 — 「转换类型」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 C++ Academy 课程的其余内容，请升级到 CoddyKit PRO。 C++ Academy 课程共包含 4 节课。

「转换类型」这节课中我会学到什么？

remove_const、decay 及更多工具你通过在浏览器中直接运行的动手代码来练习 C++ Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 C++ Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 C++ Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 2 节课，共 4 节。

「转换类型」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 C++ Academy 课中编写并运行代码吗？

能。每节 C++ Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 C++ Academy