المفاهيم والعقود العامة

#include <concepts>
#include <iostream>
#include <limits>
#include <stdexcept>
#include <type_traits>
template<std::integral T> requires (!std::same_as<std::remove_cv_t<T>, bool>)
T twice_checked(T value) {
    if (value > std::numeric_limits<T>::max() / 2 ||
        value < std::numeric_limits<T>::min() / 2) {
        throw std::out_of_range("doubling out of range");
    }
    return static_cast<T>(value * 2);
}
int main() {
    std::cout << twice_checked(4) << " " << twice_checked(5u) << "\n";
}

8 10

تلائم القيمتان حدود نوعيهما. يُنفّذ الضرب بعد الفحص فقط ولا تُستخدم نتيجة فاضت لكشف الفيض.

#include <concepts>
#include <cstddef>
#include <iostream>
#include <string>
#include <vector>
template<class T>
concept HasConstSize = requires(const T& value) {
    { value.size() } -> std::convertible_to<std::size_t>;
};
template<HasConstSize T>
std::size_t report_size(const T& value) { return value.size(); }
int main() {
    const std::string text{"code"};
    const std::vector<int> numbers{1, 2, 3};
    std::cout << report_size(text) << " " << report_size(numbers) << "\n";
}

4 3

تستوفي السلسلة والمتجه الثابتان تعبير الحجم. تعد النتيجة عناصر كل نوع ولا تعرّف طول نص عامًا.