10

考虑以下代码：

struct Foo
{
    int x, y;

    Foo() = default;
    Foo(const Foo&) = delete;
    Foo& operator=(const Foo&) = delete;
};

int main()
{
    Foo f1 {1, 2};
    Foo f2 = {1, 2};
}

使用 clang++ 编译不会产生错误：

$ clang++ --version
Apple LLVM version 4.2 (clang-425.0.28) (based on LLVM 3.2svn)
Target: x86_64-apple-darwin12.4.0
Thread model: posix
$ clang++ -std=c++11 -stdlib=libc++ -pedantic t.cpp -o out
...builds and runs fine...

但是，通过 ideone 使用 g++ 4.8.1 编译会出现错误：

prog.cpp: In function ‘int main()’:
prog.cpp:12:17: error: no matching function for call to ‘Foo::Foo(<brace-enclosed initializer list>)’
     Foo f1 {1, 2};
                 ^
prog.cpp:12:17: note: candidate is:
prog.cpp:5:5: note: Foo::Foo()
     Foo() = default;
     ^
prog.cpp:5:5: note:   candidate expects 0 arguments, 2 provided
prog.cpp:13:19: error: could not convert ‘{1, 2}’ from ‘&lt;brace-enclosed initializer list>’ to ‘Foo’
     Foo f2 = {1, 2};
                   ^

如果我删除Foo(const Foo&) = delete;，那么它在 g++4.8.1 中编译得很好。

我的代码中是否存在一个编译器忽略但另一个编译器没有忽略的错误？

4

1 回答 1

15

C++11 8.5.1 [dcl.init.aggr] p1 定义聚合类型：

聚合是一个数组或一个类（第 9 条），没有用户提供的构造函数（12.1），没有用于非静态数据成员的大括号或等号初始化器（9.2），没有私有或受保护的非静态数据成员（第 11 条），没有基类（第 10 条），也没有虚函数（10.3）。

用户提供在 8.4.2 [dcl.fct.def.default] p4 中定义：

...如果一个特殊的成员函数是用户声明的，并且在其第一次声明时没有显式默认或删除，则它是用户提供的。

Foo有两个用户声明的构造函数，它们都在第一次声明时显式默认或删除，Foo聚合也是如此。

海湾合作委员会是错误的。

编辑：这实际上是 GCC bug 52707。

于 2013-08-13T18:41:58.610 回答