ISO C90 禁止混合声明和代码……但在某些情况下允许这样做？

Question

我正在使用以下标志（其中 cc 是 gcc 4.2 或 clang 8.0）：

$ cc -Wall -Werror -pedantic -ansi -std=c89 main.c

（我知道 -ansi 标志在这种情况下有点多余）

以下给了我预期的错误

main.c:31:8: warning: ISO C90 forbids mixing declarations and code [-Wdeclaration-after-statement]
  vec3 abc = {0};

int main()
{
  vec3 a = {0};
  vec3 b = {0};

  Vec3(2, 2, 2);

  vec3 abc = {0}; // Declared after a function call

  return 0;
}

然而，以下不

int main()
{
  vec3 a = Vec3(0, 1, 2);
  vec3 b = Vec3(0, 1, 2);

  vec3 abc = {0}; // Declared after a function call

  return 0;
}

当然用函数初始化变量仍然算作混合声明和代码？

Vec3 函数非常基础； 没有内联标志集等

vec3 Vec3(float x, float y, float z)
{
  vec3 rtn = {0};

  rtn.x = x;
  rtn.y = y;
  rtn.z = z;

  return rtn;
}

Answer 1

在此代码段中

  vec3 a = Vec3(0, 1, 2);
  vec3 b = Vec3(0, 1, 2);

  vec3 abc = {0}; // Declared after a function call

只有声明。 没有声明。 用于初始化变量的函数调用是表达式。 它们不是陈述。

似乎这个警告

警告：ISO C90 禁止混合声明和代码

令人困惑。 这样写会更正确

警告：ISO C90 禁止混合声明和声明

例如，即使是多余的分号也会引入空语句。 所以通常编译器应该发出警告，即使是下面的代码片段

  vec3 a = Vec3(0, 1, 2);;
                       ^^^^
  vec3 b = Vec3(0, 1, 2);

Answer 2

第二个函数具有三个带有初始值设定项的连续变量定义——这不是问题。

C90 (C89) 不允许在语句之后声明 — 在给定语句块内（ {和}之间），声明必须全部位于任何语句（非声明）之前。 一个普通的函数调用，不是初始化器的一部分，是一个语句。

这就是为什么用于报告问题的 GCC 选项是-Wdeclaration-after-statement的原因。

Answer 3

你误解了约束。 我们可以有带有初始值设定项的声明； 第一个非声明语句标志着声明的结束，在那之后我们不允许在该范围内进行更多声明。

非声明语句可以是表达式语句（如上）、复合语句（例如if或while ）或块。