lucid::Arithmetic Concept Reference

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

#include <concept.h>

Concept definition

template<class T>
concept lucid::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