템플릿과 auto에서 Concepts 사용하기

세 가지 구문 복습

접두사 구문

template <std::integral T>
T add(T a, T b) { return a + b; }

requires 절 구문

template <typename T>
    requires std::integral<T> || std::floating_point<T>
T add(T a, T b) { return a + b; }

뒤따르는 requires 절

template <typename T>
class Container {
public:
    void sort() requires std::sortable<T> { /* ... */ }
};

축약 함수 템플릿

void greet(std::convertible_to<std::string> auto name) {
    std::cout << "Hello " << name;
}

여러 auto 매개변수

auto multiply(std::integral auto a, std::integral auto b) {
    return a * b;
}

클래스 템플릿과 개념

template <std::movable T>
class Buffer { /* ... */ };

template <typename T>
    requires std::default_initializable<T>
class Storage { /* ... */ };

제약 조건이 있는 람다(C++20)

auto print = []<std::integral T>(T x) {
    std::cout << x << " is integral";
};
print(42);

개념 기반 오버로드 결정

void process(std::integral auto x)       { std::cout << "int\n"; }
void process(std::signed_integral auto x) { std::cout << "signed\n"; }

process(42);    // calls signed_integral version

제약 조건이 있는 멤버 함수

template <typename T>
class Optional {
    T value_;
public:
    void clear() requires std::is_trivially_destructible_v<T> { /* fast */ }
    void clear() { /* general */ }
};

기본 초기화되는 제약 형식

스타일 가이드

빠른 확인

복습