7

我应该如何为部分专业化初始化静态变量？ 

template <bool A=true, bool B=false>
struct from {
    const static std::string value; 
};

// no specialization - works
template <bool A, bool B>
const std::string from<A, B>::value = "";

// partial specialization - does not compile -  
// Error: template argument list following class template name must list parameters in the order used in template parameter list
// Error: from<A,B>' : too few template arguments
template <bool B>
const std::string from<true, B>::value = "";

// full specialization - works
const std::string from<false, true>::value = "";

为什么部分不起作用？

编辑：我找到了一个基于部分模板专业化的解决方案，用于初始化模板类的静态数据成员

在允许我初始化静态变量之前，我需要重复部分专业化的声明：

template <bool B>
struct from<true, B> {
    const static std::string value; 
};

再次，问题是为什么？

4

2 回答 2

4

如果没有封闭类模板本身的部分特化，则不允许成员的部分特化（无论它们是函数还是静态数据）。

也就是说，您还必须专门化类模板。所以以下应该工作：

//partial specialization of class template
template <bool B>
struct from<true, B> {
    const static std::string value; 
};

//now you can do this!    
template <bool B>
const std::string from<true, B>::value = ""

此外，这不会编译（你试过编译这个吗？）：

// full specialization - works (SORRY, IT WILL NOT WORK!)
const std::string from<false, true>::value = "";  //this should be an error

你必须这样写：

// full specialization 
template<>   //<---- this is important!
const std::string from<false, true>::value = ""
于 2012-11-15T19:39:02.683 回答
2

这是模板的完整专业化。

#include <string>
#include <iostream> 

template <bool A=true, bool B=false>
struct from {
  const static std::string value; 
};

// no specialization - works
template <bool A, bool B>
const std::string from<A, B>::value = "no specialization";

// full specialization, note the empty template parameter list
template <>
const std::string from<true, true>::value = "<true,true> specialization";


int main() {
   std::cout << from<false, false>::value << std::endl;
   std::cout << from<true, true>::value << std::endl;
}

您找到了定义部分的正确方法。

您的部分不起作用的原因是您需要先声明结构类型，然后才能为其静态字段提供初始化。部分特化本身就是一个模板，值得定义。

完全特化实际上是初始模板的类型实例，因此不需要单独定义。

于 2012-11-15T19:48:42.737 回答