あいまいさを作成せずにstd :: initializer_listコンストラクタを使用しますか？

Question

私はShapeというクラスを持っています。これはどのイテラブルからでも初期化でき、Arrayというクラスは単にShapeです。しかし、私はArrayを初期化しようとすると、私は説明できないコンパイルエラーを取得しています：

class Shape 
{ 
public: 
    template<typename Iterator> 
    Shape(Iterator first, Iterator last) 
     : m_shape(first, last) {} 

    template <typename Iterable> 
    Shape(const Iterable& shape) 
     : Shape(shape.begin(), shape.end()) {} 

    template<typename T> 
    Shape(std::initializer_list<T> shape) 
     : Shape(shape.begin(), shape.end()) {} 

private: 
    std::vector<std::size_t> m_shape; 
}; 

class Array 
{ 
public: 
    Array(const Shape& shape) 
     : m_shape(shape) {} 
private: 
    Shape m_shape; 
}; 

int main() { 
    Shape s{0};  // ok 
    Array a1({1, 2}); // ok 
    Array a2({0}); // error 
} 

コンパイルエラーはShapeの第二のコンストラクタに表示されます：

prog.cxx:35:16: required from here 
prog.cxx:14:23: error: request for member ‘begin’ in ‘shape’, which is of non-class type ‘const int’ 
     : Shape(shape.begin(), shape.end()) {} 
       ~~~~~~^~~~~ 
prog.cxx:14:38: error: request for member ‘end’ in ‘shape’, which is of non-class type ‘const int’ 
     : Shape(shape.begin(), shape.end()) {} 
           ~~~~~~^~~ 

私は「ドンここで起こっていることを理解する。 initializer_list<T>コンストラクタの代わりにIterableコンストラクタが呼び出されるのはなぜですか？ {0}とArrayコンストラクタのShapeコンストラクタの違いは何ですか？

Answer 1

コードは不正ですが、gccが主張している理由ではありません。あなたが書くとき：

Array a2({0}); 

を私たちは、初期化子{0}を使用してArrayのすべてのコンストラクタオーバーオーバーロードの解決を行います。

オプション＃1は次のようになります。私たちはコピー初期化するために、リストの初期化時にstd::initializer_listの優遇によるstd::initializer_list<int>コンストラクタテンプレートを呼び出す終わる{0}とShapeを試みるに再帰ことになる上

Array(Shape const&); 

。

ただし、これは1つのオプションです。オプション＃2は：

Array(Array&&); 

暗黙の移動コンストラクタです。それが候補かどうかを確認するために、Arrayを{0}で初期化できるかどうかを確認します。これは基本的にやり直します。この次のレイヤーでは、を0（1つのレイヤーを削除しているため）で初期化できるかどうかを確認します。はです。これは受け入れ可能なすべてのコンストラクタテンプレートです。これには2つのユーザー定義変換シーケンスが含まれますが、that's ok for list-initializationが含まれます。

• オプション＃1：{0} --> Shape
• オプション＃2：

  は、だから我々は2つの選択肢があり0 --> Shape --> Array

どちらも他よりも優れているので、呼び出しはあいまいです。

---

簡単に修正できるのは、コンストラクタテンプレートに実際に範囲になるように制約を追加することです。とにかくis_constructible_v<Shape, int>が真実であることを望まないので、これは一般的には良い練習です...