C++中[[maybe_unused]]在类型别名上的语法为何如此怪异？

这个怪异的语法完全是因为C++属性的语法规则——属性必须贴合被修饰实体的声明结构，不同实体的声明语法本身就有差异，导致属性位置各不相同。

变量/函数/旧式typedef的语法逻辑 #

对于变量、函数和旧式typedef，它们的声明核心是「带类型的名字」，属性直接修饰整个声明的实体，所以放在最前面完全符合直觉，标准也允许这种写法：

[[maybe_unused]] int x;
[[maybe_unused]] void f();
[[maybe_unused]] typedef void t;

结构体/枚举的语法规则 #

结构体、枚举这类自定义类型，声明的核心是「类型本身」，C++标准规定属性可以放在类型关键字（struct/enum）和标识符之间，用来修饰整个类型实体，所以才有这种写法：

struct [[maybe_unused]] s;
enum class [[maybe_unused]] e;

现代using别名的语法限制 #

而using类型别名的声明语法是using + 别名 + = + 原类型，这里被修饰的实体是「别名本身」（也就是代码里的a），标准规定属性必须绑定到这个别名上，所以只能放在别名和=之间。如果尝试把属性放在using前面，比如[[maybe_unused]] using a = void;，这是不符合标准的，编译器要么报错要么忽略属性，因为标准没规定这种写法有效。

有没有其他替代写法？ #

目前没有符合C++标准的替代写法。所有编译器都严格遵循标准规定的属性位置，只有放在using别名和=之间的[[maybe_unused]]才会被正确识别并生效。

内容的提问来源于stack exchange，提问作者303