是否有规定在函数模板显式特化中指定对“返回类型”的限制？

Question

template<class T>
void fun(T){}

template<>
int fun(int){return 0;}

考虑这个例子，所有实现都是rejected。但是，我在当前标准中没有找到任何有说服力的条款来指定这个明确的专业化声明是格式错误的。如果存在，规则是什么？

此外，潜在的相关规则可能是 [temp.deduct.decl#2]

如果对于这样考虑的一组函数模板，在考虑了部分排序（[temp.func.order]）之后没有匹配或多个匹配，则推导失败并且，在声明的情况下，程序是非良构的。

我认为“匹配”的含义在这里不够清楚，因为“匹配”没有明确定义任何东西。

Answer 1

您的模板定义不匹配，因为 void fun(T) 不是您的专业领域的 T fun(T)，或者如果您有 int fun(T) 专攻 int fun(int)，则可能相反。

您只需更改为：

template<class T>
T fun(T){}

template<>
int fun(int){}

顺便说一句：所有这些都会导致很多警告，因为您没有返回任何内容:-)

为什么不匹配：

template<class T>
void fun(T) {}

将 T=int 扩展为：

template<class T>
void fun(int) {}

但是：专业化（它不是一个，因为它不匹配）

template <>
int fun(int){return 0;}

有一个永远无法从原始模板定义推导出来的返回类型，因为它永远不是特化，因为它总是返回类型 void 而您的特化具有 int。

Answer 2

您的报价是正确的。我们还考虑以下文本：

在所有这些情况下，P 是被视为潜在匹配的函数模板的类型，而 A 是...声明中的函数类型...推导按照 [temp.deduct.type ].

这些 P 和 A 类型是什么？来自[temp.deduct.type]

试图找到使 P 在替换推导值（称为推导 A）后与 A 兼容的模板参数值。

没有任何 T 值可以使 A = int fun(int) 与 P = void fun(T) 兼容。