C++11中的auto关键字怎么用？(自动类型推导)

auto依赖初始化表达式推导底层类型，非引用或const；需显式写auto&/const auto&保留修饰；auto&&支持万能引用；不能用于函数参数或数组声明；lambda形参用auto需C++14；返回类型后置中auto仅为占位符。

auto 不是万能类型占位符，它依赖初始化表达式推导，且推导规则和你直觉可能不一致。

auto 推导的是值类型，不是引用或 const 修饰

声明时写 auto x = val，编译器看的是 val 的「类型去除引用和 const 后的底层类型」。比如 const int& y = 42;，auto x = y 得到的是 int，不是 const int&。

• 要保留引用，必须显式写 auto&；要保留 const，写 const auto&
• 用 auto&& 可以捕获万能引用（universal reference），配合完美转发
• 循环中遍历容器，for (auto x : vec) 是拷贝；想避免开销，改用 for (const auto& x : vec)

auto 不能用于函数参数或数组类型推导

C++11 不允许把 auto 当作函数形参类型（C++20 才支持），也不支持 auto arr[] = {1,2,3}; 这种写法——数组大小无法从初始化列表自动算出并绑定到类型上。

• 函数参数要用模板：用 template void f(T x) 替代 void f(auto x)（后者在 C++11 中非法）
• 想让编译器推导数组长度，得借助模板辅助：例如 template void f(int (&arr)[N])
• std::array 和 std::vector 更适合配合 auto 使用，因为它们是完整类型

auto 在 lambda 和返回类型后置中必须谨慎使用

lambda 表达式中用 auto 做形参（如 [=](auto x) { return x + 1; }）是 C++14 起才支持的，在 C++11 中直接报错：error: 'auto' not allowed in lambda parameter。

• C++11 中 lambda 参数类型必须显式写出，或靠模板函数包装
• 函数返回类型后置语

  

  法（auto func() -> int）里，auto 只是占位符，不参与推导；真正推导靠 -> 后面的类型
• 想用返回值推导（如 auto func() { return 42; }），需函数定义在返回语句之后，且所有 return 表达式类型必须一致

auto get_ptr() {
    static int x = 0;
    return &x;  // 返回 int*
}
auto p = get_ptr();  // p 的类型是 int*
// 但注意：如果函数内有多个 return，比如 return nullptr; 就会编译失败——类型不匹配

最易被忽略的一点：auto 推导发生在编译期，但它不等价于宏替换或运行时类型查询；一旦推导完成，变量类型就固定了，后续不能赋值给不兼容类型，哪怕看起来“逻辑上合理”。