기본 콘텐츠로 건너뛰기

Git 원격 브랜치 삭제

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]=&

Linux에서 find결과를 시간 순서대로 정렬하기

때때로 어떤 디렉토리 내용을 수정시간 순서(보통 역순)대로 정렬할 필요가 있다. 그럴 때 사용할 수 있는 옵션이 -printf 옵션이다. %T+는 마지막 수정시간을 YYYY-MM-DD+HH:MM:SS.ssssssssss 형태로 출력한다. 참조: https://man7.org/linux/man-pages/man1/find.1.html find /path/something/ -mindepth 1 -maxdepth 1 -type d \ -name 'myapp-*' -printf "%T+\t%p\n" | \ sort -r | awk -F'\t' '{print $2}'