成員模板變量專門化

Question

一個類可以包含一個必須是靜態的成員模板變量：

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...

但是如何將這樣的var專門化為以下非工作代碼（使用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;

這里的語法是什么？

Answer 1

我想你應該添加一個空格

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

否則（如果我沒錯） >=1.123與“等於或大於1.123”相混淆