[C++]초기화리스트(Initilizer List)를 사용해야하는 경우.

초기화리스트를 사용해야 하는 경우 2가지와 사용할 경우 이점을 설명해보겠다.

 

1. 클래스에서 상수형변수, 참조형변수를 멤버변수로 보유해야 할 경우.

상수형 변수와 참조형 변수는 둘 다 반드시 선언과 동시에 초기화를 시켜야 한다.

애초에 그렇게 하지 않으면 바로 에러가 나오기 때문에 컴파일도 못한다.

초기화리스트는 말 그대로 '초기화'이기 때문에, 생성자에서 원하는 값으로 초기화가 가능하다.

메인함수에서 인스턴스를 생성할 때 원하는 매개변수값으로 해당 인스턴스의 상수형변수, 참조형변수를 초기화시키는게 가능하다는 것이다. 아래의 예시를 보면 잘 되는걸 확인할 수 있다.

class Point
{
public:
    Point(int _a, int& _b);
 
public:
    const int a;
    int& b;
};
 
Point::Point(int _a, int& _b) : a(_a), b(_b)
{
}
 
int main() {
 
    int x = 10;
    
    Point p(x, x);
 
    cout << "p.a : " << p.a << endl;
    cout << "p.b : " << p.b << endl;
 
    cout << "change x............ " << endl;
 
    x = 20;
 
    cout << "p.b : " << p.b << endl;
    return 0;
}

결과창 :

에러없이 잘 빌드되는것도 확인되며, 메인함수에서 x의값을 변경한다음 p.b의 값을 찍었을 때 마찬가지로 값이 변경된 걸 로 보아 참조형변수도 제역할을 잘 수행한 것을 확인 할 수 있다.

 

 

2. 기본생성자가 없는 멤버객체의 초기화를 해야 할 경우

class A {
public:
    int i;
public:
    A(int);
};
 
A::A(int arg) {
    i = arg;
    cout << "A's Constructor called: Value of i: " << i << endl;
}
 
// Class B contains object of A
class B {
    A a;
public:
    B(int);
};
 
B::B(int x) { 
    a.i = x; // 에러. A의 기본생성자가 없습니다.
}
 
//B::B(int x) :a(x) {  //Initializer list must be used
//    cout << "B's Constructor called";
//}
 
int main() {
    B obj(10);
    return 0;
}

 

하지만 아래와 같이 초기화리스트를 사용하면 위와 같은 에러들 없이 잘 수행된다.

class A {
public:
    int i;
public:
    A(int);
};
 
A::A(int arg) {
    i = arg;
    cout << "A's Constructor called: Value of i: " << i << endl;
}
 
// Class B contains object of A
class B {
    A a;
public:
    B(int);
};
 
//B::B(int x) { 
//    a.i = x;
//}
 
B::B(int x) :a(x) {  //Initializer list must be used
    cout << "B's Constructor called";
}
 
int main() {
    B obj(10);
    return 0;
}
 

 

이유는 밑에서 언급할 성능과 연관이 있는데, 결론만 말하자면 초기화리스트를 사용하면 기본생성자를 호출을 안하기 때문이다. 바로 복사생성자로 초기화 해버리기 때문에, 기본생성자를 호출할 필요가 없다. 그래서 에러가 발생하지 않는것이다.

 

 

 

그러면 꼭 위와같은 경우들 말고, 일반적인 변수들을 사용하는 클래스에 초기화리스트를 사용해야하는 이유가 뭘까?

당연히 성능이 더 좋기 때문이다. 그렇다면 '왜?' 성능이 더 좋은가?

아래의 코드처럼 초기화리스트를 사용하지 않는 기존의 대입연산초기화를 봐보자.

 

 

Point(A _a)

{
   a = _a;

}

 

위의 코드에서는 어떤 작업이 수행되었을까? 총 두번의 작업이 수행된다. 

 

1. A의 기본생성자

2. A의 대입연산자

 

멤버변수 a를 생성할 때 A의 기본생성자를 수행했을 것이고, a = _a; 에서 A의 대입연산자를 수행한다.

하지만 초기화리스트를 사용하면 복사생성자 한번만 수행된다. 대입연산은 일어나지 않는다.

그렇기 때문에 초기화리스트는 성능상의 이점까지 가지고 있기 때문에 초기화리스트를 이용한 초기화를 하라고 권장한다.