这是一个奇怪的问题,尽管它很明显:
为什么<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>()
之外,将是类似简化的一部分-版本?
最佳答案
在c++14中,有 remove_reference_t
,这正是您要找的。p>
关于c++ - 为什么必须使用 'typename' 和 '::type' 前缀/后缀调用所有 type_traits 类?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28706572/