c++ - Visual Studio 10 和 GCC 4.5 之间的哪个编译器在运算符重载和参数相关查找方面是正确的？

Question

我有以下代码:

class Foo;
class Bar;

class Bar {
public:
    Bar() {
    }

    Bar(Foo &foo) {
    }
};

class Foo {
public:
    Foo() {
    }
    Foo(Foo &foo) {
    }
    Foo(const Bar &bar) {
    }
};

Bar operator >> (const Bar &left, const Bar &right) { return Bar(); }

Foo a;
Foo b;
Foo c = a >> b;

在 Visual Studio 10 中，上述代码编译良好:编译器识别出 Bar 可以从 Foo& 实例化，因此它调用适当的 operator >>，然后返回一个 Bar 实例，并适本地调用构造函数 Foo(const Bar &)。

但是，GCC 4.5 不编译上述代码。它输出以下错误:

error: no matching function for call to 'Foo::Foo(Foo)'
note: candidates are: Foo::Foo(const Bar&)
note:                 Foo::Foo(Foo&)
note:                 Foo::Foo()

为什么会发生上述情况，根据语言标准，哪个编译器是正确的？

编辑:

为什么 C++ 创建一个临时的 Foo 对象作为 c = a >> b 的结果，因为 Foo(const Bar &)存在吗？

Answer 1

这与重载或参数查找无关。通过定义 Foo(Foo&)，您已经禁用了默认复制构造函数 Foo(const Foo&) 的生成，这是初始化 c 所必需的> 来自右值。添加一个带有 Foo(const Foo&) 签名的构造函数，您的代码将运行良好。我不知道为什么 VS10 会编译它，但我会尝试查找指定为什么它不应该发生的子句。

我们开始:§12.8(1) 指定类 X 的非模板构造函数是复制构造函数，如果它的第一个参数是类型 X&、const X&、volatile X& 或 const volatile X& 并且没有其他参数或所有其他参数都有默认值。

§12.8(5) 说，如果我们不为 X 定义复制构造函数(以上述任何形式)，编译器将以 X(const X&) 的形式定义复制构造函数。

因此定义 Foo(Foo&) 定义了一个 复制构造函数，因此编译器不能再隐式定义 Foo(const Foo&)。