指定具有特征的模板化类

Question

我有一个指示特征的 struct ：

template<typename T>
struct FooTraits
{
    static const NEbool s_implementsFoo = false;
};

我可以用一个类来专门化它，因此：

class Apple {};

template<>
struct FooTraits< Apple >
{
   static const NEbool s_implementsFoo = true;
}; 

但是，如果我希望专门化它的类是，目前我不能使用 FooTraits也模板化，因此：

template< typename T >
class Fruit {};

template<>
struct FooTraits< Fruit >
{
   static const NEbool s_implementsFoo = true;
}; 

我应该如何表达最后一段代码，以便任何 Fruit<; T > 有 s_implementsFoo = true？

目前报错如下：

error C3203: 'Fruit' : unspecialized class template can't be used as a template argument for template parameter 'T', expected a real type
error C2955: 'Fruit' : use of class template requires template argument list
    see declaration of 'Fruit'
error C2990: 'FooTraits' : non-class template has already been declared as a class template
    see declaration of 'FooTraits'

Answer 1

最初我写的是，FooTraits 并不依赖于模板化参数，所以为什么在我意识到我的大脑放屁之前放入模板。这就是反对票和评论，

你能做到吗？它正在我的机器上编译

template<typename T>
struct FooTraits< Fruit<T> >
{
    static const NEbool s_implementsFoo = true;
};