Hardconcepts
Что такое variadic concepts?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
В C++20 концепты могут быть variadic — применяться к пачкам типов через fold expression внутри requires.
template<class... Ts>
concept AllIntegral = (std::integral<Ts> && ...);
template<AllIntegral... Ts>
void f(Ts...); // все Ts должны быть целыми
// Требование к variadic-функции
template<class... Args>
requires (std::convertible_to<Args, std::string> && ...)
std::string concat(Args&&... args);- Позволяет выразить требования к variadic templates без SFINAE-магии;
- Делает generic-код выразительным для API с произвольным числом аргументов;
- До C++20 такие проверки требовали рекурсивных SFINAE-шаблонов.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.