Вложенное требование в C++
Внутри requires-выражения допустима
отдельная строка с ключевым словом requires.
Так связывают простые операции с уже готовым
стандартным концептом. Подключите
#include <concepts>, объявим
IntPlus и выведем сумму:
#include <concepts>
#include <iostream>
template<typename T>
concept IntPlus = requires(T a, T b) {
requires std::integral<T>;
a + b;
};
template<IntPlus T>
T add(T x, T y) {
return x + y;
}
int main() {
std::cout << add(6, 1) << "\n";
return 0;
}
Создайте концепт IntMul с вложенным
requires std::integral<T> и строкой
a * b. Выведите произведение 5
и 6 через шаблонную функцию.
