c++ - 为什么必须使用 'typename' 和 '::type' 前缀/后缀调用所有 type_traits 类？

Question

这是一个奇怪的问题，尽管它很明显:

为什么<type_traits>中的所有模板必须用 typenname 调用和 ::type前缀/后缀？

当然，一个原因是没有像 C++0x using 这样的模板化类型定义。 thingy，这允许以下内容:

template<typename T>
using remove_ref = typename std::remove_reference<T>::type;

remove_ref<int&> foo = 4;

所以这个问题不是关于为什么现在是这样，而是更多关于这种行为是否会在未来的 C++ 标准中得到简化？。

类似的改进可能来自 std::is_pointer<T>::value 等特征- 我已经可以在 C++14/17 的地平线上看到模板化常量，它允许像 std::is_pointer<T> 这样的用途.

注意:据我所知，这种简化不是关于即将发布的 C++ 标准的任何已发布项目的主题。在这种情况下，这个问题没有真正的是/否答案，并且这个线程可以作为赞成/反对列表，是否可能在任何新版本的 C++ 中更改。

编辑:

感谢@Drew_Dormann 和@erenon 正确指出已经有 _t添加到所有类型特征模板的版本正是这样做的。

不过，还是开着，有没有像std::is_pointer这样的value traits的标志除了 std::is_pointer<T>() 之外，将是类似简化的一部分-版本？

Answer 1

在c++14中，有 remove_reference_t ，这正是您要找的。