C++中QFileDialog::{}赋值表达式的编译规则与创建对象说明

::QFlags<QFileDialog::Option> cppArg6 = QFileDialog::{};

首先澄清一个常见认知偏差：C标准没有强制规定作用域解析运算符::后面必须跟标识符。
从C11开始，标准明确允许在有明确目标类型的初始化语境下，嵌套名说明符（也就是::左侧的作用域限定部分，此处为QFileDialog::）后直接接花括号初始化列表，这是标准定义的作用域限定列表初始化语法，本身不会触发编译错误。
日常开发中绝大多数场景下::后都跟随标识符，只是因为我们通常用::访问作用域内的具名成员（类型、函数、变量、枚举值等），这是高频用法而非语法强制约束。
注意这个写法不能脱离明确的初始化目标独立使用：比如写auto x = QFileDialog::{};会直接编译失败，因为没有确定的目标类型，编译器无法推导需要构造的对象类型。

• 右侧QFileDialog::{}的语义：在QFileDialog类作用域范围内，匹配当前初始化语境的目标类型，用空花括号对匹配到的类型做值初始化，生成临时对象。
• 整条语句是复制初始化逻辑（C++17及以上版本会直接省略临时对象的拷贝/移动步骤，直接在目标变量的内存空间构造对象），最终创建的cppArg6类型就是左侧显式声明的::QFlags<QFileDialog::Option>。值初始化对类类型会调用其默认构造函数，若类型包含内置类型成员则会对对应成员做零初始化。

这个语法最早的高频使用场景是类构造函数的成员初始化列表：比如派生类构造函数要值初始化基类子对象时，可以写Derived() : Base::{} {}，语义是明确指定初始化基类对应的子对象，和你看到的代码遵循完全一致的语法规则。

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