考虑以下 MCVE

struct A {};

template<class T>
void test(T, T) {
}

template<class T>
class Wrapper {
    using type = typename T::type;
};

template<class T>
void test(Wrapper<T>, Wrapper<T>) {
}

int main() {
    A a, b;
    test(a, b);     // works
    test<A>(a, b);  // doesn't work
    return 0;
}

这里 test(a, b);作品和test<A>(a, b);失败:

<source>:11:30: error: no type named 'type' in 'A'
    using type = typename T::type;
                 ~~~~~~~~~~~~^~~~
<source>:23:13: note: in instantiation of template class 'Wrap<A>' requested here
    test<A>(a, b);  // doesn't work
            ^
<source>:23:5: note: while substituting deduced template arguments into function template 'test' [with T = A]
    test<A>(a, b);  // doesn't work

LIVE DEMO

问题:为什么会这样？ SFINAE 不应该在替换期间工作吗？然而在这里它似乎只在演绎期间起作用。

最佳答案

self 介绍

大家好，我是一个无辜的编译器。

第一次通话

test(a, b);     // works

在此调用中，参数类型为 A .让我先考虑第一个重载:

template <class T>
void test(T, T);

简单。 T = A . 现在考虑第二个:

template <class T>
void test(Wrapper<T>, Wrapper<T>);

嗯……什么？ Wrapper<T>对于 A ?我必须实例化 Wrapper<T>对于每一种可能的类型T在世界上只是为了确保 Wrapper<T> 类型的参数，可能是专门的，不能用类型为 A 的参数初始化?嗯......我不认为我会这样做......

因此我不会实例化任何 Wrapper<T> .我会选择第一个重载。

第二次调用

test<A>(a, b);  // doesn't work

test<A> ?啊哈，我不用扣分。让我检查一下这两个重载。

template <class T>
void test(T, T);

T = A .现在替换——签名是(A, A) .完美。

template <class T>
void test(Wrapper<T>, Wrapper<T>);

T = A .现在 subst ... 等等，我从未实例化 Wrapper<A> ?那我换不了。我怎么知道这是否会成为通话的可行过载？好吧，我必须先实例化它。 (实例化)等待......

using type = typename T::type;

A::type ?错误!

回到 L.F.

大家好，我是L.F。让我们回顾一下编译器做了什么。

编译器足够无辜吗？他(她？)符合标准吗？ @YSC已指出[temp.over]/1说:

When a call to the name of a function or function template is written (explicitly, or implicitly using the operator notation), template argument deduction ([temp.deduct]) and checking of any explicit template arguments ([temp.arg]) are performed for each function template to find the template argument values (if any) that can be used with that function template to instantiate a function template specialization that can be invoked with the call arguments. For each function template, if the argument deduction and checking succeeds, the template-arguments (deduced and/or explicit) are used to synthesize the declaration of a single function template specialization which is added to the candidate functions set to be used in overload resolution. If, for a given function template, argument deduction fails or the synthesized function template specialization would be ill-formed, no such function is added to the set of candidate functions for that template. The complete set of candidate functions includes all the synthesized declarations and all of the non-template overloaded functions of the same name. The synthesized declarations are treated like any other functions in the remainder of overload resolution, except as explicitly noted in [over.match.best].

失踪的type导致硬错误。阅读 https://stackoverflow.com/a/15261234 .基本上，我们有两个阶段来确定 template<class T> void test(Wrapper<T>, Wrapper<T>)是期望的重载:

1. 实例化。在这种情况下，我们(完全)实例化 Wrapper<A> .在这个阶段，using type = typename T::type;是有问题的，因为 A::type不存在。 此阶段出现的问题是硬错误。

2. 替换。由于第一阶段已经失败，在这种情况下甚至没有达到这个阶段。 此阶段出现的问题受 SFINAE 约束。

所以是的，无辜的编译器做了正确的事。

关于c++ - SFINAE 适用于扣除但因替代而失败，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/55920964/