Блог

Как возможно реализовать следующую простую идею?

 template <typename ...Types>
void Function()
{ /* do something that depends on the Types */ }

void Test()
{

    using my_types = { int, float };    // not possible
    using my_types = int, float;        // alternative disallowed syntax
    Function<my_types>();
    
    Function<int,float>();              // OK, but I can't specify manually

}
  

Почему нет прямой поддержки для списков типов такого типа? Каков простой обходной путь?

Примечания

• это в общем контексте, где я не могу вручную указать нужные мне типы.
• Я не хочу передавать объекты этих типов в функцию. Они могут быть дорогими или просто не копируемыми.

Для пояснения варианта использования: пользователь определяет класс, подобный признаку, в котором он каким-то образом определяет список типов. Позже мне нужно обработать этот список. То, как он это определяет, все еще открыто. Итак, ищу простой способ сделать это. Нет необходимости в чрезмерно сложном шаблоне «объединить список типов во время компиляции», который можно найти где-то здесь.

Возможной альтернативой является определение своего рода оболочки типа (как std::tuple но которая абсолютно ничего не делает с аргументами шаблона)

 template <typename...>
struct type_wrapper
 { };
  

и объявляем Function() получение объекта этого типа

 template <typename ...Types>
void Function (type_wrapper<Types...> const amp;)
{ /* do something that depends on the Types */ }
  

таким образом, вы можете передать объект желаемой оболочки в Function() и позволить шаблонному вычету работать

 using my_wrapped_types = type_wrapper<int, float>;

Function(my_wrapped_types{}); 
  

Почему нет прямой поддержки для списков типов такого типа? Каков простой обходной путь?

Потому что есть std::tuple которые охватывают большинство вариантов использования и, как вы можете видеть, тривиально написать оболочку, когда вы хотите что-то более легкое.

Я не хочу передавать объекты этих типов в функцию.

Таким образом, вы передаете объект типа type_wrapper , но экземпляр ссылочного типа не создается.

Возможны обходные пути, в основном использующие std::tuple :

 template <typename... Types>
void Function()
{ /* do something that depends on the Types */ }

template <typename... Types>
struct FunctionHelper<std::tuple<Types...>>
{ void operator ()() const { Function<Types...>(); } };

void Test()
{
    using my_types = std::tuple<int, float>;
    FunctionHelper<my_types>{}();
}
  

Я не хочу передавать объекты этих типов в функцию

Возможный обходной путь — использовать struct для этого, как std::type_identity (C 20, но его легко переписать)

и затем

 void Test()
{
    constexpr auto types = std::tuple{std::type_identity<int>{}, std::type_identity<float>{}};
    std::apply([](auto... args){ Function<typename decltype(args)::type...>(); }, types);
}