g ++ -Wreorder有什么意义？

g ++ -Wall选项包括-Wreorder。下面介绍此选项的作用。对我来说，为什么有人会关心（尤其是默认在-Wall中将其打开）并不明显。

-Wreorder（仅C ++）
  当代码中给定的成员初始化程序的顺序不正确时发出警告
  匹配必须执行的顺序。例如：

    结构A {
      我
      int j;
      A（）：j（0），i（1）{}
    };

  编译器将重新排列i和j的成员初始化器。
  匹配成员的声明顺序，对此发出警告
  影响。该警告由-Wall启用。

考虑：

struct A {
    int i;
    int j;
    A() : j(0), i(j) { }
};

现在i已初始化为某个未知值，而不是零。

或者，的初始化i可能会带来一些副作用，对于这些副作用而言，顺序很重要。例如

A(int n) : j(n++), i(n++) { }

问题在于，有人可能会在构造函数中看到成员初始化器的列表，并认为它们是按该顺序执行的（首先是j，然后是i）。它们不是，而是按照在类中定义成员的顺序执行的。

假设您写了A(): j(0), i(j) {}。有人可能会读到它，并认为我的值最终为0。它不是，因为您用j对其进行了初始化，其中j包含垃圾，因为它本身尚未初始化。

警告提示您写A(): i(j), j(0) {}，希望看起来更脏。

其他答案提供了一些很好的例子，证明了警告选项的合理性。我以为我会提供一些历史背景。C ++的创建者Bjarne Stroustrup在他的《 C ++编程语言》（第3版，第259页）中作了解释：

在执行包含类自己的构造函数的主体之前，将调用成员的构造函数。构造函数的调用顺序是在类中声明的顺序，而不是它们在初始化列表中出现的顺序。为避免混淆，最好按声明顺序指定初始化程序。成员析构函数以相反的构造顺序调用。

如果初始化程序有副作用，这可能会咬人。考虑：

int foo() {
    puts("foo");
    return 1;
}

int bar() {
    puts("bar");
    return 2;
}

struct baz {
    int x, y;
    baz() : y(foo()), x(bar()) {}
};

上面的代码将先打印“ bar”，然后打印“ foo”，即使直觉上会假定顺序与初始化列表中的相同。

或者，如果x和y具有某些用户定义类型且带有构造函数，则该构造函数也可能具有副作用，并且具有相同的非显而易见的结果。

当一个成员的初始值设定项引用另一成员时，它也可以表现出来。

该警告的存在是因为，如果您只是阅读构造函数，则它看起来像是j在之前被初始化的i。如果一个用来初始化另一个，这将成为一个问题，例如

struct A {
  int i;
  int j;
  A(): j (0), i (this->j) { }
};

当您只看构造函数时，这看起来很安全。但实际上，j尚未在用于初始化的位置进行初始化i，因此代码无法按预期工作。因此，警告。