value_type_of Struct Reference

Metafunction to work with tagged and untagged type uniformly. More...

#include <value_type_of.hpp>

Detailed Description

Metafunction to work with tagged and untagged type uniformly.

template< class Type >
struct value_type_of
{
    typedef {UntaggedType} type;
};

If the type is tagged this metafunction returns Type::value_type, and if it is not tagged it return the same type. This allows to work consistenly with tagged and untagged types.