C++23

현재 C++ 표준의 개정판.

새로운 언어 기능

• New 언어 기능 테스트 매크로
• 명시적 객체 매개변수 , 명시적 객체 멤버 함수 , 일명 "deducing this " ( P0847R7 )
• 다차원 첨자 연산자 (예: v [ 1 , 3 , 7 ] = 42 ; ) ( P2128R6 )
• static operator [ ] ( P2589R1 ), static operator ( ) , 및 static 람다 ( P1169R4 )
• auto ( x ) 및 auto { x } : decay-copy 언어 기능 ( P0849R8 )
• 새로운 속성을 통한 가정: [[ assume ( expression )]] ( P1774R8 )
• 람다 표현식 에 대한 속성 ( P2173R1 )
• 선택적 확장 부동소수점 타입 : std :: float { 16 | 32 | 64 | 128 } _t , 및 std:: bfloat16_t ( P1467R9 )
• 새로운 전처리기 지시문: #elifdef , #elifndef ( P2334R1 ), 및 #warning ( P2437R1 )
• 리터럴 접미사 ' Z '/' z ' for ( signed ) std:: size_t 리터럴 ( P0330R8 ), 예: auto ouz = 0uz ;
• 줄 접합 전 공백 제거 ( P2223R2 )
• 단순화된 암시적 이동 ( P2266R3 )
• 범위 기반 for 루프 초기화식에서 임시 객체 수명 확장 ( P2718R0 )
• 상속된 생성자로부터의 CTAD ( P2582R1 )
• 복합문 끝의 레이블 ( P2324R2 ), 예:
  

void f ( int & x )
{
if ( x )
goto END ;
x = 42 ;
END :
}

• 초기화 문장에서의 별칭 선언 ( using ) ( P2360R0 ), 예:
  

for ( using T = int ; T e : v )
/* ... */

• 람다 표현식에서 () 를 더 선택적으로 만듦 ( P1102R2 )
• bool 로의 축소 문맥 변환을 static_assert 와 if constexpr 에서 허용 ( P1401R5 )
• 비정적 클래스 데이터 멤버의 선언 순서 레이아웃을 의무화 ( P1847R4 )
• 텍스트 인코딩 변경:
  • 문자 집합과 인코딩 ( P2314R4 )
  • 일관된 문자 리터럴 인코딩 ( P2316R2 )
  • 명명된 유니버설 문자 이스케이프 , 예: " \N {CAT FACE}" → "🐱" ( P2071R2 )
  • 구분된 이스케이프 시퀀스 , 예: "\o{7777}" , "\x{C0DE}" , "\u{CAFE}" ( P2290R3 )
  • 이식 가능한 소스 파일 인코딩으로서의 UTF-8 지원 ( P2295R6 )
• if consteval / if not consteval ( P1938R3 )
• constexpr 변경사항:
  • constexpr 함수에서 비리터럴 변수, 레이블, 및 goto 허용 ( P2242R3 )
  • constexpr 함수의 상수 표현식에서 static 및 thread_local 변수 허용 ( P2647R1 )
  • constexpr 함수가 리턴 타입과 매개변수 타입이 리터럴 타입일 필요 없음 ( P2448R2 )
  • 코어 상수 표현식 요구사항을 만족하는 호출이 없는 constexpr 함수 ( P2448R2 )

새로운 라이브러리 기능

• New 라이브러리 기능 테스트 매크로

새로운 모듈

• std 와 std.compat ( P2465R3 )

새 헤더

• <expected>
• <flat_map>
• <flat_set>
• <generator>
• <mdspan>
• <print>
• <spanstream>
• <stacktrace>
• <stdfloat>

C 호환성 헤더:

• <stdatomic.h> ( P0943R6 )

라이브러리 기능

일반 유틸리티

• std:: expected : 함수의 결과를 반환하기 위한 새로운 어휘 타입 ( <expected> ) ( P0323R12 , P2549R1 )
• std:: move_only_function : 이동 전용 호출 가능 래퍼 ( P0288R9 )
• std:: bind_back : 호출 래퍼 ( P2387R3 )
• std:: byteswap : 바이트 순서 반전 ( P1272R4 )
• std:: forward_like ( P2445R1 )
• std:: invoke_r : Callable 객체 호출 ( P2136R3 )
• std:: to_underlying : enum 의 기반 값 획득을 위한 유틸리티 함수 ( P1682R3 )
• std:: unreachable : 도달 불가능한 코드 표시 함수 ( P0627R6 )
• std:: optional ( P0798R8 ) 및 std:: expected ( P2505R5 )를 위한 모나딕 연산 ( transform , or_else , and_then )
• std:: tuple 이 다른 튜플류 객체와 호환됨 ( P2165R4 )
• std:: pair 의 전달 생성자를 위한 기본 인자 추가 ( P2718R0 )
• 참조 타입을 생성하는 std:: reference_wrapper 에 대한 std:: basic_common_reference 특수화 ( P2655R3 )

