C++怎么用decltype获得变量类型-C++-PHP中文网

decltype推导表达式类型而非变量声明类型：decltype(x)得x声明类型，decltype((x))得x的引用类型，decltype(函数调用)保留返回类型的引用和cv限定符。

c++怎么用decltype获得变量类型

decltype 用来推导表达式的类型，不是变量声明时的“原始类型”

很多人以为 decltype(x) 总是返回 x 声明时写的类型，其实它返回的是“表达式 x 的类型”，而这个类型受表达式是否带括号、是否是左值等影响。比如 int a = 42;，decltype(a) 是 int，但 decltype((a)) 是 int& —— 因为 (a) 是一个左值表达式。

常见错误现象：decltype(x) 推出引用类型，导致模板实例化失败或函数重载选错；或者误以为能直接用它定义变量而没加 auto 或别名。

decltype(变量名) → 返回该变量的声明类型（不含括号）
decltype((变量名)) → 返回对该变量的引用类型（因为带括号的变量是左值表达式）
decltype(函数调用) → 返回函数声明的返回类型（不忽略引用，也不自动退化）
若表达式是纯右值（如字面量 42、std::move(x)），decltype 返回非引用类型

用 decltype 定义变量类型：必须配合 auto 或 using/typedef

decltype 本身不能直接声明变量，它只做类型推导。想用它定义新变量，得靠 auto（C++11 起）或类型别名。

典型使用场景：泛型编程中复用已有变量的精确类型（尤其涉及 const、引用、cv 限定符时）；写模板内部临时变量，避免手写冗长类型名。

推荐写法：auto y = x;（推导并定义），或 decltype(x) y = x;（仅当 x 是变量名且你确定要原类型时）
安全写法：using T = decltype(x); T y = x;
错误写法：decltype x y;（语法错误）、decltype(x) y;（未初始化，且若 x 是 const int，则 y 也是 const int，无法赋值）
注意：如果 x 是 const std::vector<int>&</int>，decltype(x) y; 声明的是引用，必须初始化

decltype 和 auto 在类型推导上的关键区别

auto 会忽略顶层 const 和引用（类似函数参数推导），decltype 则“照单全收”，连表达式值类别都反映在类型里。这是两者最常踩坑的地方。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

例如：const int ci = 0; const int& ri = ci;

auto x = ci; → x 类型是 int（丢掉 const）
decltype(ci) x = ci; → x 类型是 const int
auto y = ri; → y 类型仍是 int（引用和 const 都被剥离）
decltype(ri) y = ri; → y 类型是 const int&
decltype((ri)) z = ri; → z 类型是 const int&（括号强化左值语义）

在模板和 SFINAE 中用 decltype 检查表达式合法性

这是 decltype 最强大的用途之一：不求值、只检查表达式能否成立，并获取其类型。常配合 void_t 或 C++20 requires 使用。

典型错误：直接写 decltype(obj.func()) 而没做 sfinae 保护，导致编译失败而非静默回退。

基础技巧：用 decltype(std::declval<t>().size(), void())</t> 检查 T 是否有 size() 成员函数（逗号表达式让整体类型为 void）
C++17 推荐写法：template<typename t> using has_size = decltype(std::declval<t>().size());</t></typename>，再用 std::is_detected_v<has_size t></has_size>
注意 std::declval<t>()</t> 生成一个假想的 T&&，所以 decltype(std::declval<t>().size())</t> 才能测左值对象行为
不要对未定义行为的表达式用 decltype（如 decltype(*nullptr)），虽不求值，但标准仍可能视其为 ill-formed