مراجعة قوالب الدوال والأصناف

لماذا القوالب؟

صياغة قالب الدالة

template <typename T>
T max_of(T a, T b) {
    return (a > b) ? a : b;
}

std::cout << max_of(3, 7);          // int
std::cout << max_of(2.5, 1.5);      // double

typename مقابل class

معاملات أنواع متعددة

template <typename T, typename U>
auto combine(T a, U b) -> decltype(a + b) {
    return a + b;
}

المعاملات غير النوعية

template <typename T, size_t N>
struct StaticArray {
    T data[N];
};

StaticArray<int, 10> arr;

قوالب الأصناف

template <typename T>
class Stack {
    std::vector<T> data_;
public:
    void push(T x) { data_.push_back(std::move(x)); }
    T pop()        { T t = std::move(data_.back()); data_.pop_back(); return t; }
};

Stack<int> s1;
Stack<std::string> s2;

دوال الأعضاء خارج الصنف

template <typename T>
class Stack {
public:
    void push(T x);
};

template <typename T>
void Stack<T>::push(T x) {
    data_.push_back(std::move(x));
}

المعاملات الافتراضية للقوالب

template <typename T = int>
class Box {
    T value;
};

Box<> b;       // T is int

استنتاج معاملات القالب

template <typename T>
void print(T x) { std::cout << x; }

print(42);          // T deduced as int
print("hello");    // T deduced as const char*
print<double>(3);   // explicit

استنتاج معاملات قالب الصنف (C++17)

std::pair p(1, 2.5);            // pair<int, double>
std::vector v{1, 2, 3};         // vector<int>

البحث على مرحلتين

رسائل الأخطاء

تحقق سريع

ملخص