我可以从模板类中提取C模板参数吗？

发布时间：2020-12-16 10:38:55 所属栏目：百科来源：网络整理

导读：基本上,给定一个这样的模板类： template class Value class Holder { }; 我希望能够发现给定Holder类的类型值.我以为我能够创建一个带有模板模板参数的简单元函数,如下所示： template template class Value class Holder class GetValue{ typedef Value Va

基本上,给定一个这样的模板类：

template< class Value > class Holder { };

我希望能够发现给定Holder类的类型值.我以为我能够创建一个带有模板模板参数的简单元函数,如下所示：

template< template< class Value > class Holder > class GetValue
{
    typedef Value Value;
};

然后像这样提取出Value类型：

GetValue< Holder< int > >::Value value;

但我只是得到一个指向元函数声明的错误消息：

error: ‘Value’ does not name a type

有没有办法完成这种事情？谢谢.

[编辑]我也收到错误消息：

error: type/value mismatch at argument 1 in template parameter list for ‘template<template<class Value> class Holder> class GetValue’
error:   expected a class template,got ‘Holder<int>’

这让我得出结论,Phil Nash是对的,你不能将一个类作为模板模板参数传递.

解决方法

为什么不简单地将持有者类改为

template< class Value > class Holder {
    typedef Value value_type;

    value_type m_val; // member variable
};

在任何消耗Holder类型的对象的方法中. T>您可以访问包含的类型：

template< class THolder >
void SomeMethod( THolder const& holder ) {
     typename THolder::value_type v = holder.m_val;
}

该方法遵循所有STL类使用的模式,例如,std :: vector< int> :: value_type是int.

我想你正在尝试进行部分模板专业化：

template<class T>
class GetValue {
};

template<class Value>
class GetValue< Holder<Value> > {
public:
    typedef Value value_type;
};

在您的代码中,您可以执行以下操作：

template<class THolder>
void SomeMethod( THolder const& h ) {
    typename GetValue< THolder >::value_type v = h.m_v;
}

总的来说,我更喜欢第一种解决方案.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!