テンプレートとautoでconceptsを使う

3種類の構文のまとめ

プレフィックス構文

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 */ }
};

デフォルト初期化される制約付き型

スタイルガイド

確認問題

まとめ