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

Question

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

template< class Value > class Holder { }; 

我希望能够发现Value给定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是对的,你不能将一个类作为模板模板参数传递.

Answer 1

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

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;
}

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