기본 콘텐츠로 건너뛰기

Ubuntu 깔린 노트북에서 뚜껑 닫아도 절전모드로 들어가지 않게 하기

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++ 표준이며, 생성자 앞에만 쓸 수 있다.

댓글

이 블로그의 인기 게시물

Bash Array, Map 정리

Bash에서 Array, Map에 대한 정리. (매번 찾기 귀찮) 찾아보진 않았지만, Bash에서 Array든 Map이든 동일하게 Map(C++에서 Unordered Map)으로 동작하는 것 같다. 왜냐하면, Array의 Index가 연속하지 않아도 동작한다. 그저 Key가 0 이상의 정수인 Map이랑 비슷하게 동작한다. 예) 1, 2, 3, 9, 10 Array # 생성 declare -a empty_array declare -a ar=(haha hoho baba "long string haha hoho") # 접근 echo "ar[0]=${ar[0]}" echo "all as array=${ar[@]}" # 큰따옴표 안에서 각 원소를 따로따로 전달한다. echo "all as one=${ar[*]}" # 큰따옴표 안에서 각 원소를 문자열 하나로 합쳐 전달한다. echo "indexes=${!ar[@]}" echo "indexes=${!ar[*]}" echo "length=${#ar[@]}" echo "length=${#ar[*]}" echo "last=${ar[-1]}" echo "last=${ar[@]: -1}" # 콜론 뒤에 빈 칸이 꼭 필요하다. 옛 방식 # 현재 상황 declare -p ar #(출력) declare -a ar=([0]="haha" [1]="hoho" [2]="baba" [3]="long string haha hoho") ar[100]=hello # 인덱스를 건너 뛰어도 동작한다. declare -p ar #(출력) declare -a ar=([0]="haha" [1]="hoho" [2]="baba" [3]=&

SQLite에서 파일 크기 줄이기

간단한 개인 프로젝트를 하고 있는데, SQLite DB파일 크기가 매우 커져서 테이블에 필요 없는 레코드를 날렸다. 그런데 날리고도 파일크기가 그대로라서 여기저기 뒤져보니 VACUUM 커맨드를 사용하란다. 사용법은 매우 간단하다. 그저 "VACUUM;"이라고 날려주면 동작한다. (참조: http://sqlite.org/lang_vacuum.html ) 다만, 동작이 매우 느려서 자주 쓸만한 것은 아니다. 실제로 100MB짜리 파일을 7KB로 줄이는데 수 분이 걸렸다. 소스를 봐야겠지만, DB를 EXPORT한 뒤에, 파일을 지우고 다시 IMPORT하는게 아닐까 하는 의구심이 든다. 매번 하기 귀찮으면 "PRAGMA auto_vacuum=1;"를 하면, 새로운 빈 페이지(DELETE나 DROP TABLE 같은...)가 생길 때마다, VACUUM을 실행한다. 다만, SQLite구조 문제로 테이블을 생성하기 전에 미리 날려야하는 안타까움이 있다. (참조: http://sqlite.org/pragma.html#pragma_auto_vacuum )

std::thread에서 클래스 메소드 호출하기

C++11이 나온지 어언 3년... 그동안 GCC도 많이 발전하고 해서, 귀찮은 pthread_* 함수를 쓰는 것보다, 잘 감싼 std::thread를 써보고 있다. 딱히 커다란 장단점은 찾아볼 수 없지만, 콜백 함수 형태에 구애받지 않는다. C++11이 갖는 꽃별천지 언어특성과 표준라이브러리가 만나 그렇게 할 수 있는 것이지만, 자세한 설명은 생략한다... (응?) 보통 일반 함수를 쓸 경우, 아래와 같이 쓸 수 있다. void cb_func1(void) { /* ... */ } void cb_func2(int i) { /* ... */ } void init(void) { std::thread t1(cb_func1); std::thread t2(cb_func1, 10); t1.join(); t2.join(); } 그러면 메소드를 쓰다면...? 메소드 포인터 다음에 객체 포인터를 넣어서 해결할 수 있다. class MyThread { public: MyThread() { m_th = std::thread(&MyThread::proc, this); m_th.detach(); } private: void proc(void) { /* ... */ } private: std::thread m_th; }; 요로코롬 할 수 있다. 물론 밖에서 호출할 때는 "this" 대신에 해당 객체 포인터를 넘겨야 제대로 동작한다.