C++范围for循环初始化语句中使用属性是否符合语法规范？

• 第一种写法 for([[maybe_unused]] int a = -10; auto i : arr) 完全符合C++标准规定
• 第二种写法 for(int [[maybe_unused]] a = -10; auto i : arr) 同样符合C++标准规定，不属于不规范写法

范围for循环的init-statement是C20引入的特性，其语法规则中init-statement支持普通的简单声明。C标准对属性的放置位置有明确规定，属性说明符序列可以出现在两个合法位置：

1. 简单声明的起始位置：此时属性作用于整个声明，将[[maybe_unused]]放在int之前就属于这种情况，符合语法要求
2. 单个声明符之后：此时属性仅作用于该声明符对应的实体，将[[maybe_unused]]放在int之后、变量名a之前，就属于这种情况，也符合语法要求

在仅声明单个变量的场景下，两种属性放置方式的效果完全一致。

你遇到的MSVC无法编译第一种写法的问题，是MSVC的C++前端解析器的已知Bug：它没有正确处理范围for循环init-statement开头的属性序列，错误识别了[[符号的语义，才会抛出语法错误。GCC和Clang的解析逻辑完全符合标准要求，是正确的实现。

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