使用C++子類實例作爲默認參數？

Question

所以我有幾個類正是如此定義：

class StatLogger { 
public: 
    StatLogger(); 
~StatLogger(); 

    bool open(<parameters>); 

private: 
    <minutiae> 
}; 

，使用它下降來實現空對象模式的子類（未開啓它自己的空對象）

class NullStatLogger : public StatLogger { 
public: 
    NullStatLogger() : StatLogger() {} 
}; 

然後，我有我想第三類有一個可選的記錄器實例在其構造函數：

class ThirdClass { 
public: 
    ThirdClass(StatLogger& logger=NullStatLogger()); 
}; 

我的問題是，當我這樣做如上，我得到：

error: default argument for parameter of type ‘StatLogger&’ has type ‘NullStatLogger’

如果我把一個明確鑄造的定義，我得到：

error: no matching function for call to ‘StatLogger::StatLogger(NullStatLogger)

抱怨沒有從NullStatLogger構造函數，即使它的一個子類。我在這裏做錯了什麼，這是允許在C + +？

Answer 1

我想要使用繼承和多態，ThirdClass需要使用一個指針或對StatLogger對象的引用，而不是實際的對象。同樣，在這種情況下，您幾乎肯定需要虛擬StatLogger::~StatLogger()。

例如，作如下修改，代碼應該順利地編譯：

class StatLogger { 
public: 
    StatLogger(); 
    virtual ~StatLogger(); 

// bool open(<parameters>); 

private: 
// <minutiae> 
}; 

class NullStatLogger : public StatLogger { 
public: 
    NullStatLogger() : StatLogger() {} 
}; 

class ThirdClass { 
    StatLogger *log; 
public: 
    ThirdClass(StatLogger *logger=new NullStatLogger()) : log(logger) {} 
}; 

編輯：如果你喜歡一個參考，代碼看起來是這樣的：

class StatLogger { 
public: 
    StatLogger(); 
    virtual ~StatLogger(); 

// bool open(<parameters>); 

private: 
// <minutiae> 
}; 

class NullStatLogger : public StatLogger { 
public: 
    NullStatLogger() : StatLogger() {} 
}; 

class ThirdClass { 
    StatLogger &log; 
public: 
    ThirdClass(StatLogger &logger=*new NullStatLogger()) : log(logger) {} 
}; 

Answer 2

好一個默認值我相信你必須提供默認值...

ThirdClass(StatLogger *logger = NULL) 

例如

Answer 3

使用派生實例作爲基準引用的默認參數沒有問題。

現在，你不能綁定一個非常量引用臨時（右值），這可能是編譯器抱怨你的代碼的原因之一，但我希望有一個更好的診斷消息（不能將臨時引用或引用一樣）。

這個簡單的測試編譯完美：

class base {}; 
class derived : public base {}; 
void f(base const & b = derived()) {} // note: const & 
int main() { 
    f(); 
} 

如果函數必須修改所接收到的參數考慮重構的指針，並提供一個默認空值（不是默認動態分配對象）。

void f(base * b = 0) { 
    if (b) b->log("something"); 
} 

只有當你想保持非const引用接口，並在同一時間提供了一個默認實例，則必須提供一個靜態實例，但我會建議不要這樣：

namespace detail { 
    derived d; 
    // or: 
    derived & null_logger() { 
     static derived log; 
     return log; 
    } 
} 
void f(base & b = detail::d) {} 
// or: 
void g(base & b = detail::default_value()) {} 

Answer 4

基於在Jerry's answer的討論，怎麼樣通過不使用在所有默認的變量簡化了問題：

class ThirdClass 
{ 

    StatLogger log; 

    public: 

     ThirdClass() : log(NullLogger()) {} 
     ThirdClass(const StatLogger& logger) : log(logger) {} 
}; 

Answer 5

嗯，我知道這是一個oooold的問題，但我剛剛有完全相同的問題，並閱讀所有建議的答案和評論後，我想出了一個稍微不同的解決方案。

我想這也可能只是適用於這裏提出的問題的實例，所以這裏有雲：

充分利用NullStartLogger一個singleton類型的對象！

對我來說，這是相當優雅和排序。很快，單例是一個你不能隨意構造的對象，因爲在任何時候只有一個實例可以存在。 （或者，第一次使用之前可能有0個實例，因爲您可以推遲初始化）。您當然可以將單例功能添加到派生類中，而父類的所有其他實例（和派生）都可以正常初始化並創建。但是，如果NullStatLogger與我的情況一樣，只是一個虛擬類，它不會在外部存儲任何數據，並且根據實例/ init參數沒有不同的行爲，單例類很適合。

這裏是一個簡短的代碼剪斷使您NullStatLogger一個單身，還有一種方式在ThirdClass使用它：

class NullStatLogger : public StatLogger { 
private: 
    NullStatLogger() : StatLogger() {} 
    static NullStatLogger *_instance; 
public:  
    static NullStatLogger &instance(); 
}; 

NullStatLogger::_instance = 0; 

NullStatLogger &NullStatLogger:instance() { 
    if (_instance == 0) 
     _instance = new NullStatLogger(); // constructor private, this is 
              // the only place you can call it 
    return *_instance;      // the same instance always returned 
} 


class ThirdClass { 
public: 
    ThirdClass(StatLogger& logger=NullStatLogger::instance()); 
}; 

我知道這肯定不會幫助任何人問的問題，但希望它可以幫助別人。