Здравствуйте, The Passenger, Вы писали:

TP>чисто ради интереса — чтож вы такое пишете, что вам может понадобится такое?

Да чего далеко ходить, вот тебе же понадобилось

Автор: The Passenger
Дата: 01.02 18:20

определить принадлежность типа к std::optional арифметического типа. Ну так вот это могло бы выглядеть примерно так:

template <typename T>
concept arithmetic = std::integral<T> || std::floating_point<T>;

template <typename T, template <typename> concept C>
concept optional_of = instance_of<T, std::optional> && C<optional_underlying_t<T>>;

void do_something(optional_of<arithimetic> auto&& opt_num) {/* . . . */}

Здравствуйте, The Passenger, Вы писали:

TP>чисто ради интереса — чтож вы такое пишете, что вам может понадобится такое?

Да чего далеко ходить, вот тебе же понадобилось

Автор: The Passenger
Дата: 01.02 18:20

определить принадлежность типа к std::optional арифметического типа. Ну так вот это могло бы выглядеть примерно так:

template <typename T>
concept arithmetic = std::integral<T> || std::floating_point<T>;

template <typename T, template <typename> concept C>
concept optional_of = instance_of<T, std::optional> && C<optional_underlying_t<T>>;

void do_something(optional_of<arithmetic> auto&& opt_num) {/* . . . */}