超载函数模板仅在C＆＃x2b;＆＃x2B中仅在返回类型上有所不同。

Question

众所周知，仅在返回类型上有所不同的普通函数不能在C ++中超载。

但是，此限制不适合过载函数模板，例如：

int f(auto) { return 1; }
auto f(auto) { return 2; }

所有编译器都接受它，演示：

为什么该语言为此提供了这样的例外模板？

如果重载函数的返回类型有所不同，则可以使用cast到预期功能类型选择其中一个功能。令人惊讶的是，Clang允许人们解决歧义，即使返回类型实际上相同，例如：

((int(*)(int))f)(3);

选择

int f(auto) { return 1; }

演示：“ noreferrer”> https://gcc.godbolt.org/z/snfvbq1me

是错误的 这里？

Answer 1

为什么该语言对模板有这样的例外？

你的意思是吗？

签名 [defns.signature.templ]

⟨函数模板⟩名称，参数型列表，封闭命名空间（如果有），返回类型，模板头和尾随需要c-lause（如果有）

是的，返回类型在那里。这总是使诸如

template<typename T>
typename std::enable_if<std::is_integral<T>::value>::type foo(T&);

template<typename T>
typename std::enable_if<!std::is_integral<T>::value>::type foo(T&);

Sfinae之类的可能的原因是为什么签名中包含返回类型的原因。在返回类型中可能发生替换故障，因此这是签名比较的一部分。您仍然可能会产生两个相互矛盾的专业，以使其过载（在一般情况下，不是在示例中），但是模板会有所不同。