requires로 Concepts 정의하기
requires 표현식과 제약 조건을 사용해 사용자 지정 Concepts를 정의합니다.
requires로 Concepts 정의하기은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
concept 키워드
template <params> concept Name = expression;으로 개념을 선언합니다. 표현식은 컴파일 시간 불리언이어야 합니다.
template <typename T>
concept Integer = std::is_integral_v<T>;형식 특성 결합
논리 연산자를 사용하여 형식 특성을 하나의 개념으로 결합합니다.
template <typename T>
concept SignedInteger = std::is_integral_v<T> && std::is_signed_v<T>;requires 표현식
더욱 표현력이 높은 형식으로, 형식이 지원해야 하는 연산을 나열합니다.
template <typename T>
concept Addable = requires(T a, T b) {
a + b;
};복합 요구 사항
requires 안에서 결과 형식과 추가 제약 조건을 지정할 수 있습니다.
template <typename T>
concept Number = requires(T a, T b) {
{ a + b } -> std::convertible_to<T>;
{ a * b } -> std::convertible_to<T>;
};중첩 요구 사항
requires 표현식 안에 requires를 추가하여 이름이 지정된 개념을 포함합니다.
template <typename T>
concept Sortable = requires(T t) {
{ t.begin() };
{ t.end() };
requires std::movable<typename T::value_type>;
};형식 요구 사항
형식에 특정한 중첩 형식이나 별칭이 있어야 한다고 요구할 수 있습니다.
template <typename T>
concept HasValueType = requires {
typename T::value_type;
};템플릿에서 개념 사용하기
세 가지 구문이 있습니다:
// 1. Replace typename
template <Integer T>
T increment(T x) { return x + 1; }
// 2. requires after template parameters
template <typename T>
requires Integer<T>
T increment(T x) { return x + 1; }
// 3. requires after function signature
template <typename T>
T increment(T x) requires Integer<T> {
return x + 1;
}개념과 auto 매개변수
축약 함수 템플릿에도 제약 조건을 적용할 수 있습니다.
void process(Integer auto x) { std::cout << x; }여러 제약 조건
&&와 ||를 사용하여 개념을 결합합니다.
template <std::integral T, std::integral U>
requires (sizeof(T) >= sizeof(U))
T promote(U value) { return static_cast<T>(value); }이름 지정 규칙
대부분의 코드에서는 개념에 CamelCase를 사용합니다. 일부 라이브러리는 표준 라이브러리에 맞춰 소문자를 사용합니다. 한 가지 규칙을 정하고 일관되게 사용하십시오.
클래스 템플릿의 개념
클래스 템플릿에도 같은 방식으로 제약 조건을 적용합니다.
template <std::integral T>
class Counter { T value_; /* ... */ };재사용 가능한 개념
작은 개념으로 구성된 라이브러리를 정의하고 이를 조합하십시오. 재사용 가능한 개념을 사용하면 템플릿의 의도가 코드에 드러나고 유지 관리하기도 쉬워집니다.
빠른 확인
requires 표현식 안에서 a + b의 결과가 T로 변환 가능한지 확인하는 구문은 무엇입니까?
복습
concept Name = expression으로 개념을 정의합니다. 복합, 중첩, 형식 요구 사항을 포함한 연산 기반 제약 조건에는 requires 표현식을 사용합니다. &&와 ||를 사용하여 개념을 결합하면 풍부한 제약 조건을 표현할 수 있습니다.
자주 묻는 질문
“requires로 Concepts 정의하기” 강의는 무료인가요?
네 — “requires로 Concepts 정의하기” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“requires로 Concepts 정의하기”에서 뭘 배우나요?
requires 표현식과 제약 조건을 사용해 사용자 지정 Concepts를 정의합니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.
“requires로 Concepts 정의하기” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- Concepts와 SFINAE를 비교하는 이유
- requires로 Concepts 정의하기
- 템플릿과 auto에서 Concepts 사용하기
- 일반 표준 Concepts: Integral, Ranges