const引用和初始化顺序

C++ : const references and initialization order

本文关键字：顺序 初始化 引用 const      更新时间：2023-10-16

我想知道我是否在下面使用了好的方法:

  • 我想构造一个父类(类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++ ?
}

不，这是坏的。您的mB将保存对传递给A对象的构造函数的任何引用，而不是对mFoo的引用。相反，你应该说:

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

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

因为你想让B对象保存对父对象成员的引用，你必须用mFoo而不是foo初始化mB。

成员变量的顺序很重要，这一点是正确的，因为它决定了初始化的顺序。您可能会感到惊讶，构造函数中初始化式的顺序不是决定它们被调用的顺序!参见构造函数初始化-列表求值顺序

相关文章：