使用常量引用删除引用

对于参数类 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
• 等等

I want a总是类型int。我怎样才能实现它？

如果你想更多地使用标准库，你可以这样做：

#include <type_traits>
template<class T, class U=
  typename std::remove_cv<
  typename std::remove_pointer<
  typename std::remove_reference<
  typename std::remove_extent<
  T
  >::type
  >::type
  >::type
  >::type
  > struct remove_all : remove_all<U> {};
template<class T> struct remove_all<T, T> { typedef T type; };

它会删除一些东西，直到不再改变类型为止。使用更新的标准，这可以缩短为

template<class T, class U=
  std::remove_cvref_t<
  std::remove_pointer_t<
  std::remove_extent_t<
  T >>>>
  struct remove_all : remove_all<U> {};
template<class T> struct remove_all<T, T> { typedef T type; };
template<class T> using remove_all_t = typename remove_all<T>::type;