<aside> 💡

cpp20

| New Language Features |

표준사용자정의 literal

년 일 시 분 초~^-3

y m d h min s ms us ns

컴파일

모듈컴파일 .h → .cppm

미리컴파일된헤더의 표준화

.cppm
export module NAME; .cppm 에 호출가능한 모듈의 뜻으로, 명시
import OTHER; .cpp에 다른 cppm(헤더) 사용원할시, 명시
module NAME; .cpp 에는 .cppm을 구현한다는 뜻으로, 명시
module; 글로벌모듈 프래그먼트
도달가능성과 가시성 (참조컴파일 가능 & 코드직접사용 가능)

서브모듈 vs 모듈파티션

공통점과 차이점
서브모듈 시스템 (std.string.submodule) → . 사용
모듈 파티션 (flydata:speed:accel)→ : 사용

inline 명시성강화

cpp20에서 컴파일러 자동개입 역할감소, 명시성 강화됨

.h / .cppm 에 구현 (module / export 포함) → 자동인라인
.cpp / export module → inline없이는 자동인라인 되지않음

consteval

consteval 즉시상수평가 함수

constinit

constinit 상수초기화 보장 → 지역변수등은 어짜피 초기화 순서 문제없음, 하지만 전역/정적 변수의 경우 특히 컴파일타임 초기화 보장이 유용함

키워드	의미	사용 시점	특징
`constexpr`	컴파일 타임에 계산	변수, 함수	값이 컴파일 타임에 결정됨
`constinit`	초기화는 컴파일 타임에	변수만	런타임에 값 변경가능 일반 변수됨
`consteval`	무조건 컴파일 타임에 실행	함수만	런타임 호출 불가, 계산 강제

using enum

using enum
import include 권장 위치

메타프로그래밍

암시적 변환: 변수화

explicit(bool) 지원

람다: 지역성강화

[=] [=, this] → 람다캡쳐는 지역변수로 한정, 맴버 필요시 this캡쳐

람다: 표현식 템플릿

[]<typename T>() { … }; 람다표현식 템플릿

람다: 비평가문맥 사용

constexpr lambda 비평가문맥 사용

람다: 인자있는 기본생성자

상태(인자)있는 람다의 생성자 → 상태없는 람다 생성자 제공

템플릿: 축약 함수템플릿

축약 함수템플릿 지원 template<typename T> → auto 로 대체

연산자

<=> 논리연산자

3방향연산자, 속칭 우주선 연산자

<=>
<=>, == 비교연산자 오버라이딩 간소화

[[attribute]]

[[nodiscard("explain the reason")]]
[[likely]] [[unlikely]]

초기화

범위기반 반복문 초기화

범위기반-반복문 → 초기자 사용 지원

구조체 지정초기화

지정초기화 for 구조체

| New Library Features |

STL

<span>

<array>

std::to_array(T*)

<algorithm>

std::erase(container, value) 전역함수 (정렬연관, 비정렬 컨테이너 미지원)
std::erase_if(container, pred) 전역함수 (전부지원)

<iterator>

std::iterator::콘셉트
std::ssize(c) 전역함수 → (부호있는) longlong // std::size(c) → size_t

메타프로그래밍

<concepts>

concept
제약표현식
requires 요구표현식
std::콘셉트

<ranges>

STL반복자를 한번 더 추상화하여, 좀 더 함수형스타일을 추구

의의 및 장점
std::ranges::콘셉트
std::ranges::구체view클래스
std::ranges::구체view클래스.함수() → 컨테이너와 유사하게 다룰 수 있도록
std::ranges::알고리즘(+proj 프로젝션 지원) → 병렬실행 미지원
std::views::레인지어답터(변환기) or 팩토리 → range에 각종기능 적용

산술연산

<bit>

bit_cast<>(T) </aside>