코루틴 라이브러리

• std:: generator : 동기식 코루틴 범위 생성기 ( P2502R2 , P2787R0 )

진단

• 스택 트레이스 라이브러리 ( P0881R7 )

알고리즘, 반복자, 범위

• 새로운 범위 어댑터:
  • views:: adjacent 및 views:: adjacent_transform ( P2321R2 )
  • views:: as_const ( P2278R4 )
  • views:: as_rvalue ( P2446R2 )
  • views:: cartesian_product ( P2374R4 )
  • views:: chunk_by ( P2443R1 )
  • views:: chunk ( P2442R1 )
  • views :: enumerate ( P2164R9 )
  • views:: join_with ( P2441R2 )
  • views:: repeat ( P2474R2 )
  • views:: slide ( P2442R1 )
  • views:: stride ( P1899R3 )
  • views:: zip , views:: zip_transform ( P2321R2 )
• ranges:: range_adaptor_closure : 프로그램 정의 범위 어댑터 클로저를 위한 헬퍼 ( P2387R3 )
• ranges:: to : 범위 변환 함수 ( P1206R7 )
• 새로운 제약 범위 알고리즘:
  • ranges:: starts_with 및 ranges:: ends_with ( P1659R3 )
  • ranges:: contains 및 ranges:: contains_subrange ( P2302R4 )
  • ranges:: find_last , ranges:: find_last_if , 및 ranges:: find_last_if_not ( P1223R5 )
  • ranges:: iota , ranges:: shift_left , 및 ranges:: shift_right : 비제약 알고리즘의 범위화된 버전 ( P2440R1 )
  • ranges:: fold_left 등: 범위 폴드 알고리즘 ( P2322R6 )
• 상수 반복자, 센티널 및 범위를 수정합니다. 즉, ranges:: cbegin 및 기타 유사한 유틸리티들은 얕은 const 뷰(예: std:: span )에 대해서도 완전히 보장되어야 합니다 ( P2278R4 )
• 일부 뷰의 다중 매개변수 생성자를 명시적으로 만들기 ( P2711R1 )
• 범위 이터레이터를 비범위 알고리즘에 입력으로 사용 ( P2408R5 )
• 이동 전용 유형을 허용하도록 범위 어댑터 완화 ( P2494R2 )

컨테이너

• std:: mdspan : 비소유 다차원 배열 참조 ( P0009R18 , P2599R2 , P2604R0 , P2613R1 , P2763R1 )
• 호환 가능한 다른 범위로부터의 컨테이너 생성 및 할당 가능성 ( P1206R7 )
• std:: flat_set , std:: flat_multiset ( P1222R4 ), std:: flat_map , std:: flat_multimap ( P0429R9 ): 플랫 셋과 플랫 맵 - 기본 정렬된 임의 접근 컨테이너를 감싸는 컨테이너 어댑터
• std:: stack 및 std:: queue 에서의 반복자 쌍 생성 허용 ( P1425R4 )
• 연관 컨테이너를 위한 이종 삭제 오버로드 ( P2077R2 )
• 컨테이너 추론 가이드에서 할당자에 대한 비추론 문맥 ( P1518R2 )
• std:: span 과 std:: basic_string_view 이 사소하게 복사 가능하도록 요구 ( P2251R1 )

컴파일 타임 지원

• constexpr 지원:
  • std:: bitset ( P2417R2 )
  • std:: unique_ptr ( P2273R3 )
  • std::type_info::operator== ( P1328R1 )
  • 일부 <cmath> 함수들 ( P0533R9 )
  • 정수형 오버로드 std:: to_chars 및 std:: from_chars ( P2291R3 )
• 메타프로그래밍 유틸리티:
  • 비교 개념에 대한 이동 전용 타입 지원 추가 ( P2404R3 )
  • 타입 특성:
    • std:: is_scoped_enum ( P1048R1 )
    • std:: is_implicit_lifetime ( P2674R1 )
    • std:: reference_constructs_from_temporary , 및 std:: reference_converts_from_temporary ( P2255R2 )

메모리 관리

• std:: out_ptr 및 std:: inout_ptr : C 상호 운용성을 위한 스마트 포인터 어댑터 ( P1132R7 )
• std :: allocate_at_least 및 std :: allocator :: allocate_at_least ( P0401R6 )
• std:: start_lifetime_as : 암시적 수명 타입을 위한 명시적 수명 관리 함수 ( P2590R2 )
• std:: allocator_traits 의 사용자 특수화 금지 ( P2652R2 )

문자열 및 텍스트 처리

