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

Question

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

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

考虑这个例子，它被所有实现拒绝。但是，我在当前标准中没有发现任何有说服力的条款来指定这种显式专业化声明的格式不正确。如果存在的话，规则是什么？

此外，潜在的相关规则可能是[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).