Как при помощи type traits или концептов понять, что тип std::optional<int>
и std::optional<double>
- это инстанцирование одного и того же класса std::optional
? Как написать функцию, которая бы принимала функцию, которая возвращает std::optional<T>
, где T - это любой его тип? У меня загвоздка именно в том, что я не знаю как определить, что функция возвращает именно optional
.
Добавить комментарий
|
1 ответ
template <typename T> struct IsStdOptional : std::false_type {};
template <typename T> struct IsStdOptional<std::optional<T>> : std::true_type {};
Дальше как угодно. Можно в лоб:
template <typename F>
void foo(F &&func) requires IsStdOptional<decltype(std::forward<F>(func)())>::value {}
Можно так:
template <typename T>
concept StdOptional = IsStdOptional<T>::value;
template <typename F>
void foo(F &&func) requires requires{{std::forward<F>(func)()} -> StdOptional;} {}
-
Я со всей этой стандартной библиотекой уже забыл, что можно сделать свое) Commented 28 мая 2022 в 17:55
-
А насколько можно это сделать универсальным? Например
common_template<T, M>
, который вычислял бы общий тип двух его инстанцирований? Commented 28 мая 2022 в 18:04 -
1@ComeInRage Про общий тип не понял. Можно так, тогда
-> StdOptional
превращается в-> specialization_of<std::optional>
. Но есть минус -typename...
принимает только параметры-типы, поэтомуspecialization_of<std::array>
(у которого второй параметр - не тип) не работает. Чтобы поддерживать любые шаблоны, надо городить 2^N версий со всеми комбинациямиauto
иtypename
. Commented 28 мая 2022 в 18:16