c++ - 为什么未使用的部分特化没有错误？

Question

Foo 的特化永远不会被使用； Clang 会发出警告，而 GCC 不会。

template <typename>
struct Foo                { static const int value = 0; };

template <template <typename...> class C, typename ...Ts>
struct Foo<C<Ts..., int>> { static const int value = 1; };

为什么这不会导致错误？

下面的代码演示了这一点:

template <typename...>
struct Bar {};

static_assert(!Foo<Bar<char,double,int>>::value,"");

Answer 1

定义某物而不使用它并不是错误。如果是这样，在每个程序中你 #include<vector> 你将不得不使用 vector<bool> 。