Еще вопрос задам - как можно разрешить ситуации, когда необходимы

Question

pro.cxx

[[deprecated]] Joshua Jakowlew

Еще вопрос задам - как можно разрешить ситуации, когда необходимы

специализации для rank1 и rank2 (потенциально rank-n) типов?

https://godbolt.org/z/6hWjbjshG

#c++ #embedded #programming #russian

0

15.06.2022

6 ответов

15 просмотров

[[deprecated]] Joshua Jakowlew Автор вопроса

Denis P
а почему в основном шаблоне оба типа сразу не пров...

Кстати, как в одном шаблоне это можно проверить сразу? В голову такое пришло, но тут рекурсивная зависимость template <typename T> requires std::same_as<T, Nothing> || std::same_as<T, Just<T>> struct Maybe;

0

15.06.2022

Denis P

[[deprecated]] Joshua Jakowlew
Кстати, как в одном шаблоне это можно проверить ср...

для Just надо отдельно отдельно вынести трейт

0

15.06.2022

Kelbon

[[deprecated]] Joshua Jakowlew
Кстати, как в одном шаблоне это можно проверить ср...

как только у вас в requires возникает same_as вы делаете что-то не так

0

16.06.2022