C++26, 런던 크로이던에서 마침표 — OnePageDaily

C++26 · 표준화 마감

C++26이 끝났다
리플렉션과 안전성의 시대로

런던 크로이던 6일 회의, 411개 국가 코멘트를 정리하며 DIS로 향한 마지막 표결

3월 28일 토요일, ISO C++ 위원회가 런던 크로이던에서 C++26의 기술 작업을 마쳤다. 24개국에서 모인 약 210명, 그중 130명이 현장에 앉아 여름 CD 단계에서 받은 411개의 국가 코멘트를 마지막까지 다듬었다. 허브 셔터의 평가는 단호하다. C++11 이래 가장 충격적인 릴리스. 리플렉션이 컴파일러를 거울로 바꾸고, 미초기화 지역 변수의 UB가 통째로 사라지며, vector·span·string·string_view에 경계 검사가 기본값으로 박힌다. 컨트랙트와 std::execution까지 한 번에 묶인 패키지다. 다만 통과는 만장일치가 아니었다. 컨트랙트는 마지막 표결에서 114-12-3으로 살아남았고, std::execution은 문서와 보조 라이브러리가 부족하다는 자기고백이 함께 실렸다. 안전한 기본값과 제로 오버헤드의 균형은 이제 C++29의 숙제로 넘어간다.

411

처리한 국가 코멘트

~210

런던 크로이던 참석자

30%

Google 세그폴트 감소

▼ SCROLL

C++26이 손에 쥐여주는 여섯 가지

Reflection

언어가 자기 자신을 본다

컴파일 타임에 타입을 들여다보고 새 코드를 합성하는 첫 정식 기능
셔터의 표현으로 "템플릿 발명 이래 가장 큰 업그레이드"
GCC 트렁크에는 이미 머지된 채 릴리스를 기다리는 중

Uninitialized UB 제거

재컴파일만으로 사라지는 취약점군

미초기화 지역 변수를 읽는 행위가 더 이상 UB가 아님
기존 코드에 한 글자도 손대지 않고 잠재 취약점 한 부류 통째 제거
그래도 제로 오버헤드 원칙은 유지되는 설계

Hardened Standard Library

vector·span·string에 경계 검사를 기본값으로

수십 종의 표준 컨테이너 연산에 크로스 플랫폼 보안 보장
Google 사내 평균 0.3% 오버헤드, 사내 세그폴트 30% 감소
Apple·Google이 수억 줄 코드에 이미 배포한 검증된 설계

Contracts

pre·post·contract_assert가 표준이 되다

C 매크로 assert를 대체할 함수 단위 사전·사후 조건과 표명문
최종 본회의 표결 114 찬성, 12 반대, 3 기권으로 채택 확정
지속된 기술 우려는 남았지만 위원회의 입장은 명확

std::execution

C++의 비동기 모델, 그러나 학습 비용 동반

구조적 동시성으로 데이터 레이스를 설계로 막는 통합 프레임워크
셔터 본인 회사도 프로덕션 사용 중이라 밝힌 검증된 모델
문서와 어댑터 부재로 입문자에게는 친구·헬퍼 라이브러리가 필요

Toward C++29

안전성 프로파일이 다음 라운드의 주제

수요일 야간·금요일 오후 메모리 안전 세션에 약 90명 집중
WebKit이 400만 줄에 적용한 부분집합 접근의 실전 보고 P4158R0
Stroustrup의 P3984 타입 안전 프로파일이 SG23에서 진행 중

체감으로 비교하는 표준의 격차

쟁점	C++23까지의 감각	C++26 이후의 감각
지역 변수를 깜빡 미초기화로 두면	정의되지 않은 동작이 잠복해 보안 사고로 번질 수 있음	표준이 정의된 동작으로 못 박아 취약점 한 부류가 사라짐
vector·span·string의 경계를 넘으면	런타임 오작동 또는 침묵하는 버퍼 오버플로	하든드 라이브러리가 0.3% 비용으로 기본 차단, 필요 시만 옵트아웃
비동기 코드의 수명·취소 모델은	팀마다 다른 future·executor 설계로 데이터 레이스가 빈번	std::execution의 구조적 동시성이 레이스 프리를 설계로 보장
런타임 검증과 메타프로그래밍은	C식 assert 매크로와 SFINAE·template 마법에 의존	pre·post·contract_assert와 컴파일 타임 리플렉션이 표준 도구

C++26이 이미 닿은 현장

🛡️

Google 프로덕션

Hardened lib · 1000+ 버그 수정, 세그폴트 30%↓

🍎

Apple 플랫폼

수억 줄에 하드닝 옵트아웃은 단 5개 서비스

🌐

WebKit

P4158R0 부분집합 접근으로 4MLoC 하드닝

⚙️

