代码之家 › 专栏 › 技术社区 › Joris Timmermans

VS2010 C++成员模板函数特化误差

specialization templates visual-studio-2010 c++

Joris Timmermans · 技术社区 · 14 年前

我有以下(最小化的)代码,在VC2005中有效,但在2010年不再有效。

template <typename TDataType>
class TSpecWrapper
  { 
  public:
    typedef typename TDataType::parent_type index_type;


  public:

    template <bool THasTriangles>
    void Spec(index_type& io_index)
      { std::cout << "False version" << std::endl; }

    template <>
    void Spec<true>(index_type& io_index)
      { std::cout << "True version" << std::endl; }
  };

似乎当“index\u type”是依赖类型时,我总是在专门化上得到一个C2770:invalid explicit template参数错误。请注意,这段代码实际上足以生成错误-一个空的main就足以编译它,甚至不需要实例化模板。

如果索引类型不是依赖类型,则可以正常工作。你知道为什么在VC2010中会这样吗,这是不是标准的行为或者一个bug,我是否可以解决它?

2 回复 | 直到 14 年前

Alexey Malistov 14 年前

变通办法

template <bool v> struct Bool2Type { static const bool value = v; }; 

template <typename TDataType> 
class TSpecWrapper 
{  
public: 
    typedef typename TDataType::parent_type index_type; 


public: 
    template <bool THasTriangles> 
    void Spec(index_type& io_index) 
    { 
        return SpecHelp(io_index, Bool2Type<THasTriangles>());
    } 

private:
    void SpecHelp(index_type& io_index, Bool2Type<false>) 
    { std::cout << "False version" << std::endl; } 

    void SpecHelp(index_type& io_index, Bool2Type<true>) 
    { std::cout << "True version" << std::endl; } 

};

Kirill V. Lyadvinsky 14 年前

这是根据C++标准的。

在类模板或出现的成员模板的成员的显式专门化声明中在名称空间范围内,成员模板和它的一些封闭类模板可能保持非专用性, 模板也没有显式专门化 . <&燃气轮机;

不允许专攻 Spec 没有专业知识 TDataType .

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

2 年前

Seymore Glass · 模板不工作的默认参数

2 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

2 年前

Alexander Daum · 模板参数中对模板类型的引用

6 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

7 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

7 年前