成员指向成员对象和声明顺序的指针

Question

#include <iostream> 

class FooParent 
{ 
    public: 
     FooParent(int* new_p_bar) 
     { 
      p_bar = new_p_bar; 
     } 
    public: 
     int* p_bar; 
}; 

class FooChild : public FooParent 
{ 
    public: 
     int bar; 
    public: 
     FooChild(int new_x) 
     :FooParent(&bar) 
     ,bar(new_x) \\ point of concern 
      {} 
}; 

int main() 
{ 
    FooChild foo(8); 
    std::cout << foo.bar << std::endl; 

} 

上面的示例按我希望的方式工作.i.e。将指针p_bar链接到bar。但是，我担心的是我指向的构造函数尚未被调用。

此代码是否有效，或标准有什么可说的。如果不是什么替代方案。

注：在我的应用程序bar是一个对象Bar（不int），但这有什么意义呢？

Answer 1

看看这个：

class FooParent { 
    public: 
     FooParent(int* new_p_bar) 
     { 
      p_bar = new_p_bar; 
      *p_bar = 99; // this has no sense 
     } 
     void set99() { 
      *p_bar = 99; // this - has 
     } 
    public: 
     int* p_bar; 
}; 

class FooChild : public FooParent 
{ 
    public: 
     int bar; 
    public: 
     FooChild(int new_x) 
     :FooParent(&bar) 
     ,bar(new_x) // point of concern 
      {} 
}; 

int main() 
{ 
    FooChild foo(42); 
    std::cout << foo.bar << std::endl; 
    foo.set99(); 
    std::cout << foo.bar << std::endl; 
} 

LWS。

我的意思是，如果FooParent的构造只存储一个指针外部int（或Bar - 没关系），那么就不会有问题。

在另一方面，如果你给一个复制bar到FooParent - 这样

class FooParent 
{ 
    public: 
     FooParent(Bar new_p_bar) 
     { 
      p_bar = new_p_bar; 
     } 
     void set99() { 
      p_bar = 99; // this - has 
     } 
    public: 
     Bar p_bar; 
}; 

class FooChild : public FooParent 
{ 
    public: 
     Bar bar; 
    public: 
     FooChild(Bar new_x) 
     :FooParent(bar) 
     ,bar(new_x) // point of concern 
      {} 
}; 

int main() 
{ 
    FooChild foo(42); 
    std::cout << foo.bar << std::endl; 
    foo.set99(); 
    std::cout << foo.bar << std::endl; 
} 

LWS。

这不起作用。即使Bar将具有复制c-tor或/和赋值运算符

Answer 2

如果您传递指向成员的指针，则不会有未定义的行为，除非您试图对其进行取消引用。如果你想拥有的构造函数叫做看看base-from-member成语http://en.wikibooks.org/wiki/More_C%2B%2B_Idioms/Base-from-Member