デフォルトコンストラクタを条件付きで定義するにはどうすればよいですか？

Question

私のようなクラスを考えていた：

template < typename ...Whatever > 
class MyClass 
{ 
public: 
    static constexpr bool has_default_ctr = Something; 

    // I want this only if "has_default_ctr" is "true". 
    MyClass(); 

    //... 
}; 

私は（引数はありませんので）私はこのためにコンストラクタテンプレートとstd::enable_ifを使用することができるとは思いません。私が間違っている？そうでない場合は、これを行うための他の方法がありますか？

Answer 1

あなたは貴様の引数

MyClass(){ 

} 
MyClass(int num){ 

} 
MyClass(String s){ 
} 

、あなたは簡単な書き込みやクラスを返すと、内部の状況を書き込み、静的機能することができてdiferentのコンストラクタを使用することができます。

static chooseContructor(/*parameters*/){ 
if(/*something*/){ 
    return new MyCLass(); 
} 
else if(/*something else*/){ 
    return new MyClass(int num); 
} 
else if{ 
    return new MyClass(String s); 
} 
} 

などなど... そのようなものは、半自動コンストラクターチューザーを与えるでしょう

Answer 2

C++ 11は、（信頼できる）使用を可能にしますテンプレート引数で3210スタイルのSFINAE：

template< 
    // This is needed to make the condition dependent 
    bool B = has_default_ctr 
    , typename std::enable_if<B, int>::type = 0 
> 
MyClass(); 

// When outside of class scope: 
// have to repeat the condition for out-of-line definition 
template<bool B, typename std::enable_if<B, int>::type = 0> 
MyClass::MyClass() 
/* define here */ 

でC++ 03あなたがデフォルトしたパラメータで単項のコンストラクタを使用していた可能性 - デフォルトのパラメータは、コンストラクタはまだデフォルトコンストラクタとしてカウントすることを意味します。

Answer 3

条件に応じてクラスの定義を変えるには、依存関係の計算をテンプレートの引数に入れます。

// primary template, no default constructor unless Something is true 
template< typename T, bool has_default_ctr = Something > class MyClass { 
    // as you had it, with no default constructor 
}; 

// you want MyClass<T,true> to be just like MyClass<T,false> 
// but with a default constructor: 
template< typename T > class MyClass<T,true> : public MyClass<T,false> { 

    MyClass() : MyClass<T,false>(/* chosen constructor args */) { etc; } 

    using MyClass<T,false>::MyClass<T,false>; 
}; 

あなたがC++ 11を持っていない場合は、usingコンストラクタの継承を使用することはできません、あなたはそのすべてのコンストラクタを再宣言して、基本クラスに沿ってその引数を転送する必要があります。

これはフィンガー・ツー・キーボードなので、私はコンパイラを使いませんので、軽微な構文のgoofsが多少ありそうです。

Answer 4

デフォルトのパラメータを持つ溶液は、コメントに記載されているので、あなたが

template < typename ...Whatever > 
class MyClass 
{ 
public: 
    static constexpr bool has_default_ctr = Something; 

    // I want this only if "has_default_ctr" is "true". 
    MyClass() 
    { 
     static_assert(has_default_ctr, "Not Default Constructible"); 
    } 

    //... 
}; 

Answer 5

のような単純な何かを行うことができますが、私はそれを行う方法を見つけ出すためにかなりの時間を必要としては、（私のイネーブラクラスはプライベート作ら、これは動作しません）、ここで提案された解決策は、ケースには誰もがそれを探しています：

class MyClass { 
public: 
    // if constructor is supposed to be public, 
    // this helper class must be public as well! 
    struct Enabler {}; 

    template <class U = Enabler> 
    MyClass (std::enable_if_t<has_default_ctr, U> = Enabler {}) 
    { 
     // whatever 
    } 
}; 

Answer 6

は、ここで私は、最近使用したものです。データメンバがデフォルトのコンストラクタをサポートしている場合は、デフォルトのコンストラクタを持つクラステンプレートが必要でした。それ以外の場合は、デフォルトのコンストラクタはコンパイルしません。

クラステンプレートはテンプレートタイプパラメータを定義し、クラスはそのようなタイプのデータメンバーを定義します（空のベースクラス最適化を使用できるため、継承を使用するバリアントも魅力的かもしれません）。データメンバのデフォルトコンストラクタは、クラスのデフォルトコンストラクタによって自動的に呼び出されます。データメンバの型にデフォルトのコンストラクタがない場合、コンパイルは失敗します。それ以外の場合は成功します。ここにコードがあります：

#include <string> 
template <typename Data> 
class Demo 
{ 
    Data d_data; 

    public: 
     Demo() = default;  // OK when used and Data has a default 
           // constructor. 

     Demo(Data const &data) // Exampe of an additional constructor 
     : 
      d_data(data) 
     {} 

     // ... 
}; 

struct WithoutDefault 
{ 
    WithoutDefault(int) 
    {} 
}; 

int main() 
{ 
    Demo<std::string> withString; 
    // Demo<NoDefault> nope;    // won't compile 

    WithoutDefault nod(10); 
    Demo<WithoutDefault> nodefault(nod); // OK 
}