smats::Arithmetic Concept Reference

#include <concepts.h>

Concept definition

template<class T>
concept smats::Arithmetic =  requires(T a, T b) {
  { a + b } -> std::convertible_to<T>;
  { a - b } -> std::convertible_to<T>;
  { a* b } -> std::convertible_to<T>;
  { a / b } -> std::convertible_to<T>;
}

Detailed Description

Check if the type T supports the arithmetic operations +, -, *, /

template <Arithmetic T>
void foo(T a, T b); // a and b can be added, subtracted, multiplied and divided with the corresponding operator

Template Parameters

T	type to check