为什么C++中的类型别名在语法中使用“using”而不是“typedef”？

Question

显然，类型别名和模板化类型别名在语义上等同于typedefs和typedefs的扩展，以支持模板。为什么使用using关键字为这些创建了新语法，而不是在第一个关键字中使用typedefs，以及一些使用typedef的语法扩展。

注意：这不是“using和typedef之间的区别”问题的克隆。我知道使用提供了定义typedef族的优势。我想问的是为什么标准人员决定让这个扩展使用using关键字而不是typedef关键字。这似乎只是增加了语言的混乱。

Answer 1

下面是Bjarne Stroustrup关于为什么他们使用而不是扩展typedef引入的说法：

关键字using用于获得线性表示法“name后跟它所引用的内容”。我们尝试了传统的、复杂的typedef解决方案，但从未得到一个完整的、连贯的解决方案，直到我们确定了一个不那么晦涩的语法。

他还声称，对于通常的typedefs，他也更喜欢这种语法：

using PF = void (*)(double);

typedef void(*PF)(double);

有人建议使用关键字typedef来引入模板别名，就像在论文[4]中所做的那样：

template<class T>
typedef std::vector<T,MyAllocator<T>> Vec;

这种表示法的优点是使用已知的关键字引入类型别名。然而，它也显示了一些缺点，其中包括在别名不是指定类型而是模板的上下文中使用已知的关键字为类型名引入别名的混乱；vec不是类型的别名，不应用作typedef-name。名称vec是族std::vector<*,myallocator<*>>的名称，其中星号是类型名的占位符。因此，我们不提出“typedef”语法。

template<class T>
using Vec = std::vector<T,MyAllocator<T>>;

可以读/解释为：从现在开始，我将使用vec 作为std::vector > 的同义词。读到这一点，新的别名语法似乎合乎逻辑。

null