[C++] explicit Keyword

friend 키워드에 이어서 explicit 키워드에 대해서도 간략하게 정리하고 넘어가보려 한다.

(틀린 부분이 있다면 말씀해주세요.)

 

해당 키워드는 어떤 모호한 타입이 들어왔을 때 자동으로 형변환이 된다면, 해당 타입으로 변환을 해주는 것이다.

 

간략한 예시를 바탕으로 설명해보겠다.

#include <iostream>

class MyData {
public:
    int my_int_data;
    MyData(int md): my_int_data(md) {}

    ~MyData(){};

    int get_data() const {return my_int_data;}
};

void increament_and_show(MyData md) {
    int tmp=md.get_data();
    std::cout << "my data + 1: " << ++tmp << std::endl;
}

int main() {
    increament_and_show(3);
    return 0;
}

해당 코드를 실행했을 때 4가 나오는 것이 정상인데, 한 가지 이상한 점을 발견할 수 있다.

 

increament_and_show() 함수의 매개변수로 들어가는 값은 상수로 3이라는 값이 할당된다.

 

하지만, 받아지는 값은 MyData 타입으로 받는다. 

 

이 부분에서 의문점이 생기는데, 어떻게 이런 것이 가능할까? 

 

이런 프로그래밍이 가능한 이유는 C++에서 Automatic Conversion이 발생하기 때문이다. 

 

이는 자동으로 변환을 시켜주는 것인데, 3이라는 값이 들어온다면 매개변수에 할당될 때 MyData Class의 생성자에서 int type을 받는 생성자가 있는지 확인하고 해당 생성자가 존재한다면 새로운 객체를 만들어 md에 할당하는 것이다..

 

하지만 이런 모호한 프로그래밍이 좋지 않은 경우가 많기 때문에, 우리는 explicit이라는 키워드를 이용하여 Automatic Conversion을 방지할 수 있다.

 

사용하는 방법은 다음과 같다.

 

#include <iostream>

class MyData {
public:
    int my_int_data;
    explicit MyData(int md): my_int_data(md) {}

    ~MyData(){};

    int get_data() const {return my_int_data;}
};

void increament_and_show(MyData md) {
    int tmp=md.get_data();
    std::cout << "my data + 1: " << ++tmp << std::endl;
}

int main() {
    increament_and_show(3);
    return 0;
}

생성자 앞에 explicit을 붙여주어 사용이 가능하다.

 

이렇게 코드를 짜게 된다면 increament_and_show(3); 라인에서 오류가 발생하게 된다.

발생 오류