C++26의 Contracts는 함수 진입 전 조건과 정상 반환 뒤 조건, 함수 내부 단언을 언어 수준에서 표현한다. 소개 글은 pre, post, contract_assert 문법과 위반 시 무시, 관찰, 강제 종료 등 서로 다른 실행 방식을 설명한다. 조건식 검사가 항상 실행되거나 실패 즉시 중단된다고 가정할 수 없어 외부 입력 검증이나 필수 부수 효과를 대신하면 안 된다. GCC 지원표에는 GCC 16의 Contracts 지원이 표시돼 있지만 컴파일러 설정과 구현 상태를 함께 확인해야 한다.