การใช้ Concepts ในเทมเพลตและ auto

สรุปไวยากรณ์สามรูปแบบ

ไวยากรณ์แบบคำนำหน้า

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

ชนิดที่มีข้อจำกัดและค่าเริ่มต้น

แนวทางการเขียน

ตรวจสอบอย่างรวดเร็ว

สรุปทบทวน