成员模板变量特化

Posted 2023-02-23

【中文标题】成员模板变量特化

【英文标题】：member template variable specializing

【发布时间】：2017-01-16 12:21:24

【问题描述】：

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

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;

这里的正确语法是什么？

【问题讨论】：

能否请您包括您得到的实际错误？

@NathanOliver：完成；）

这些都没什么用。我希望那里有一些东西可以使标题更易于搜索，但可惜的是，编译器在这里没有帮助。

【参考方案1】：

我想你应该加一个空格

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

否则（如果我没记错的话）>=1.123 会与“等于或大于 1.123”混淆

【讨论】：

那是......非常愚蠢（原因，而不是答案）。

我知道问题出在哪里，因为我在两个小时前犯了同样的错误:(

一个糟糕的代码格式实际上会导致错误的例子。至少在这种情况下编译器捕捉到了它。

确实，most-vexing parse 背后的亚军之一...

@einpoklum - 我不擅长标记，但是...是的，类似的东西