C++标准歧义

Question

据我在标准中所见，以下代码是有效的。它在 MSVC1025 中编译。

const struct omg;
struct omg volatile;

int main()
{
    return 0;
}

限定符 const 和 volatile 在这些声明中似乎毫无意义。它们既不会帮助也不会伤害编译器和程序员。

该标准似乎并不打算消除这些“空洞的歧义”。在空声明 ; 的情况下，它是明确允许的。

是否还有其他标记在预处理后与表达式的含义无关的情况？

Answer 1

两者都是clang和 gcc使用 -pedantic-errors 拒绝此代码。 clang 提供以下错误:

error: 'const' is not permitted on a declaration of a type [-Werror,-Wmissing-declarations]
const struct omg;
^

error: 'volatile' is not permitted on a declaration of a type [-Werror,-Wmissing-declarations]

C++ 标准草案第 7.1.6.1 节 cv-qualifiers [dcl.type.cv] 说:

[...]If a cv-qualifier appears in a decl-specifier-seq, the init-declarator-list of the declaration shall not be empty.[...]