在繼承引用成員的構造函數中的C++默認初始化

我有一個更新外部引用的基類，我想構建一個將此引用作爲成員嵌入的繼承類。一種參考的默認初始化。在繼承引用成員的構造函數中的C++默認初始化

我想出了以下解決方案：

#include<iostream> 

class Statefull 
{ 
public: 
    Statefull(int& ref) : _base_ref(ref) {} 
    int& _base_ref; 
    // update the extern variable 
    void work() { std::cout << ++_base_ref << std::endl; } 
}; 

class Stateless : public Statefull 
{ 
public: 
    // use a temporary allocation 
    Stateless(int* p = new int()) : 
     // we cannot initialize local members before base class: 
     // _dummy(), Statefull(_dummy) 
     // thus, initialize the base class on a ref to the temporary variable 
     Statefull(*p), 
     _tmp(p), 
     _dummy() 
    { 
     // redirect the ref toward the local member 
     this->_base_ref = _dummy; 
    } 
    int* _tmp; 
    int _dummy; 
    // do not forget to delete the temporary 
    ~Stateless() { delete _tmp; } 
}; 

int main() 
{ 
    int i = 0; 
    Statefull full(i); 
    full.work(); 

    Stateless less; 
    less.work(); 
}

但在構造函數的默認參數的臨時分配的需要顯得相當難看。有沒有一種更優雅的方式來實現這種默認初始化，而在基類構造函數中保留引用？

來源

2012-07-18 nojhan

你不_redirect_參考來解決。您剛剛分配了由_base_ref引用的變量，這是來自dummy的值。你不能重定向引用，只能初始化它們。 – fork0 2012-07-18 08:43:15

繼承層次是否有意義？我期望無狀態是基類，還是第三類作爲共同基礎。 – 2012-07-18 08:58:02

@SimonRichter問題將是'_ref_base'的聲明，在'Stateless'中它不應該是一個引用，在'Statefull'中，它是。如果我不想重新實現'work'，那麼就需要在基類中聲明'_ref_base'作爲模板，我寧願避免這種情況。 – nojhan 2012-07-18 09:21:21

我想這可能工作：

StateLess(): Statefull(*new int) {} 
~StateLess() { delete &_base_ref; }

你離不開的臨時做的，但他們沒有要在類的定義。

來源

2012-07-18 08:46:17 fork0

那麼，Stateless類是違反三的規則。但我會假設這是因爲這只是展示真正問題的示例代碼。

現在，要真正解決該問題：只要在實際發生初始化之前未使用其值，則將引用綁定到未初始化的變量是完全有效的。

Stateless() : Statefull(_dummy), _dummy() {}

本解決方案的工作，但似乎有大約爲什麼它的工作原理一些誤解。

// redirect the ref toward the local member 
    this->_base_ref = _dummy;

您不能「重定向」引用。您只能綁定一次引用：初始化時。分配給引用分配給它引用的對象。在這種情況下，this->_base_ref = _dummy與*_tmp = _dummy完全相同：它將值_dummy分配給*_tmp。但是，_base_ref仍指*_tmp（可以使用assert(&_base_ref == tmp)來測試）。

來源

2012-07-18 08:40:04

「只要它的值在初始化之前沒有被使用實際發生」確實。這在我現實世界的例子中會非常惱人...... – nojhan 2012-07-18 18:35:54

一切都可以使用一些更多的類

class StateForStateful 
{ 
protected: 
    int state; 
}; 

class Stateless: private StateForStateful, public Stateful // order is important 
{ 
public: 
    Stateless():Stateful(this->state) {} 
};

來源

2012-07-18 10:16:23

在繼承引用成員的構造函數中的C++默認初始化

回答

相關問題