c++ - 为什么我们需要语法产生式基础说明符的最后两个定义？

Question

在 [class.derived.general]/1我们对 base-specifier 有以下定义:
基础说明符:
属性说明符-seqopt 类或声明类型
属性说明符-seqopt virtual访问说明符opt class-or-decltype
属性说明符-seqopt 访问说明符virtual选择类或声明类型
为什么我们需要第二个 和 上面的第三个定义？为什么是virtual在第二个定义中是必需的，而在第三个定义中它是可选的？

Answer 1

Why do we need the second and the third definitions above?

语法糖。多亏了这一点， class Derived: public virtual Base和 class Derived: virtual public Base是有效的。比在需要虚拟继承时每年查找一次订单要好得多。

Why is the virtual required in the second definition while it's optional in the third?

请注意，第二个选项具有强制性 virtual第三个选项具有强制性访问说明符。多亏了这一点， class Derived: virtual Base和 class Derived: public Base是有效的。它使得拥有上述优势成为可能，而不是将其定义为
属性说明符-seqopt virtual opt 访问说明符opt class-or-decltype
也许它可以用不同的方式来表述，但我想不出更好的方法来表达这两个方面。