c++ - 模板专门化，其中参数是用于元编程的非类型参数化模板

我有以下代码:

template<int lengthAfter>
class VariableString{
    public:
        enum{
            fieldSize = -1000
        };

....

};

template<typename T, int FieldSize = sizeof(T)>
class field_trait{
    public:
        enum{
            fieldSize = FieldSize
        };

....
};

template<int lengthAfter>
class field_trait<VariableString<lengthAfter>, -1000>{
    public:
        enum{
            fieldSize = -1000
        };
....
};

static_assert(field_trait<VariableString<0> >::fieldSize == -1000, "VariableString length error");

当我编译时，static_assert失败了，我希望该特化能够正常工作。我要去哪里错了？

最佳答案

您的特化仅适用于-1000的第二个参数，但是它是sizeof(first argument)，这是主模板中的默认值。也就是说，您的调用实际上等同于

field_trait，sizeof(VariableString )>

做这个

template<int lengthAfter, int size>
   class field_trait<VariableString<lengthAfter>, size>

关于c++ - 模板专门化，其中参数是用于元编程的非类型参数化模板，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/19828353/