C++26에서 assert()가 드디어 사람답게 바뀐다

오랜 골칫덩이, assert 매크로

C++로 개발해본 분이라면 assert()를 한 번쯤은 써봤을 거예요. 코드가 내 의도대로 동작하는지 확인할 때 쓰는 일종의 "안전장치"인데요. 예를 들어 assert(x > 0)이라고 쓰면, x가 0 이하일 때 프로그램이 멈추면서 "여기 뭔가 잘못됐어!"라고 알려주는 거죠.

그런데 이 assert가 C 시절부터 내려온 매크로라서, C++ 코드에서 쓰기엔 꽤 불편한 점이 많았어요. 가장 대표적인 문제가 뭐냐면, 쉼표(,)가 들어가는 표현식을 쓰면 매크로가 깨져버린다는 거예요. assert(std::is_same_v<int, int>) 같은 걸 쓰면, 매크로 입장에서는 쉼표를 함수의 인자 구분자로 해석해버려서 컴파일 에러가 나거든요. 그래서 지금까지는 괄호를 한 겹 더 씌워서 assert((std::is_same_v<int, int>)) 이런 식으로 써야 했어요. 알고 보면 별것 아닌데, 모르면 한참 헤매는 함정이었죠.

C++26이 바꾸는 것들

C++26에서는 이 문제를 근본적으로 해결하려고 해요. 핵심은 assert를 기존의 단순한 C 매크로에서 벗어나, 현대 C++에 맞는 방식으로 재설계하는 건데요.

첫 번째로, 쉼표 문제가 사라져요. 새로운 assert는 전처리기(preprocessor) 수준에서 괄호, 꺾쇠괄호(<>), 대괄호([]), 중괄호({}) 안에 있는 쉼표를 제대로 인식해요. 그래서 assert(std::is_same_v<int, int>)를 그냥 써도 문제없이 동작하게 돼요. 템플릿을 많이 쓰는 현대 C++ 코드에서 이건 정말 큰 편의성 개선이에요.

두 번째로, 실패 메시지가 훨씬 유용해져요. 지금까지 assert가 실패하면 그냥 "assertion failed: x > 0" 같은 밋밋한 메시지만 나왔거든요. 새 버전에서는 assert 안에 있는 표현식을 텍스트 그대로 보여주는 건 물론이고, 어떤 값이 들어있었는지까지 알려줄 수 있는 기반이 마련돼요.

세 번째로, 커스텀 메시지를 추가할 수 있어요. assert(x > 0, "x는 양수여야 합니다")처럼 두 번째 인자로 설명을 넣을 수 있게 되는데요. 이게 뭐가 좋냐면, 대규모 코드베이스에서 assert가 실패했을 때 "도대체 왜 이 조건을 검사하는 거지?"라는 의문을 바로 해소할 수 있어요. 디버깅 시간을 크게 줄여주는 거죠.

기존 방식과 비교하면

사실 이런 문제를 해결하기 위해 개발자들이 그동안 다양한 우회 방법을 써왔어요. Boost 라이브러리의 BOOST_ASSERT를 쓰거나, 프로젝트별로 자체 assert 매크로를 만들어 쓰는 경우가 많았죠. Google의 glog이나 absl에도 자체적인 CHECK 매크로가 있고요.

이런 서드파티 솔루션들이 나름 잘 동작하긴 했지만, 프로젝트마다 다른 assert를 쓰다 보니 코드를 읽을 때 혼란스럽고, 새 팀원이 들어올 때마다 "우리는 이 매크로를 써요"라고 설명해야 하는 비용이 있었어요. C++26에서 표준 assert 자체가 개선되면 이런 파편화가 줄어들 수 있어요.

Rust의 assert! 매크로와 비교해보면, Rust는 처음부터 assert!(a == b, "a와 b가 같아야 하는데, a={}, b={}", a, b) 같은 형태를 지원했거든요. C++이 이제야 비슷한 수준으로 따라가는 셈이에요. 다만 C++은 하위 호환성을 유지하면서 개선해야 하니까, 그만큼 설계가 까다로웠을 거예요.

한국 개발자에게 주는 의미

C++을 쓰는 국내 개발자분들, 특히 게임 엔진, 임베디드 시스템, 고성능 서버 쪽에서 일하시는 분들에게는 반가운 소식일 거예요. 템플릿 메타프로그래밍을 많이 쓰는 프로젝트에서 assert 때문에 삽질했던 경험이 한 번쯤은 있을 텐데, 그런 사소한 짜증이 사라지는 거니까요.

당장 실무에 적용하려면 컴파일러가 C++26을 지원할 때까지 기다려야 하지만, GCC와 Clang이 보통 표준 확정 전부터 실험적으로 기능을 넣어주기 때문에 -std=c++2c 플래그로 미리 써볼 수 있을 거예요. 새 프로젝트를 시작한다면, 자체 assert 매크로를 만들기보다 표준이 나올 때까지 조금 기다려보는 것도 방법이에요.