2007년 9월 5일 수요일

C++ explicit

보이지 않는 위험, 암묵적 형변환. C로부터 계승해온 아주 멋지구리한 녀석이지. 뭐, 나름대로 편하긴 해도 벌레 잡을 때 그지 같단 말이지.

아래 코드를 보자.
#include <iostream>
using namespace std;

// -DDO_EXP 를 컴파일 옵션에 넣으면 실험할 수 있다.
#if !defined(DO_EXP)
#   define EXPLICIT
#else
#   define EXPLICIT explicit
#endif

// 몇몇 정보를 찍는 함수
template<typename _T>
static
void
_showme(const char* fn, void* ptr, const _T& val)
{
    cout << fn << '(' << ptr << "): " << val << endl;
}

// 몇몇 정보를 찍는 매크로
#define showme(h) _showme(__PRETTY_FUNCTION__, \
    this, \
    (h) )

// 내 클래스
class CMyClass
{
public:
    // 생성자1 - a
    EXPLICIT CMyClass()
    {
        showme(this);
    }

    // 생성자2 - b
    EXPLICIT CMyClass(int h)
    {
        showme(h);
    }

    // 생성자3 - c
    EXPLICIT CMyClass(const CMyClass& h)
    {
        showme(&h);
    }

#if 0
    // 대입연산자1 - d
    CMyClass& operator = (int h)
    {
        showme(h);
        return *this;
    }
#endif

    // 대입연산자2 - d
    CMyClass& operator = (const CMyClass& h)
    {
        showme(&h);
        return *this;
    }
};

int
main(int,char**)
{
    CMyClass h;
    h = 10;
    return 0;
}
일단 컴파일을 아래와 같이 해보자.
$g++ -o explicit explicit.cpp
별 이상 없이 컴파일하는 것을 볼 수 있다. 실행하면 아래와 같이 나온다.
$./explicit
CMyClass::CMyClass()(0xbffaf6c0): 0xbffaf6c0
CMyClass::CMyClass(int)(0xbffaf6b0): 10
CMyClass& CMyClass::operator=(const CMyClass&)(0xbffaf6c0): 0xbffaf6b0
'operator ='이 아니라 생성자가 찍힌 이유는 빨갛게 칠해진 부분을 컴파일러가 아래와 같이 암묵적으로 해석했기 때문이다.
{
    CMyClass _tmp(10);
    h.operator = (_tmp);
    // _tmp.delete();
}
어째서? 라고 한다면 C++ 암묵적인 형변환 덕(?)뿐이라고 하겠다. 신발놈. 만약 '대입연산자1 - d'를 살려놨으면 그 녀석을 바로 실행했겠지만, 없다고 해서 컴파일러 입장에서 방법이 없는게 아니라서 저렇게 나름대로 길을 열어준거다. 근데 저거 별루 좋아보이진 않는데 말이지. 벌레 잡을 때 다른 코드만 열라 뒤질 가능성이 농후하단 말이지.

그래서 여러가지 형태를 가지는 생성자 맨 앞에 explicit을 써주면 저런 돌려서라도 되게 만들어주는 암묵적 형변환을 막을 수 있다. 위 소스에서 아래와 같이 -DDO_EXP 컴파일 옵션을 주고 컴파일하면 오류가 발생한다. (저 옵션은 위 소스에만 쓰일꺼니깐 괜스레 관심 갖지 말고)
g++ -O1 -DDO_EXP    explicit.cpp   -o explicit
explicit.cpp: In function `int main(int, char**)':
explicit.cpp:68: error: no match for 'operator=' in 'h = 10'
explicit.cpp:58: note: candidates are: CMyClass& CMyClass::operator=(const CMyClass&)
형변환해서 새로운 객체를 만들 생각은 하지 않고, 'operator = (int)'를 찾는 모양인데, 없어서 에러를 퉤!하고 내뱉고 끝난다.

아무튼 암묵적 형변환에 너무 맡기면 벌레잡기 힘들어지니 잘 활용하도록 하자. explicit는 C++ 표준이며, 생성자 앞에만 쓸 수 있다.