为什么 C++11 类型特征不是别名模板？

类似问题：Why are type_traits使用专门的模板结构而不是 constexpr 实现？ https://stackoverflow.com/q/8896637/1968– 但有不同的答案。

I realise that alias templates cannot be specialised https://stackoverflow.com/q/6622452/1968 and hence can’t currently be used to implement type traits directly¹. However, this is a conscious decision of the committee, and as far as I see there is no technical reason to forbid this.

那么，将类型特征实现为别名模板、简化其语法不是更有意义吗？

Consider

 typename enable_if<is_pointer<T>::value, size_t>::type
 address(T p);

versus

 enable_if<is_pointer<T>, size_t> address(T p);

当然，这会在从Boost.TypeTraits http://www.boost.org/doc/libs/1_49_0/libs/type_traits/doc/html/index.html–但这真的是一个大问题吗？

毕竟，代码无论如何都需要修改，因为类型驻留在不同的命名空间中，并且许多现代 C++ 程序员不愿意打开命名空间，因此将被显式限定（如果需要更改的话）。

另一方面，它极大地简化了代码。鉴于模板元编程经常变得深层嵌套、错综复杂且复杂，显然更清晰的界面是有益的。

我错过了什么吗？如果没有，我希望得到一个不仅仅是猜测的答案，而是依赖于（并且可以引用）委员会决策理由的知识。

¹ But very well indirectly! Consider:

template <typename T> using is_pointer = typename meta::is_pointer<T>::type;

Where meta::is_pointer<T>对应当前的std::is_pointer<T> type.

对你的问题最具体的答案是：没有人建议这样做。

C++ 标准委员会是一个多国家、多公司的志愿者集合。您将其视为单个组织内的设计委员会。如果没有提议将文字写入标准草案，C++ 标准委员会实际上无能为力。

我想没有提出建议的原因是类型特征是一个早期的建议，boost 的实现可以追溯到 2000 年左右。模板别名的实现很晚。许多委员会成员不愿意提出他们尚未实施的建议。而且几乎没有机会实施你的建议。

发布 C++11 面临着很大的压力。它确实打算在 2009 年发布，但当发布日期推迟后，除了修复已经在考虑的功能之外，很难对工作文件做任何事情。在某些时候，您必须将伟大的新想法放在次要位置，以免您永远无法交付。

Update

从 C++14 开始，TransformationTraits（生成类型的那些）现在具有模板别名拼写，例如：

template <bool b, class T = void>
  using enable_if_t = typename enable_if<b,T>::type;

C++1z 工作草案现在具有用于生成值的特征的模板变量拼写：

template <class T>
  constexpr bool is_pointer_v = is_pointer<T>::value;

另外，即使在 C++11 中也可以这样做：

typename enable_if<is_pointer<T>{}, size_t>::type
address(T p);

IE。您可以使用{}代替::value（假设你的编译器有constexpr支持）。在 C++14 中，变为：

enable_if_t<is_pointer<T>{}, size_t>
address(T p);

在 C++1z 中：

enable_if_t<is_pointer_v<T>, size_t>
address(T p);

请注意，C++1z 和 C++14 之间的差异非常小，甚至不保存字符，只是进行更改{} to _v并更改放置这两个字符的位置。