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＆lt;类型的对象的方法中。 T>您可以访问包含的类型：

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

这种方法遵循所有STL类使用的模式，例如，std :: vector＆lt; int＆gt; :: 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;
}

总的来说，我更喜欢第一种解决方案。

Answer 2

template <class T> void extract_type(Holder<T>)
{
    printf("%s\n", typeid(T).name());
}

我假设你想在非模板化函数中使用它。这有点困难：

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

神奇的谷歌词是“部分模板专业化”

Answer 3

我认为你在某处需要一个类型名称。

[编辑] 该死的，只是要检查我的怀疑，它需要在GetValue之前，但Mykola首先到达那里： - ）

问题在于Value是一种依赖类型。编译器不知道它是用于命名类型还是值，因此您需要提供提示。

[EDIT2]

糟糕。尝试回答太快有问题。我错过了你试图使用模板模板来实现这一目标的事实。允许您执行的操作是传递模板而不是类型。在这种情况下，您可以通过持有人。但这对你没有帮助，因为你想传递一个类型Holder＆lt; int＆gt;。

看起来Mykola也意识到这一点并删除了他的答案。

您需要使用部分模板专业化。在我有机会完成我自己的例子之前，塞巴斯蒂安已经打败了我： - ）

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

3 个答案: