GCC 选项 -Wdeclaration-after-statement 是纯粹的风格吗？

Question

-Wdeclaration-after-statement 选项是否只有风格？我的意思是，如果我在我的 C 代码中对定义了变量的所有情况进行宏处理，并以从旧样式 C90 迁移到新 C99 样式的相同方式在它们中初始化它们，那么该代码是否是字节码？ -byte 一样吗？

以下是选项 -Wdeclaration-after-statement 的记录方式（来自 man gcc）：

在块中的语句之后发现声明时发出警告。这个结构源自 C++，是随 ISO C99 引入的，默认情况下在 GCC 中是允许的。 ISO C90 不支持它。

它允许你使用类似的代码

int a;
{
    a = 42;
    printf( "%d", a );
}

把它变成

int a = 42;
printf( "%d", a );

---

这是follow-up to my question here。

Answer 1

我可能在这里感到困惑，但我认为我们遗漏了一些东西。

在 C99 之前，所有变量声明都必须发生在块中的任何语句之前。给它赋值的位置无关紧要（可能在生成的汇编代码中除外）。

int a;
do_something();
a = 7;
do_something_else();

您在 C 中不能做但在 C++ 中始终完全合法的是混合声明和语句：

do_something();
int a = 7;
do_something_else();

随着 C99 的出现，您现在可以在 C 中执行与在 C++ 中相同的操作，并在块中的任何位置声明变量，即使在非声明语句之后也是如此。

最终，这是一个设计决策，基于使编写泄漏到语言规范中的编译器更容易。编译器现在更复杂了（而且更大了）。

Answer 2

在这种情况下的语句要么是指以; 结尾的完整表达式，要么是一个复合语句，{ }。这些术语取自正式的 C 语法。

声明 after 声明不适用于您问题中的代码。因为...您将声明放在（复合）语句之前。您的两个示例与此 gcc 设置无关，因此您似乎误解了它的作用。

相反，相关的例子是：

{
    int a = 42;
}

对

{
  puts("hello");
  int a = 42;
}

前一个例子适用于任何 C 版本。后者在标准 C 中很好，但在已弃用的 C90 标准中不行。因此，如今警告的唯一目的是为强制执行某种编码风格的标准 C 程序提供诊断信息。

绝大多数程序员不应使用此警告，而应遵守 ISO 9899:2018 中定义的标准 C。

---

编辑：

这只是关于您是否可以将代码从 C90 重写为 C99 约定并获得二进制兼容性

是的，您可以重写为 C99 样式而不会产生任何后果。这些都不会影响变量在 C 所称的“抽象机器”中的处理方式。以下是一些示例，2 个相关，1 个不相关：

void relevant_c99_example (void) {
    if ( 1 ) {
        int a = 42;
        printf( "%d", a );
    }
    else {
        int a = 42;
        printf( "%d", a );
    }
}

void relevant_c90_example (void) {
    int a = 42;
    if ( 1 ) {
        printf( "%d", a );
    }
    else {
        printf( "%d", a );
    }
}

void irrelevant_example (void) {
    int a;
    if ( 1 ) {
        a = 42;
        printf( "%d", a );
    }
    else {
        a = 42;
        printf( "%d", a );
    }
}

https://godbolt.org/z/1oqvoesx7

在 x86_64 的 gcc 和 clang 上测试时，这 3 个生成 100% 相同的机器代码。当优化被禁用时，它们甚至会产生 100% 相同的机器代码！不应该期待哪一个，因为这不是您正确地对 C 代码进行基准测试的方式。但这里恰好是这种情况。

Answer 3

不，不是。例如，上面的两个 sn-ps 将逐字节编译相同。下面的foo 和bar 也会如此，但baz 不会。这是link to GodBolt。 这表明将初始化提升到声明可能不会产生相同的代码

void foo () {
    int a;
    {
        if ( 1 ) {
            a = 42;
            printf( "%d", a );
        }
        else {
            a = 42;
            printf( "%d", a );
        }
    }
}

void bar () {
    int a = 42;
    {
        if ( 1 ) {
            printf( "%d", a );
        }
        else {
            printf( "%d", a );
        }
    }
}

void baz () {
    int a;
    {
        if ( rand() > 0 ) {
            a = 42;
            printf( "%d", a );
        }
        else {
            a = 42;
            printf( "%d", a );
        }
    }
}