用auto解决模板函数的重载问题

Question

具有以下3种重载

template <class T> auto foo() { return 1; }
template <class T> int  foo() { return 2; }
template <class T> T    foo() { return 3; }

以下内容是否格式不正确？

static_cast<int(*)()>(&foo<int>)();

Clang选择重载#2，而gcc无法编译(演示)

移除过载#1时，双方同意选择过载#2(演示)。

删除重载#2时，gcc选择重载#1，clang编译失败（演示）

Answer 1

根据[over.over]/2，我们执行模板参数推导。这将在所有三个重载中成功：在第一个重载中，请记住[temp.decrete.funcaddr]/2：

函数模板返回类型中的占位符类型 （7.1.7.4） 是非演绎上下文。如果此类函数的模板参数推导成功，则通过函数体的实例化确定返回类型。

由于推导将成功（假设所有模板参数都显式提供了参数），因此返回类型被推导为int。在第二种情况下，由于提供了参数，推导成功，在第三种情况下，将推导出T。

继续第4段，

如果选择了多个函数，[...]任何给定的函数模板特化F1被消除，如果该集合包含第二个函数模板特化，其函数模板比F1的函数模板更专业根据14.5.6.2的部分排序规则。在这样的消除之后，如果有的话，应该只保留一个选定的函数。

根据[temp.deduct.partial]/3，函数模板的函数类型用于部分排序。我们可以立即看到#1和#2的函数类型不包含任何参与演绎的模板参数，因此通过由核心问题1391的解决方案引入的对[temp.deduct.partial]/4的添加，它们对应的< code>P不用于确定排序。@bogdan在这里解释了为什么那个分辨率有问题；底线是排序只会产生#1和#2的歧义。

也就是说，根据目前（可能有缺陷的）措辞，转换在所有情况下都是病态的。如果非依赖/推导参数对的偏序是固定的，

• 案例1和3是不明确的，因为对于两种非依赖函数类型（#1和#2），没有排序对。
• 案例2中的接受行为是正确的（正如预期的那样）。

^†[temp.decrete.type]/8元素9（T（）），以防您好奇。