Question

我正在编写一个带有一个类型参数和一个布尔值的模板化类，这里是代码：

template<class T, bool p = true>
class A
{
private:
    T* ptr;
public:
    A();
};


template<class T>
A<T,true>::A()
{
    ptr = 0xbaadf00d;
}

int main()
{
    A<int> obj;
    A<int, false> o;
    return(0);
}

我收到了这些编译错误：

Error   1   error C3860: template argument list following class template name must list parameters in the order used in template parameter list tst.cpp 15
Error   2   error C2976: 'A<T,p>' : too few template arguments  tst.cpp 15

我做错了什么？或者由于某种原因禁止部分专门化非类型参数？

同时如果我在if语句中使用boolean参数，我收到此警告：

Warning 1   warning C4127: conditional expression is constant

所以我应该为这类事做专业化......

任何帮助都将受到高度赞赏！：）

提前致谢!!!!

Answer 1

欢迎您专注于非类型模板参数，但不能专门设计模板类的一个功能。类是模板，因此类是您需要专门化的。也就是说，要给出构造函数的特殊定义，您需要提供整个类的特殊定义。

Answer 2

您正在尝试部分专门化方法。这是不允许的。你只能部分专门化整个班级。一旦您对该类进行了专门化，就可以为部分专用的类提供非专业的方法定义。

以下是一些可能符合您要求的代码示例：

template<class T, bool p = true>
class A
{
private:
    T* ptr;
public:
    A();
};

template <class T>
class A<T,true> {
private:
    T* ptr;
public:
    A();
};


template <class T>
class A<T,false> {
private:
    T* ptr;
public:
    A();
};

template<class T>
A<T,true>::A()
{
    ptr = reinterpret_cast<T *>(0xbaadf00d);
}

template<class T>
A<T,false>::A()
{
    ptr = 0;
}

int main()
{
    A<int> obj;
    A<int, false> o;
    return(0);
}

部分模板专业化有什么问题？

2 个答案: