Как узнать размер каждого элемента вариативного шаблоны по отдельности?

Question

[IliaNeverov]

В функцию на место пакета параметров были переданы переменные float a,float a 2, MyClass a3, bool a4 как узнать размер каждой из этих переменных в самой функции?

Comments

[LoliDeveloper]

sizeof() ?

[IliaNeverov]

LoliDeveloper, извините я немного неправильно вопрос поставил
Я про пакет параметров

[LoliDeveloper]

IliaNeverov, А как вы формируете этот "пакет" перед передачей в функцию? Вы ведь знаете размеры этих переданых значений, нет?

[IliaNeverov]

LoliDeveloper, знаю

[LoliDeveloper]

IliaNeverov, А в чём проблема тогда? В самой функции пропишите где что лежит и reinterpret_castом создайте указатели на переданные объекты

[Wataru]

IliaNeverov, Что за пакет параметров?

[IliaNeverov]

Wataru, вариативные шаблоны

[IliaNeverov]

LoliDeveloper, дак туда может передаваться неограниченное количество параметров

Answer 1

[Даниил]

Необходим С++17, для C++11 это возможно через шаблонную рекурсию.Если надо, я поясню как её сделать.

template<typename ...Arg>
auto foo(){


    std::vector<unsigned int> _sizeofs;// массив с размерами каждого элемента
    ((_sizeofs.push_back(sizeof(Arg))),...);



}

Comments

[IliaNeverov]

Поясните пожалуйста

[Даниил]

IliaNeverov,
вот так это можно сделать на C++11, что непонятно-спрашивайте

#include <iostream>
#include <vector>
using namespace std;


/*задаём функцию,принимающие как шаблонные параметы число аргументов,
текущий тип и массив оставшихся
*/
template <int N,typename T,typename ...Arg>
struct _foo{
    static void _foreach(std::vector<uint> &v){
        //записываем в массив размер текущего типа
        v.push_back(sizeof(T));
        _foo<N-1,Arg...>::_foreach(v);//вызываем функцию снова
    }
};
//ограничение рекурсии
template <typename T,typename ...Arg>
struct _foo<1,T,Arg...>{
    static void _foreach(std::vector<uint> &v){
        v.push_back(sizeof(T));
    }
};


template <typename ...Arg>
void foo(std::vector<uint> &v){
    _foo<sizeof...(Arg),Arg...>::_foreach(v);
};



int main() {
    std::vector<uint> size_types;
    foo<int,float,double,char>(size_types);
    std::cout<<size_types.size()<<std::endl;
    return 0;
}

[Евгений Шатунов]

Даниил, IliaNeverov, внесу уточнение.

Для решения вопроса C++17 не обязателен. Согласно C++11, Variable Parameter Pack [?] раскрывается в секвенцию элементов, разделенных запятыми.
Простой пример для наглядности.