[C++] C++20: Concept

#C++

Concept은 제너릭 매개변수 타입에 제약사항을 걸어줄 수 있게 하는 기능이다.

기존 C++ 템플릿 기능은 인체공학적으로는 많이 부족했다.
그래서 들어가서는 안되는 타입이 들어가면 5천줄씩되는 오류 메세지를 띄우곤 했었는데, 이 기능으로 그런 불편함은 좀 덜어낼 수 있게 될 것이다.

Concept 정의하기

우선 컨셉을 통해 제약사항을 정의한다.

컨셉 정의 신택스는 다음과 같다.

template <템플릿 매개변수...>
concept 컨셉명 = boolean 상수표현식

여기서 오른쪽의 boolean식은 상수나 상수표현식만 가능하다.
그래서 sizeof나 상수계산식, TMP를 이용한 처리 정도만 가능하다.

그래서 type_traits 헤더를 쓸 일이 많아질 것이다.

만약 부호없는 정수만 받는 컨셉을 정의하고 싶다면 다음과 같이 할 수 있다.

is_unsigned는 type_trait의 부호판별기능이다.

그럼 이제 저 컨셉을 가져다가 제약을 걸 수 있다.
사용법은 간단하다.
템플릿 정의 바로 오른편에 requires로 컨셉을 걸어서 검증할 템플릿 매개변수를 전달해주면 끝이다.

그럼 제약사항에 해당하는 경우는 컴파일이 잘 되지만

아닌 경우에는 오류를 뱉는다.