使用额外的不可推导模板参数重载函数是否有效？

Question

以下代码可以编译并与 gcc (9)、clang (11) 和 msvc (16.28) 一起正常工作：

template <class A>
struct X {
    A a;

    constexpr X(A a) : a{a} { }
};

template <class A>
constexpr auto fn(X<A> const& x) {
    return X<A>(x.a - 1);
}


template <class Xs, class A>
constexpr auto fn(X<A> const& x) {
    return Xs(x.a - 1);
}

constexpr X<int> x1{3};
constexpr auto x2 = fn(x1);
constexpr auto x3 = fn<X<double>>(x1);

有两个 fn 函数具有相同的声明，除了第二个中的额外 Xs 参数。

我想确定这是标准接受的，而不是这些编译器额外提供的东西？由于所有 3 个都这样做，我猜这将是标准的，但你永远不知道。

我还想知道我对为什么这项工作/将成为标准的假设是否正确：

• 在调用fn(x1) 中，Xs 无法推断出，所以fn 的第二个重载被轻轻丢弃（SFINAE？）？
• 在调用fn<Xs>(x1) 中，第一个重载将是fn(X<X<int>>)，它与参数x1 不匹配，因此第一个重载也被丢弃？

Answer 1

有两个 fn 函数具有相同的声明，除了第二个中的额外 Xs 参数。

没关系，你可以使用不同的参数或不同的模板参数重载函数模板。

• 在调用fn(x1) 中，Xs 无法推断出，所以fn 的第二个重载被轻轻丢弃（SFINAE？）？

是的，除了它不是 SFINAE，而是重载解析。 SFINAE 中的 S 代表替代。当不能推导出模板参数时，不会发生替换。

在[temp.over]/1中有描述：

...对于每个函数模板，如果参数推导和检查成功，模板参数（推导和/或显式）用于合成声明添加到要在重载分辨率中使用的候选函数集的单个函数模板特化。

关于第二个项目符号 (fn<X<double>>(x1))，两个模板都可以合成一个有效的声明，但 X<int> 不能转换为 X<X<double>>，因此选择第二个重载作为唯一可行的。

注意：当多个模板重载可行时，会执行partial ordering 以确定最专业的模板。