属性说明符序列是否继承？

Question

看看这个sn-p：

struct [[nodiscard]] Result {
};


struct DiscardableResult: Result {
};

DiscardableResult 有 [[nodiscard]] 属性吗？如果是，是否有可能以某种方式将其删除？

Answer 1

[dcl.attr.nodiscard]/2 说：

nodiscard 调用是一个函数调用表达式，它调用先前声明的函数 nodiscard，或者其返回类型可能是标记为 nodiscard 的 cv 限定类或枚举类型。

函数的返回类型是DiscardableResult。此类型未标记nodiscard，定义见[dcl.attr.grammar]/5：

每个属性说明符序列都被称为属于某个实体或语句，由它出现的句法上下文标识（第 9 条、第 10 条、第 11 条）。如果属于某个实体或语句的属性说明符序列包含不允许应用于该实体或语句的属性或对齐说明符，则程序格式错误。如果属性说明符序列属于友元声明（14.3），则该声明应为定义。任何属性说明符序列都不应属于显式实例化 (17.7.2)。

添加了重点。

DiscardableResult 的“句法上下文”中没有属性。因此，没有属性“属于”该实体。

属性不会被继承。