模板别名和 sfinae

Question

在涉及模板别名的替换失败的情况下（例如缺少成员类型名上的模板别名，如下面的代码 sn-p 中所示），是否应该触发错误？

Clang 和 gcc 似乎对此意见不一：

// some types
struct bar { };

struct foo {
    typedef void member_type;
};


// template alias
template<class T>
using member = typename T::member_type;


template<class T>
void baz(... ) { }

// only works for gcc, clang fails with: no type named 'member_type'
// in 'bar'
template<class T>
void baz( member<T>* ) { }


int main(int, char** ) {

    baz<bar>(0);            // picks first
    baz<foo>(0);            // picks second

    return 0;
}

所以问题是：谁是正确的，为什么？

谢谢:-)

Answer 1

根据标准，显然 GCC 是正确的，因为必须立即替换别名模板，然后在知道 T 时将正常/通常的 SFINAE 应用于 typename T::member_type。

但目前存在一个问题，请参阅http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1554。

根据会议结果，似乎需要 clangs 行为：T 的替换将在别名模板的上下文中完成（即使在替换 typename T::member_type 时，没有参考不再使用别名模板——它仍然需要被引用为参数类型模式的来源，如果这是它的实现方式）。

---

这类似于在定义时丢弃模式的另一种情况，这可能会影响实例化语义

template<int I>
void f(int x[I]);

int main() {
  f<0>(nullptr);
}

在这种情况下，在我看来，标准规范也很清楚，参数会立即被int* 替换，因此实例化有效。见http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1322。