생성자 다음 I 클래스가

Question

가정하자 파라미터.

class B{ 
    int y ; 
    A obj_a ; 
    B(int j , A a){ 
     y = j ; 
     obj_a = a ; 
    } 
} 

다음 작업을 수행 할 때 :

int main(){ 
     A obj1(1) ; // obj.x has value 1 
     B obj2(2 , obj1) ; 
    } 

제 2 라인의 형식은 A의 어떤 함수 호출을 말하는없는 오류가 발생 :: A(). 이것은 기본 스타일 생성자가 누락되었음을 의미하는 것을 알지만, 왜 이것을 필요로합니까? obj1은 정의 된 생성자를 사용하여 생성되므로 문제가되지 않습니다.

현재 내 생각으로는 A a이고 obj_a = a은 암시 적으로 정의 된 복사 생성자를 호출합니다.

참고 : 간결하게하기 위해 비공개, 공개 등을 제외했습니다.

Answer 1

개체가 완전히 일치해야는 모든 구성원은이 들어가는 시간, 건설 생성자의 본문입니다.

{ 
    y = j ; 
    obj_a = a ; 
} 

아무것도 할 수있는 기회를 얻을 전에

B(int j , A a){ 
    y = j ; 
    obj_a = a ; 
} 

에 그래서, obj_a이 구성되어 있어야합니다. obj_a을 구성하는 방법에있는 명령이 Member Initializer List 제공되지 않았기 때문에

, obj_a는 클래스 A의 기본 생성자로 구축됩니다. 클래스 A에는 기본 생성자가없고 A::A()이 없으므로 오류가 발생합니다.

해결 방법은 함수 본문 내에 할당 대신 Member Initializer List를 사용하는 것입니다. 이렇게하면 즉시 작성 될 객체의 생성을 줄일 수있을뿐 아니라 컴파일러는 최적화 할 수있는 방법이 더 많아지고 다른 작은 개선이 이루어질 수 있습니다.

클래스 B은 다음과 같아야합니다

class B{ 
    int y ; 
    A obj_a ; 
    B(int j , A a): y(j), obj_a(a) 
    { 
    } 
} 

Answer 2

obj_a = a은 복사 생성자가 아니라 operator=입니다. 문제는 obj_a은 초기화 생성자 목록에서 호출 할 생성자를 지정하지 않았기 때문에 기본 생성자 을 사용하여 초기화됩니다.

B(int j , A a) /*: obj_a{}*/ { /*...*/ } 
       ^^^^^^^^^^^^^ 
      implicit call to default constructor 

당신은 명시 적으로 멤버 초기화 목록에서 하나 개의 인자로 생성자를 호출 할 수 있습니다

B(int j , A a) : obj_a{ a } { /*...*/ }