为何显式模板特化返回类型与主模板不同会触发编译错误？

在C++中，使用auto作为返回类型的函数模板，其返回类型是推导占位符，编译器会根据函数体的return语句推导具体返回类型。而函数模板的显式特化必须满足核心规则：特化版本的函数签名（包括返回类型）必须与主模板的签名兼容，具体到返回类型，特化的返回类型必须是主模板在对应特化参数下，通过占位符推导能得到的类型。

看代码示例：

• 主模板template <size_t T> auto Get() = delete;用auto作为返回占位符，意味着所有特化版本的返回类型必须符合auto的推导规则——auto会忽略返回值的引用属性，推导为值类型（比如Get<0>()返回5，auto推导为int，这是合法的）。
• 为Get<1>()编写的特化返回std::string const &，这里的引用类型是auto占位符无法推导出来的（auto不会保留引用），而且返回类型std::string const &和主模板的auto占位符推导逻辑完全不匹配。编译器会判定这个特化版本的签名与主模板不一致，因此抛出编译错误。

如果想让特化支持返回引用类型，主模板的返回类型应该改用decltype(auto)，它会保留返回值的引用或值属性，这样特化版本的返回引用类型才能符合主模板的占位符规则。

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