ensuring non-const equivalents

[frs]

How can I get an 'always non-const equivalent' for
the type "T" in the following example? Is there something
like a 'non_const_cast' as in the code fragment below?

template<typename T>
class A {

non_const_cast(T) x;
};

meaning that for T = 'const double',
the member x would be of type 'double'.


Thanks and Regards,

Frank

 

[Alipha]

How can I get an 'always non-const equivalent' for
the type "T" in the following example? Is there something
like a 'non_const_cast' as in the code fragment below?

template<typename T>
class A {

non_const_cast(T) x;
};

meaning that for T = 'const double',
the member x would be of type 'double'.


Thanks and Regards,

Frank

write your own partial template specialization (hint: good google
phrase):

template<typename T>
struct non_const {
typedef T type;
};

template<typename T>
struct non_const<const T> {
typedef T type;
};

template<typename T>
class A {
typename non_const<T>::type x; // why typename here? dependent
names.
};

 

[Marc Mutz]

How can I get an 'always non-const equivalent' for
the type "T" in the following example? Is there
something like a 'non_const_cast' as in the code
fragment below?

<snip>

Try remove_const from
http://www.boost.org/doc/html/boost_typetraits/reference.html#boost_typetraits.remove_const

Marc