成员模板变量专门化

member template variable specializing

本文关键字：专门化 变量 成员      更新时间：2023-10-16

类可以包含一个成员模板变量，该变量必须是静态的:

class B
{   
    public:
        template <typename X>
            static X var;
        B() { std::cout << "Create B " << __PRETTY_FUNCTION__ << std::endl; }
        template <typename T>
        void Print() { std::cout << "Value is " << var<T> << std::endl; }
};

必须像所有静态成员一样在类作用域之外声明:

下面的代码按预期编译并工作:

 template<typename T> T B::var=9; // makes only sense for int,float,double...

但是如何专门化这样的变量，如以下非工作代码(gcc 6.1的错误消息):

template <> double B::var<double>=1.123;

失败:

main.cpp:49:23: error: parse error in template argument list
 template <> double B::var<double>= 1.123;
                       ^~~~~~~~~~~~~~~~~~
main.cpp:49:23: error: template argument 1 is invalid
main.cpp:49:23: error: template-id 'var<<expression error> >' for 'B::var' does not match any template declaration
main.cpp:38:22: note: candidate is: template<class X> T B::var<T>
             static X var;


template <> double B::var=1.123;
与

失败

   template <> double B::var=1.123;
                       ^~~
main.cpp:38:22: note: does not match member template declaration here
             static X var;

这里的正确语法是什么?

我想你应该加一个空格

template <> double B::var<double> = 1.123;
                                 ^ here

否则(如果我没有错的话)>=1.123与"等于或大于1.123"混淆

相关文章：