c++ - Template模板和CRTP : compiler bugs,和GCC和clang不一致

Question

考虑以下代码，在 C++11 中，使用 g++-6、g++-7、clang++-3.8 和 clang++-4.0

// Preamble
#include <iostream>

// Base 0
template <class T, template <class, T...> class Derived>
struct base0 {
    void operator=(int) {std::cout << "base0::operator=\n";}
};

// Base 1
template <class T, int N, template <class, T...> class Derived>
struct base1 {
    void operator=(int) {std::cout << "base1::operator=\n";}
};

// Derived 0
template <class T, int N>
struct derived0: base0<int, derived0> {
    using base0::operator=;                     // g++6/7 = SUCCESS, clang++-3.8/4.0 = SUCCESS
    using base0<int, derived0>::operator=;      // g++6/7 = SUCCESS, clang++-3.8/4.0 = ERROR
};

// Derived 1
template <class T, int N>
struct derived1: base1<int, N, derived1> {
    using base1::operator=;                     // g++6/7 = ERROR, clang++-3.8/4.0 = ERROR
    using base1<int, N, derived1>::operator=;   // g++6/7 = SUCCESS, clang++-3.8/4.0 = ERROR
};

// Main
int main()
{
    derived0<int, 3> object0;
    derived1<int, 3> object1;
    object0 = 42;
    object1 = 42;
    return 0;
}

g++ 和 clang++ 使用相同版本的 using base::operator= 不会产生错误。哪一个是正确的，C++ 标准是怎么说的？

Answer 1

这是 Clang 没有实现 DR1004因此不允许 derived0/1 的注入(inject)类名用作模板名。

GCC 对您的代码的处理似乎在所有情况下都是正确的。 0 和 1 之间的差异是由于基数在 0 中是非依赖的，但在 1 中是依赖的。在前一种情况下，base0 的名称查找找到它的注入(inject)类名，它可以有效地用作类型姓名。在后一种情况下，名称查找会跳过依赖基并查找 ::base1 模板。