对于参数类C,我想总是得到“原始”类型,而不管指针,const或引用修饰符.
template<typename __T>
class C
{
public:
typedef std::some_magic_remove_all<__T>::type T;
}
int main()
{
C<some_type>::type a;
}
例如,对于some_type等于：
> int&
> int **
> int *&
> int const&&
> int const * const
>依此类推
我想要一个总是类型为int的.我怎样才能实现它？
解决方法
template<class T> struct remove_all { typedef T type; };
template<class T> struct remove_all<T*> : remove_all<T> {};
template<class T> struct remove_all<T&> : remove_all<T> {};
template<class T> struct remove_all<T&&> : remove_all<T> {};
template<class T> struct remove_all<T const> : remove_all<T> {};
template<class T> struct remove_all<T volatile> : remove_all<T> {};
template<class T> struct remove_all<T const volatile> : remove_all<T> {};
//template<class T> struct remove_all<T[]> : remove_all<T> {};
//template<class T,int n> struct remove_all<T[n]> : remove_all<T> {};
我最初也剥离了范围(数组),但Johannes注意到这会导致const char []出现歧义,而问题并没有提到它们.如果我们还想剥离数组(参见注释中提到的想法),下面的内容并不会太复杂：
#include <type_traits>
template<class U,class T = typename std::remove_cv<U>::type>
struct remove_all { typedef T type; };
template<class U,class T> struct remove_all<U,T*> : remove_all<T> {};
template<class U,T&> : remove_all<T> {};
template<class U,T&&> : remove_all<T> {};
template<class U,T[]> : remove_all<T> {};
template<class U,class T,int n> struct remove_all<U,T[n]> : remove_all<T> {};
或者使用辅助类但只有一个模板参数：
#include <type_traits>
template<class T> struct remove_all_impl { typedef T type; };
template<class T> using remove_all =
remove_all_impl<typename std::remove_cv<T>::type>;
template<class T> struct remove_all_impl<T*> : remove_all<T> {};
template<class T> struct remove_all_impl<T&> : remove_all<T> {};
template<class T> struct remove_all_impl<T&&> : remove_all<T> {};
template<class T> struct remove_all_impl<T[]> : remove_all<T> {};
template<class T,int n> struct remove_all_impl<T[n]> : remove_all<T> {};
如果所有变体开始寻找相同的情况是正常的;-)
