Сообщение Re[4]: template (синтаксис) больше не нужен? от 06.11.2023 19:29
Изменено 06.11.2023 19:31 rg45
Re[4]: template (синтаксис) больше не нужен?
Здравствуйте, Кодт, Вы писали:
К>А вот это как раз легко. Один день потерять, потом за пять минут долететь.
К>
А примерчик-то прямо в тему: для того, чтобы объявить концепт, сперва пришлось прибегнуть к SFINAE магии
К>А вот это как раз легко. Один день потерять, потом за пять минут долететь.
К>
К>template<class T> struct is_std_vector : std::false_type {};
К>template<class T> struct is_std_vector<std::vector<T>> : std::true_type {};
К>template<class T> concept StdVector = is_std_vector<T>::value;
К>void f(StdVector auto& v);
К>А примерчик-то прямо в тему: для того, чтобы объявить концепт, сперва пришлось прибегнуть к SFINAE магии
Re[4]: template (синтаксис) больше не нужен?
Здравствуйте, Кодт, Вы писали:
К>А вот это как раз легко. Один день потерять, потом за пять минут долететь.
К>
А примерчик-то прямо в тему: для того, чтобы объявить концепт, сперва пришлось прибегнуть к SFINAE магии
P.S. А, пардон, здесь обычная специализация, а не SFINAE. Но все равно это противоречит тезису, что шаблоны старого стиля больше не нужны.
К>А вот это как раз легко. Один день потерять, потом за пять минут долететь.
К>
К>template<class T> struct is_std_vector : std::false_type {};
К>template<class T> struct is_std_vector<std::vector<T>> : std::true_type {};
К>template<class T> concept StdVector = is_std_vector<T>::value;
К>void f(StdVector auto& v);
К>А примерчик-то прямо в тему: для того, чтобы объявить концепт, сперва пришлось прибегнуть к SFINAE магии
P.S. А, пардон, здесь обычная специализация, а не SFINAE. Но все равно это противоречит тезису, что шаблоны старого стиля больше не нужны.