繼承和顯式構造函數？

Question

考慮下面的代碼：

template<typename T> class Base 
{ 
    Base(); 
    Base(const Base<T>& rhs); 
    template<typename T0> explicit Base(const Base<T0>& rhs); 
    template<typename T0, class = typename std::enable_if<std::is_fundamental<T0>::value>::type> Base(const T0& rhs); 
    explicit Base(const std::string& rhs); 
}; 

template<typename T> class Derived : Base<T> 
{ 
    Derived(); 
    Derived(const Derived<T>& rhs); 
    template<class T0> Derived(const T0& rhs) : Base(rhs); 
    // Is there a way to "inherit" the explicit property ? 
    // Derived(double) will call an implicit constructor of Base 
    // Derived(std::string) will call an explicit constructor of Base 
}; 

有沒有辦法來重新設計該代碼的方式使得Derived將有Base用相同的顯式/隱性質的所有構造函數？

Answer 1

C++ 11個報價this as a feature。但GCC實際上還沒有實現它。

當實際實施，它應該是這樣的：

template<typename T> class Derived : Base<T> 
{ 
    using Base<T>::Base; 
}; 

話雖這麼說，它不能幫助你的情況。繼承的構造函數是一個全有或全無的命題。你得到所有的的基類構造函數，完全使用它們的參數。另外，如果你定義了一個與繼承的簽名相同的構造函數，你會得到一個編譯錯誤。

Answer 2

要檢測隱性/明確的可構造爲SFINAE：

template<class T0, typename std::enable_if< 
    std::is_convertible<const T0 &, Base<T>>::value, int>::type = 0> 
    Derived(const T0& rhs) : Base<T>(rhs) { } 
template<class T0, typename std::enable_if< 
    std::is_constructible<Base<T>, const T0 &>::value 
    && !std::is_convertible<const T0 &, Base<T>>::value, int>::type = 0> 
    explicit Derived(const T0& rhs) : Base<T>(rhs) { } 

使用的事實，std::is_convertible檢查隱含兌換和使用std::is_constructible到除了檢查明確的可兌換性。

編輯：固定用溶液從boost::enable_if not in function signatureenable_if模板參數。

檢查：

Derived<int>{5};       // allowed 
[](Derived<int>){}(5);      // allowed 
Derived<int>{std::string{"hello"}};   // allowed 
[](Derived<int>){}(std::string{"hello"}); // not allowed