decltype(auto) 是否会让尾随返回类型失去存在必要？

好问题！虽然decltype(auto)确实帮我们简化了很多返回类型推导的场景，但它并不是万能的——确实存在一些场景，要么decltype(auto)无法正常工作，要么推导结果不符合预期，这时候就必须依赖尾随返回类型来解决。下面我就给你举几个典型的例子：

1. 需要强制指定返回类型，而非依赖表达式推导 #

有时候我们想要的返回类型和表达式本身的类型并不一致，这时候decltype(auto)的推导结果就会偏离预期：

• 场景A：返回const引用而非普通引用
  假设你有一个类，内部有一个std::vector<int>成员vec，你希望成员函数返回元素的const int&，但如果用decltype(auto)：

class MyContainer {
private:
    std::vector<int> vec = {1,2,3};
public:
    // 推导结果是int&，不符合我们想要的const int&
    auto get_element(size_t idx) -> decltype(auto) {
        return vec[idx];
    }
};

这时候用尾随返回类型就能明确指定我们需要的类型：

auto get_element(size_t idx) -> const int& {
    return vec[idx]; // 即使vec[idx]返回int&，也会被转换为const int&返回
}

• 场景B：返回衰减后的类型
  函数不能直接返回数组类型，但如果你的返回表达式是数组名，decltype(auto)会推导为数组类型，导致编译错误。这时候必须用尾随返回类型指定衰减后的指针：

// 错误：函数无法返回数组类型int[5]
auto get_array() -> decltype(auto) {
    static int arr[5] = {1,2,3,4,5};
    return arr;
}

// 正确：用尾随返回类型指定int*
auto get_array() -> int* {
    static int arr[5] = {1,2,3,4,5};
    return arr;
}

2. 返回表达式是重载函数或模板函数的名字 #

当你想返回一个重载函数的指针时，decltype(auto)无法确定要选择哪个重载版本，编译器会直接报错。这时候必须用尾随返回类型明确指定目标重载的类型：

void foo(int);
void foo(double);

// 错误：编译器无法确定返回哪个foo的重载
auto get_foo() -> decltype(auto) {
    return foo;
}

// 正确：明确指定返回int版本的函数指针
auto get_foo() -> void(*)(int) {
    return foo;
}

同样的，对于未实例化的模板函数名字，decltype(auto)也无法推导，必须用尾随返回类型明确实例化后的类型。

3. 模板中返回类型依赖关联类型，且与表达式推导结果不一致 #

在模板编程中，有时候我们需要返回模板参数的某个关联类型，但这个类型和返回表达式的推导结果不同。比如，我们想强制返回容器的const_iterator，即使传入的是非const容器：

template <typename Container>
// 用尾随返回类型明确指定const_iterator
auto get_const_iterator(Container& c) -> typename Container::const_iterator {
    return c.begin();
}

如果换成decltype(auto)，推导结果会是typename Container::iterator（因为传入的是非const容器），这就不符合我们想要返回const迭代器的需求了。

4. 避免括号表达式导致的意外引用推导 #

decltype(auto)会严格遵循decltype的规则：如果返回表达式是带括号的左值，会推导为引用类型。但有时候我们只是想返回值，这时候就需要用尾随返回类型来纠正：

int x = 42;

// 推导结果是int&，因为(x)是左值表达式
auto get_x() -> decltype(auto) {
    return (x);
}

// 明确返回int值，避免意外的引用
auto get_x() -> int {
    return (x);
}

总结 #

decltype(auto)的优势是自动匹配返回表达式的类型，但当你需要精确控制返回类型、处理重载/模板函数名字、在模板中依赖关联类型或者避免表达式语法导致的意外推导时，尾随返回类型依然是不可替代的工具。

内容的提问来源于stack exchange，提问作者Fureeish