• 문자열 타입의 새로운 멤버 함수와 변경사항:
  • std :: basic_string :: contains 및 std :: basic_string_view :: contains ( P1679R3 )
  • std:: basic_string 및 std:: basic_string_view 에 대한 nullptr 생성 비활성화 ( P2166R1 )
  • std:: basic_string_view 의 명시적 범위 생성자 ( P1989R2 )
  • std :: basic_string :: resize_and_overwrite ( P1072R10 )
  • 효율적인 슬라이싱을 위한 std :: basic_string :: substr 의 rvalue 참조 오버로드 ( P2438R2 )
• 범위, 튜플, 이스케이프된 문자 및 문자열 표현, std:: thread :: id , 그리고 스택트레이스 의 포맷팅. ( P2286R8 ) ( P2585R1 ) ( P2693R1 )

입출력 및 출력

• 헤더 <print> 에서 제공되는 서식화된 출력 함수 std:: print 및 std:: println ( P2093R14 )
• 헤더 <spanstream> 에서 제공되는 spanstream 라이브러리 ( std:: span 기반 문자열 스트림) ( P0448R4 )
• std :: fstreams 에서 배타 모드 지원 ( P2467R1 )
• std :: basic_ostream :: operator << ( const volatile void * ) 의 volatile T * 출력 지원 ( P1147R1 )

폐기된 기능

제거된 기능

• 가비지 컬렉션 지원 및 도달 가능성 기반 메모리 누수 감지. ( P2186R2 )
• 혼합 와이드 문자열 리터럴 concatenation 지원, 예를 들어 const auto * no = u "q" U "p" 는 올바르지 않은 형식입니다. ( P2201R1 )
• 인코딩 불가능한 와이드 문자 리터럴 및 다중 문자 와이드 문자 리터럴, 예를 들어 wchar_t x = 'db' 는 올바르지 않은 형식입니다. ( P2362R3 )

사용 중단된 기능

• std:: aligned_storage 및 std:: aligned_union ( P1413R3 )
• std:: numeric_limits :: has_denorm ( P2614R2 )

되돌려진 사용 중단

• 첨자 표현식 내 operator, (쉼표 연산자) (단, 오버로드 가능한 다차원 첨자 operator [ ] 를 지원하기 위해 의미론이 변경됨).
• 일부 C 헤더 (C와의 호환성을 위한 해당 <*.h> 헤더들) ( P2340R1 )

결함 보고서

컴파일러 지원

주요 문서: C++23 컴파일러 지원

C++23 핵심 언어 기능

C++23 라이브러리 기능

`, `$`\; 태그\; 내부의\; 텍스트는\; 그대로\; 유지됨\; -\; C++\; 관련\; 용어는\; 번역하지\; 않음\; -\; FTM(Feature\; Testing\; Macro)은\; 번역하지\; 않음\; -\; 숫자와\; 코드\; 값은\; 그대로\; 유지$

`, `$`\; 태그\; 내부의\; 내용은\; 번역하지\; 않고\; 원본\; 유지\; -\; C++\; 관련\; 용어(std::unreachable(),\; FTM,\; P0627R6\; 등)는\; 번역하지\; 않음\; -\; 숫자\; 값과\; 버전\; 정보는\; 원본\; 그대로\; 유지$

, $태그\; 내의\; 내용은\; 번역하지\; 않고\; 원본\; 유지\; -\; FTM,\; P2443R1,\; 버전\; 번호\; 등\; 기술적\; 용어는\; 번역하지\; 않음$

`, `$`\; 태그\; 내부의\; 내용은\; 번역하지\; 않고\; 원본\; 유지\; -\; C++\; 관련\; 용어(`flat\_set`,\; `FTM`,\; `P1222R4`,\; `\_\_cpp\_lib\_flat\_set`\; 등)는\; 번역하지\; 않음\; -\; 숫자\; 및\; 표시\; 기호(*)는\; 원본\; 유지\; -\; 표\; 서식\; 및\; 스타일\; 속성은\; 완전히\; 보존$

`, `$`\; 태그\; 내부의\; 텍스트는\; 번역하지\; 않았으며,\; C++\; 관련\; 용어는\; 원문을\; 유지했습니다.$

`, `$`\; 태그\; 내부가\; 없으므로\; 해당\; 사항\; 없음\; -\; C++\; 전문\; 용어(input\; range\; adaptors,\; std::counted\_iterator)는\; 번역하지\; 않음\; -\; "Repairing"은\; "수정"으로\; 전문적으로\; 번역\; -\; "and"는\; "와"로\; 자연스럽게\; 연결\; -\; "(partial)"은\; "(부분적)"으로\; 정확히\; 번역\; -\; 전체적으로\; 전문적이고\; 정확한\; 번역\; 유지$

* - 별표로 표시된 셀에 마우스를 올리면 * 추가 팝업 노트를 볼 수 있습니다.
DR nn - "DR" 뒤의 숫자 nn 은 결함 보고서가 적용되는 대상 C++ 개정판을 나타냅니다. 예: DR20 → C++20.

외부 링크