Question

一些代码：

class CInner {
public:
    CInner( const CInner& another ) { //impl here }
private:
    // some member variables
}

class COuter {
public:
    COuter( const CInner& inner ) : inner( inner ) {}
private:
    CInner inner;
}

是的,在<代码>COuter:COuter ( const CInner& >中,该参数的名称与成员变量相同。

在VC++中运行正常 - VC++理解用参数初始化成员变量才是合理的，于是就发生了这种情况 - CInner :: inner 由参数初始化。但是当使用GCC编译时，它以另一种方式解释：GCC用CInner :: inner 初始化它本身，所以它没有初始化。

哪个编译器是正确的？

Answer 1

实际上，这并不是某个特定编译器决定什么是合理的，什么是不合理的。语言规范明确指出，在构造函数初始化列表中使用inner(inner)时，应该在类作用域中查找第一个inner（即解析为COuter::inner），而第二个inner应该在构造函数作用域中查找（即解析为构造函数参数inner）。

这就是你描述的VC++行为。然而，我难以相信GCC在这种情况下会表现不正确（除非你有一些奇怪的旧版本的GCC）。你确定你没有误解GCC的行为吗？

Answer 2

Visual C++ 是正确的。我怀疑您在测试中使用的是较旧版本的 gcc ，至少我记得，较新的版本可以正确处理此问题。这在标准的§12.6.2/7中有所涵盖，其中给出了以下示例：

class X {

    int a;
    int b;
    int i;
    int j;

public:
    const int& r;

    X(int i): r(a), b(i), i(i), j(this->i) {}

};

initializes X::r to refer to X::a, initializes X::b with the value of the constructor parameter i, initializes X::i with the value of the constructor parameter i, [ ...]

友情链接