C ++：const引用和初始化顺序

Question

我想知道我是否正在使用以下的好方法：

• 我想构造一个父类（类A），这个类应该拥有给定“Foo”类的实例
• 我希望父类拥有子类成员（类B），并且该成员应该具有对父类的foo成员的引用。

下面的代码似乎有效，但我想知道我是否只是“幸运”编译器足够同情。

为清楚起见，我在下面的评论中添加了评论和我的问题。

谢谢 ！

struct Foo
{
  std::string mValue;
};

class B
{
public:
  B(const Foo & foo) : mFoo_External(foo) {}
private:
  const Foo & mFoo_External; //this is an external reference to the member 
                             //(coming from A)
};

class A
{
public:
  //Here is the big question 
  //Shall I use : 
  //  A(const Foo & foo) : mFoo(foo), mB(mFoo) {}  
  //  or the declaration below
  A(const Foo & foo) : mFoo(foo), mB(foo) {}
private:
  //According to my understanding, the declaration 
  //order here *will* be important
  //(and I feel this is ugly)
  const Foo  mFoo;
  B mB;
};



void MyTest()
{
  std::auto_ptr<Foo> foo(new Foo());
  foo->mValue = "Hello";
  A a( *foo);
  foo.release();

  //At this point (after foo.release()), "a" is still OK 
  //(i.e A.mB.mFooExternal is not broken, although foo is now invalid)
  //
  //This is under Visual Studio 2005 : 
  //was I lucky ? Or is it correct C++ ?
}

Answer 1

不，这已经破了。 你的mB将引用你传递给A对象的构造函数的任何引用，而不是mFoo 。 相反，你应该说：

A(const Foo & foo) : mFoo(foo), mB(mFoo) { }

请注意， mB是构造函数参数的副本 ，而不是引用，因此您的MyTest函数很好。

Answer 2

由于您希望B对象保存对父成员的引用，因此必须使用mFoo而不是foo初始化mB 。

你是正确的，成员变量的顺序很重要，因为它决定了初始化的顺序。 令人惊讶的是，构造函数中初始值设定项的顺序并不能确定它们的调用顺序！ 请参阅构造函数初始化列表评估顺序 。