Clang不编译代码，但是gcc和msvc编译了它

我不明白这是什么问题：在我的代码中还是在编译器中（不太可能）。有一段这样的代码：

#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;
}

GCC和MSVC都可以对其进行编译。我使用不同版本的GCC和MSVC 17（本地）和19在Godbolt上进行了测试。这是一个链接：https ://godbolt.org/z/Enfm6L 。

但是Clang不会编译它并发出错误：

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

我很感兴趣-也许在标准的某些部分中这段代码是不正确的，或者还有其他地方。

这很可能与CWG 1558有关。

当前的17.6.7 [temp.alias]措词未指定别名模板专业化中未使用参数的处理。例如：

  #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等于int时对first_of的引用仅等于void，还是替换失败？

这是一个已解决的缺陷，但是如果您使用的Clang版本尚未实现修复，它可能仍会认为这两个专业都只是将第二个参数定义为void，而不是进行整个替换失败。解决方法是不使用普通别名std::void_t，而是使用稍微复杂一些的版本

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

对于类模板（别名现在代表的含义），定义了替换失败。将其插入您的示例可以使Clang https://godbolt.org/z/VnkwsM令人安心。