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

Question

我有以下代码：

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我期望专业化工作的失败。我哪里错了？

Answer 1

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

field_trait, sizeof (VariableString<0>)>

做这个

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