Question

Basically, given a template class like this:

template< class Value > class Holder { };

I would like to be able to discover the type Value for a given Holder class. I thought that I would be able to make a simple metafunction that takes a template template argument, like this:

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

And then extract out the Value type like this:

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

But instead I just get an error message pointing to the metafunction declaration:

error: ‘Value’ does not name a type

Is there any way to accomplish this kind of thing? Thanks.

[EDIT] I also get the error messages:

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>’

Which leads me to conclude that Phil Nash is right, you can t pass a class as a template template argument.

Answer 1

Why don t you simply change your holder class to

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

    value_type m_val; // member variable
};

In any method that consumes an object of type Holder< T > you can access the contained type like that:

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

This approach follows the pattern all STL classes use, e.g., std::vector< int >::value_type is int.

I think you re trying to do partial template specialization:

template<class T>
class GetValue {
};

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

In your code, you could then do the following:

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

In general, I d prefer the first solution though.

Answer 2

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

I m assuming though that you want to use that in a non-templated function. That s a bit more difficult:

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

The magic google words are "partial template specialization"

Answer 3

I think you need a typename in there somewhere.

[edit] Damn, was just going to check my suspicion that it needed to be before the GetValue, but Mykola got there first :-)

The issue is that Value is a dependent type. The compiler doesn t know whether it is meant to name a type or a value, so you need to provide the hint.

[edit2]

Oops. There is a problem with trying to answer too fast. I missed the fact that you were trying to use a template template to achieve this. What that allows you to do is to pass a template in instead of a type. In this case you can pass a Holder. But that doesn t help you because you want to pass a type, Holder<int>.

Looks like Mykola realised this too and removed his answer.

You ll need to use Partial Template Specialization for this. Before I had a chance to complete my own example Sebastian has beaten me to it :-)

友情链接