Извлечь только список типов аргументов из decltype (someFunction)
У меня есть шаблон переменной, который представляет список параметров для функции, например:
void myFunc (int,int,std::string) { }
template<typename... Args> class MyTemplateClass { };
...
MyTemplateClass<int,int,std::string> myConcrete; // for use with myFunc later
Есть ли способ, которым я могу извлечь только типы аргументов из decltype (func), чтобы избавить от необходимости писать их вручную, например:
MyTemplateClass<something_like_decltype(myFunc)> myConcrete;
то есть decltype в этом случае даст мне «void (int, int, string)», но есть ли способ извлечь только часть «int, int, string» для использования в шаблоне variadic?
Примечание: я должен использовать метод шаблона variadic, потому что внутри шаблона он выполняет обработку каждого типа аргумента по очереди.
Решение
Следующее должно работать:
template<template<typename...> class C,typename T>
struct apply_args;
template<template<typename...> class C,typename R,typename... Args>
struct apply_args<C, R(Args...) >
{
typedef C<Args...> type;
};
typedef apply_args<MyTemplateClass,decltype(myFunc)>::type MyConcrete;
MyConcrete myConcrete;
Другие решения
Вот альтернатива (заимствование идей из Дэниел Фрей«s решение) используя шаблон функции, а не шаблон класса:
template <template<typename...> class C, typename R, typename... Args>
C<Args...> apply_args(R(Args...));
void f(int, bool);
using MyPair = decltype(apply_args<std::pair>(f)); // = std::pair<int, bool>
MyPair myPair{42, false};
редактировать: Комментарии к моему решению x Дэниел Фрей:
Мой экономит печатать. Его более идиоматично. Действительно, в C ++ метапрограммирование
«функция» (или мета-функция), которая принимает типы и возвращает тип
(обычно) реализован как шаблон класса, член которого type дает
вернуть. По этой причине я предпочитаю его решение.