auto` 作为返回值类型的一些限制

在 C++ 中，auto 作为返回值类型有一些限制，这与类型推导的方式和时机有关。

虽然在很多场景下 auto 可以简化代码，但它不能直接用于函数返回类型，这是因为在编译时类型推导的机制不同于局部变量的类型推导。

具体原因如下：

1. 推导时机问题

当我们在函数体中使用 auto 声明变量时，编译器可以通过变量的初始化值直接推导其类型。

然而，对于函数的返回类型，编译器在看到函数签名时需要知道返回类型，而不是等到函数体实现后。因此，使用 auto 作为返回值类型无法满足编译器的推导要求。

示例：局部变量的 auto 推导

void example() {
    auto x = 42;  // 编译器可以直接通过初始化的值推导出 x 的类型为 int
}

在这种情况下，编译器可以轻松推导出 x 的类型，因为初始化表达式 42 是已知的。

不合法的 auto 用作返回类型

auto getValue() {  // 编译器不知道 auto 的类型是什么
    return 42;     // 需要推导出返回值类型为 int
}

编译器在处理函数定义时，首先会尝试确定函数的返回类型。

但它在遇到 auto 时并不知道返回类型，直到解析了 return 语句后才知道它应该返回 int。

然而，编译器无法等到看到函数体才推导出返回类型，因为它需要在调用函数之前就知道返回类型。

2. 解决方案：auto + decltype

C++11 引入了 trailing return type，使得我们可以使用 auto 来声明返回类型，但需要借助 decltype 来推导类型，这样就可以明确地告诉编译器返回类型。

示例：使用 auto 和 decltype

auto getValue() -> decltype(42) {
    return 42;
}

在这种方式下，auto 用作返回类型，但通过 -> decltype(...) 告诉编译器返回类型应当是 int，因为 decltype(42) 的类型是 int。

3. C++14 引入的简化方法：auto 作为返回类型

在 C++14 中，引入了允许使用 auto 作为返回类型的功能，即编译器可以根据 return 语句推导出函数的返回类型。

C++14 示例

auto getValue() {
    return 42;  // 编译器自动推导返回类型为 int
}

在 C++14 中，编译器允许推迟返回类型的推导，直到它看到 return 语句。这就是为什么在 C++14 或更高版本中可以使用 auto 作为返回类型。

4. 总结

• C++11 中，直接使用 auto 作为返回类型是非法的，编译器无法在看到 return 语句之前推导出返回类型，必须使用 -> decltype(...) 来帮助编译器确定返回类型。
• C++14 引入了允许 auto 作为返回类型的新规则，编译器会推迟推导，直到解析到 return 语句，从而能够推导出正确的返回类型。

要确定 auto 能否用作返回值，取决于你使用的 C++ 标准版本。