[C++11] Static assert

Static assert
: 컴파일 타임에 assertion 을 할 수 있다.


C에서 기존에 사용하던 assert() 는 runtime 에 동작한다.

C++11에서는 컴파일 타임에도 assert을 사용하도록 static_assert 를 도입했다.
다만 사용할 때 컴파일 타임에 사용할 수 있는 연산자, 매크로, 함수 등을 사용해야 함을 주의하자.

static_assert 가 필요한 상황을 생각해보자.

예를 들어, Packet 구조체를 만들고 이 데이터가 네트워크를 통해서 전달된다면
구조체의 크기를 구하는 연산이 매우 중요하다고 할 수 있다.
하지만 intel cpu 의 경우 연산 속도를 빠르게 하기 위해서 padding 을 넣기 때문에
컴파일 후 sizeof(packet) 의 반환값이 8 이 반환된다.
(우리는 char(1) + int(4) = 5 bytes를 기대했지만..)

이런 경우, sizeof(Packet) 의 값이 개발자가 기대하는 값과 일치하지 않는다면 반드시 컴파일 타임에 에러를 내야 한다.
또한 pragma pack(1)을 넣어 padding 을 넣지 않도록 할 수도 있다.


static_assert 가 필요한 또 다른 예제를 살펴보자.

일반적으로, 객체 선언 후 초기화를 위해 memset 함수를 많이 사용한다.
하지만 위 예제에서 처럼, memset(&t, 0, sizeof(Test)); code는 문제가 없을까?

먼저 Virtual function 의 원리를 알아야 하는데,
실제 Test Class 내부 구조를 살펴보면 virtual function 을 위해서
가상 함수 table 을 가리키는 pointer가 있다.
근데 memset 을 호출하면 가상 함수 table 을 가리키는 pointer 가 0으로 초기화되므로
이후에 가상 함수를 참조하려고 하면 문제가 발생한다.



이 문제를 해결해 보자.

가상 함수가 없는 객체만 0으로 초기화하도록 static_assert 를 사용해보자.
traits 를 사용해서 가상 함수가 class 내에 있는지 확인 해서 assertion 하도록 한다.