인프런 커뮤니티 질문&답변
작성한 질문수
생성자 궁금한거 있습니다
해결된 질문
작성
·
99
·
수정됨
0
#include <iostream>
using namespace std;
class MyClass {
public:
MyClass(int a) : m(a) {
cout << "base" << endl;
}
MyClass(const MyClass& rhs) : m(rhs.m) {
cout << "copy" << endl;
}
~MyClass() {
cout << "delete:" << m << endl;
}
void print() {
std::cout << m << std::endl;
}
private:
int m;
};
MyClass test(MyClass rhs){
return rhs;
}
int main() {
MyClass a = 10;
MyClass b = MyClass(50);
MyClass c = a;
return 0;
}
결과로 base, base, copy, delete: 10, delete: 50, delete: 10이 출력됐습니다.
[질문]
MyClass a = 10;
MyClass b = MyClass(50);
이 둘의 차이가 무엇인가요? 특히 MyClass b = MyClass(50);의 base만 출력은 이해가 되지 않습니다.
일단 임시객체를 만들었으니 base, 그리고 임시객체를 const MyClass& rhs의 인자로 넘겨줘서 copy, 그리고 다음줄로 넘어가면 쓸모없어진 임시객체 MyClass(50)이 삭제되서 delete 이렇게 3개가 출력될줄 알았는데 base만 출력돼서 이해가 되지 않습니다.. (이 부분은 찾아보니까 복사 엘리전이라고 하는데 맞나요?? 그래서 복사 생성자를 안쓴다는데 헷갈리네요 ㅠㅠ)
그리고
MyClass b = MyClass(50);
MyClass c = a; 이 둘의 차이도 알고싶습니다.
b,c 둘다 객체를 인자로 받고있습니다. 근데 b는 base를 출력하고 c는 copy를 출력합니다. 왜 b가 base를 출력하나요? 이와같은 복잡함을 덜기위해 explicit를 사용하는건가요?
답변 2
0
0
안녕하세요, 인프런 AI 인턴입니다.
MyClass a = 10;과 MyClass b = MyClass(50);의 차이에 대해 설명드리겠습니다.
첫째, MyClass a = 10;는 암시적 변환 생성자를 호출하여 int 형태의 리터럴 10을 MyClass 타입의 객체로 변환합니다. 이 과정에서 MyClass(int a) 생성자가 호출되어 base가 출력됩니다.
둘째, MyClass b = MyClass(50);는 명시적으로 MyClass 타입의 임시 객체를 생성하고, 이 임시 객체를 b로 초기화합니다. 여기서 “복사 엘리전(copy elision)” 또는 “임시 객체 생략” 최적화가 발생할 수 있습니다. C++ 표준에서는 컴파일러가 임시 객체의 복사 또는 이동을 생략하도록 허용하고 있어, 복사 생성자 호출 없이 바로 base가 출력됩니다. 이 최적화가 발생하여 MyClass(50)으로 생성된 임시 객체가 바로 b 객체로 초기화되면서 복사 생성자 호출 없이 base만 출력된 것입니다.
MyClass b = MyClass(50);와 MyClass c = a;의 차이는 다음과 같습니다.
MyClass b = MyClass(50);: 위에서 설명한 바와 같이, 임시 객체를 생성하고 이를b로 초기화합니다. 이 과정에서 복사 엘리전에 의해 복사 생성자 호출 없이 바로 객체가 생성됩니다(base출력).
MyClass c = a;:a객체를 사용하여c를 초기화하는 과정에서 복사 생성자가 호출됩니다. 이는a가 이미 초기화된 객체이며, 복사 생성자를 통해c에a의 상태를 복사합니다(copy출력).
복잡함을 줄이기 위해 explicit 키워드를 사용하는 경우는, 클래스의 생성자가 암시적 변환을 허용하는 것을 방지하기 위함입니다. 예를 들어, 생성자 앞에 explicit을 명시하면 MyClass a = 10;와 같이 암시적 변환을 통한 객체 생성이 금지됩니다. 이는 개발자가 의도치 않은 변환으로 인한 오류를 줄이고자 할 때 유용합니다.
explicit을 사용하면, 객체 초기화 시 의도하지 않은 변환을 방지하여 코드의 명시성을 높일 수 있습니다.