用括号初始化时没有缩小警告

Question

我偶然发现了一个令人困惑的情况，我发现了一个明显的缩小转换，但我很失望编译器 (gcc-4.7.2) 尽管有-Wall -Wnarrowing -pedantic 标志但没有发出警告。请看以下程序：

struct A {
  int m;
  A( int m ) : m(m) {};
};

int main() {
  unsigned long v = 0;
  A a1(v);  // narrowing, but no warning (should this not cause a warning?)
  A a2{v};  // narrowing, warning raised (expected)
}

a1 的初始化似乎在没有编译器窥视的情况下运行。为了确保我不会发疯，我尝试以相同的方式初始化a1，但使用大括号而不是括号。正如预期的那样，编译器会在第二种情况下警告缩小。

要明确：我不是在询问缩小初始化列表中的转换的合法性。我知道这是不合法的——a2 的花括号初始化只是一个健全的检查。 我的问题与初始化列表无关。这不是重复的问题。

对于a1 的初始化，编译器不应该警告我缩小范围吗？

Answer 1

Wsign-conversion 将为该行代码生成警告 - 当 unsigned long 和 int 具有相同大小时，-Wconversion 不会（在许多平台上都是如此，甚至在某些 64 位平台上都是如此）。对于 C 代码，-Wconversion 将隐式启用 -Wsign-conversion，但由于某些原因，C++ 不会发生这种情况。

如果您将v 的类型更改为long long，-Wconversion 本身会生成警告（假设int 是32 位）。