尧图网站设计 尧图网站设计YAOTU DESIGN
ARTICLE DETAIL

资讯详情

深耕网站设计与一线实操的经验洞察。

C++ auto、decltype 与 decltype(auto):类型推导和引用保留一篇搞懂

C++ auto、decltype 与 decltype(auto):类型推导和引用保留一篇搞懂 C auto、decltype 与 decltype(auto)类型推导和引用保留一篇搞懂auto 能让声明更简洁却不是“原样复制表达式类型”。在常见的按值声明中它会去掉顶层 const 与引用decltype 则遵循另一套规则。理解这三者能避免不小心复制对象或返回悬空引用。1. auto按值、按引用分别写#includetype_traitsintmain(){constintvalue42;constintrefvalue;autoaref;// int独立副本autobref;// const int引用原对象constautocref;// const int只读引用static_assert(std::is_same_vdecltype(a),int);static_assert(std::is_same_vdecltype(b),constint);}auto 不等于“永远丢掉 const”这里是按值声明 a所以顶层 const 与引用被去掉显式加 后引用与被引用对象的 const 约束仍在。大型对象循环遍历时这个差别很重要。2. decltype括号也会改变结果#includetype_traitsintmain(){intvalue1;static_assert(std::is_same_vdecltype(value),int);static_assert(std::is_same_vdecltype((value)),int);}未加额外括号的变量名decltype 取它声明的类型(value) 是左值表达式所以得到 int。这不是编译器怪脾气而是 decltype 对未加括号的名字与一般表达式采用不同规则。需要精确类型时一定留意表达式形式。3. decltype(auto)让返回类型跟着表达式走#includevectorstd::vectorintnumbers{10,20};decltype(auto)first(){return(numbers[0]);// int}intmain(){first()99;// 修改 numbers[0]}如果把 first 的返回类型写成 auto返回的是 int 副本不能像上面那样修改原元素。decltype(auto) 常用于通用包装器但要求你真正理解返回值的生命周期。错误示例是返回局部变量的引用decltype(auto)broken(){intlocal1;return(local);// 推导为 int函数结束后悬空切勿这样写}4. 速查写法主要特点auto x expr通常按值可能复制auto x expr引用左值保留底层 constconst auto x expr只读引用可绑定临时值decltype(expr)按 decltype 规则取得类型decltype(auto)声明或返回时保留 decltype 规则结果日常变量先用 auto涉及引用就明确写出 写泛型包装、需要原样返回引用时再考虑 decltype(auto)并把生命周期检查放在第一位。
返回列表