Clang kodu derlemez ancak gcc ve msvc derledi

Sorunun ne olduğunu anlamıyorum: kodumda veya derleyicide (daha az mümkün). Bunun gibi bir kod parçası var:

#include <iostream>
#include <type_traits>
#include <set>


template<typename T, typename = void>
struct TestA: std::false_type {};

template<typename T>
struct TestA<T, std::void_t<typename T::reverse_iterator>> : std::true_type {};

template<typename T>
struct TestA<T, std::void_t<typename T::dummy_iterator>> : std::true_type {};

int main()
{
    std::cout << TestA<std::set<int>>::value;
}

Hem GCC hem de MSVC derler. GCC ve MSVC 17 (yerel) ve 19'un farklı versiyonu ile godbolt üzerinde test ettim. İşte bir bağlantı: https://godbolt.org/z/Enfm6L .

Ancak Clang derlemiyor ve bir hata veriyor:

redefinition of `'TestA<T, std::void_t<typename T::dummy_iterator> >'`

Ve ilgileniyorum - belki de bu kod parçasının yanlış olduğu ya da başka bir şeyin olduğu standartların bir kısmı vardır.

Bu büyük olasılıkla CWG 1558 ile ilgilidir .

Takma ad şablonu uzmanlığında kullanılmayan argümanların tedavisi, şu anki 17.6.7 [temp.alias] ifadesiyle belirtilmemiştir. Örneğin:

  #include <iostream>

  template <class T, class...>
    using first_of = T;

  template <class T>
    first_of<void, typename T::type> f(int)
      { std::cout << "1\n"; }

  template <class T>
    void f(...)
      { std::cout << "2\n"; }

  struct X { typedef void type; };

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

T'nin first_of değerine int basitçe geçersiz kılınmaya eşdeğer midir yoksa bir ikame hatası mıdır?

O zamandan beri ele alınan bir kusur, ancak kullandığınız Clang sürümü henüz düzeltmeyi uygulamıyorsa, her iki uzmanlığı da ikinci argümanı basitçe tanımlamak voidve tüm ikame hatası spiel'ını yapmamak olarak düşünebilir . Çözüm, düz bir takma ad kullanmak std::void_tyerine biraz daha karmaşık bir sürüm kullanmaktır.

template <typename...> struct voider { using type = void; };
template <typename... T> using my_void_t = typename voider<T...>::type;

Bir sınıf şablonu için (diğer ad şu anda budur), ikame hatası tanımlanır. Bunu örneğinize taktığınızda Clang https://godbolt.org/z/VnkwsM uygular .