모호성을 만들지 않고 std :: initializer_list 생성자를 사용 하시겠습니까?

Question

Shape이라는 클래스가 있습니다.이 클래스는 모든 반복 가능 프로그램에서 초기화 할 수 있으며 Array이라는 클래스에는 단순히 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()) {} 
           ~~~~~~^~~ 

내가 돈 :

은 컴파일 오류가 Shape의 두 번째 생성자에 나타납니다

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 
} 

: 그러나, 나는 내가 Array 초기화 할 때 내가 설명 할 수 컴파일 오류를 받고 있어요 여기서 무슨 일이 일어나고 있는지 이해해야합니다. initializer_list<T> 생성자 대신 Iterable 생성자가 호출되는 이유는 무엇입니까? {0} 및 Array 생성자가있는 Shape 생성자의 차이점은 무엇입니까?

Answer 1

코드가 잘못 작성되었지만 gcc가 주장하는 이유 때문이 아닙니다. 당신이 쓸 때 :

Array a2({0}); 

을 우리는 초기화 {0}를 사용 Array의 모든 생성자를 통해 오버로드 확인을한다.

옵션 # 1이다 : 우리는 시도로 재귀 것이다에

Array(Shape const&); 

때문에리스트를 초기화하는 동안 std::initializer_list의 특혜에 std::initializer_list<int> 생성자 템플릿을 호출 끝 {0}와 Shape 복사가 초기화.

그러나 단 하나의 옵션입니다. 옵션 # 2는 다음과 같습니다.

Array(Array&&); 

암시 적 이동 생성자. 이것이 후보인지 확인하기 위해 Array을 {0}으로 초기화 할 수 있는지 확인합니다. 기본적으로 다시 시작됩니다. 이 다음 단계에서는 을 0으로 초기화 할 수 있는지 확인합니다 (단 하나의 레이어가 제거되었으므로) 수 있습니다. - 이것이 모든 것을 허용하는 생성자 템플릿입니다. 여기에는 두 개의 사용자 정의 변환 시퀀스가 ​​포함되지만 that's ok for list-initialization이 포함됩니다.

• 옵션 # 1 : {0} --> Shape
• 옵션 # 2 :

  그래서 우리는 두 가지 옵션이 있습니다 0 --> Shape --> Array

어느 쪽도 다른 것보다 더 좋은, 그래서 호출이 모호합니다.

---

쉬운 수정 프로그램은 생성자 템플릿에 제약 조건을 실제로 추가하는 것입니다. 어쨌든 is_constructible_v<Shape, int>이 사실 이길 원하지 않기 때문에 일반적으로 좋은 연습입니다 ...