GCC 트렁크

리플렉션·컨트랙트 머지 완료, 릴리스 대기

🧪

Citadel Securities

std::execution을 프로덕션 비동기 모델로 사용 중

📐

Quantities & Units P3045R7

SG6·SG18을 통과해 LEWG로, 안전성 절 7.1 주목

런던 크로이던의 6일은 회의장 안의 수치 두 개로 요약된다. 약 210명, 그리고 411개의 국가 코멘트. ISO C++ 위원회는 그 둘을 마주 놓고 토요일에 C++26의 기술 작업을 마무리했다. 남은 단계는 DIS 송부와 편집뿐이다.

허브 셔터가 이번 릴리스를 'C++11 이래 가장 임팩트 있는 표준'이라 부른 데에는 이유가 있다. 첫째는 리플렉션이다. 컴파일러가 자신을 들여다보며 새 코드를 만들어내는 첫 정식 기능이고, GCC 트렁크에는 이미 머지된 상태로 릴리스를 기다린다. 그는 이를 "템플릿 발명 이래 가장 큰 업그레이드"라고 정리했다.

둘째는 다시 컴파일하는 것만으로 따라오는 메모리 안전 향상이다. 미초기화 지역 변수의 UB가 사라져 한 부류의 잠재 취약점이 통째로 제거되고, 하든드 표준 라이브러리는 vector·span·string·string_view를 포함한 컨테이너 연산에 경계 검사를 기본값으로 박는다. ACM Queue 11월 호 보고에 따르면 Google에서 평균 0.3% 오버헤드로 사내 세그폴트가 30% 줄었고, 옵트아웃을 택한 서비스는 다섯뿐이었다.

Apple과 WebKit의 실전 보고는 그 흐름이 표준 이전부터 산업 전반에 깔려 있었음을 보여준다. Oliver Hunt가 발표한 P4158R0은 WebKit이 부분집합·상위집합 접근으로 400만 줄에 메모리 안전을 적용했다고 정리한다. 새 버그를 막고, 과거 익스플로잇 다수도 이 정책이라면 차단되었다는 분석이 함께 실렸다.

셋째는 컨트랙트다. pre·post·contract_assert가 C식 assert를 대체한다. 그러나 만장일치는 아니었다. 2월 트렁크 합류 표결은 100-14-12, 이번 최종 본회의 표결은 114-12-3. 기권이 줄어든 만큼 찬반은 분명해졌고, 위원회의 입장은 "여전히 컨트랙트를 원한다"는 결론으로 정리됐다.

넷째 std::execution은 강력하지만 정직한 경고가 따라붙었다. 셔터 본인 회사도 프로덕션에서 쓴다고 밝히면서도, 문서가 부족하고 "손가락·발가락" 보조 라이브러리가 비어 있어 도입에는 학습 시간과 어댑터 작성을 각오해야 한다고 적었다. 좋은 기능이라는 평가와 별개로, 채택 곡선은 거칠다는 뜻이다.

다음 회의는 6월 브르노, 11월 부지오스. 위원회는 이미 C++29의 윤곽을 잡고 있고, 핵심 화두는 또다시 메모리 안전이다. SG23은 Stroustrup의 P3984 타입 안전 프로파일과 Dos Reis의 일반 프로파일 프레임워크를 다루고, 메모리 안전 단독 세션에는 90여 명이 모였다. C++26이 안전한 기본값과 제로 오버헤드의 첫 단계라면, 다음 3년은 그 기본값을 어디까지 밀어붙일 수 있는가의 시간이다.

리플렉션의 10년이 시작됐다
다음 마디는 C++29의 안전성

C++26은 "무엇이든 허용되는" 옛 C++의 마지막 페이지를 덮는다. 표준이 안전한 기본값을 깔고, 그 위에서 옵트아웃은 핫패스의 정밀 작업으로 한정된다. 제로 오버헤드 원칙은 그대로 살아남았다. 6월 브르노, 11월 부지오스에서 C++29 작업이 시작된다. 프로파일과 또 한 단계의 UB 제거가 의제 위에 올라와 있고, 위원회는 이미 다음 라운드를 향해 출발했다. 지금 해야 할 일은 컴파일러를 갈아 끼울 일정을 잡는 것이다.

원문 보기 · Source

C++26이 끝났다리플렉션과 안전성의 시대로

C++26이 손에 쥐여주는 여섯 가지

체감으로 비교하는 표준의 격차

C++26이 이미 닿은 현장

리플렉션의 10년이 시작됐다다음 마디는 C++29의 안전성

C++26이 끝났다
리플렉션과 안전성의 시대로

리플렉션의 10년이 시작됐다
다음 마디는 C++29의 안전성

C++26, 런던 크로이던에서 마침표

Reference Links

Comments (0)