Инициализация std::tuple переменным числом аргументов

@Gorillych · Регистрация: 04.07.2013

Author24 — интернет-сервис помощи студентам

Добрый вечер.
Мне нужно инициализировать объект std::tuple, который является членом некоторого другого шаблонного класса с переменным числом аргументов.
Есть такой код, который, естественно, не компилируется:

C++

template<typename...Arg>
struct Base
{
    Base() : NumElems(sizeof...(Arg)), mems(std::make_tuple(Arg...)){}//std::make_tuple(Arg...) - это то, что мне хотелось бы получить в результате)))
    std::tuple<Arg...> mems;
    int NumElems;
};

Предполагается, что Arg - это некоторый список объектов разных классов, которые нужно создать и запихнуть в tuple<Arg...> mems.
У меня есть два вопроса:
1. Собственно, по вышеприведенному коду - как реализовать добавление объектов из списка Args в кортеж?
Например:

C++

struct A{};
struct B{};
struct C{};
Base<A,B,C> obj;

Нужно, чтобы при инициализации obj создались три объекта типа A,B и C и добавились в член mems.
2. Есть ли какой-нибудь способ "обхода" пакета Arg наподобие массиву (в цикле, например)?

Jupiter · 29.07.2013, 01:41

только для типов с constexpr конструтором

C++

#include <iostream>
#include <tuple>
 
template<typename... Args>
struct default_tuple_creator;
 
template<class T, typename... Args>
struct default_tuple_creator<T, Args...>
{
    static constexpr std::tuple<T, Args...> value = std::tuple_cat(std::make_tuple(T()), default_tuple_creator<Args...>::value);
};
 
template<class T>
struct default_tuple_creator<T>
{
    static constexpr std::tuple<T> value = std::make_tuple(T());
};
 
template<typename... Args>
std::tuple<Args...> default_constructed_tuple()
{
    return default_tuple_creator<Args...>::value;
}
 
template<typename... Args>
struct Base
{
    Base() 
    : mems(default_constructed_tuple<Args...>())
    , NumElems(sizeof...(Args))
    {}
    
    std::tuple<Args...> mems;
    int NumElems;
};
 
struct A 
{ 
    int a;  
    
    constexpr A() : a(100) {}
};
 
struct B 
{
    int b;
    
    constexpr B() : b(50) {}
};
 
struct C 
{
    int c;
};
 
 
int main()
{
   Base<A, B, C> obj;
 
   std::cout << std::get<0>(obj.mems).a 
             << std::get<1>(obj.mems).b 
             << std::get<2>(obj.mems).c 
             << std::endl;
    
   return 0;
}

@Gorillych · 29.07.2013, 02:18 **[ТС]**

Jupiter, кстати, вот так тоже работает как оказалось:

C++

template<typename...Arg>
struct Prc
{
    Prc() : mems(std::make_tuple(Arg()...)){}
  
    std::tuple<Arg...> mems;
 
};

@gray_fox · 29.07.2013, 02:28

Сообщение от Gorillych

Нужно, чтобы при инициализации obj создались три объекта типа A,B и C и добавились в член mems.

Я, если честно, не понял, если написать

C++

template<typename...Arg>
struct Base
{
    Base() : NumElems(sizeof...(Arg)) {}
 
    std::tuple<Arg...> mems;
    int NumElems;
};
 
int main() {
   struct A {};
   struct B {};
   struct C {};
 
   Base<A,B,C> obj;
}

объекты не создадутся или что?

@Gorillych · 29.07.2013, 02:31 **[ТС]**

gray_fox, а они разве добавятся в кортеж? К тому же, структуры A,B и C все-таки не в main будут определяться.

Jupiter · 29.07.2013, 02:37

Не по теме:

Сообщение от gray_fox

объекты не создадутся или что?

я огород нагородил..:D пора спать

@gray_fox · 29.07.2013, 02:40

Gorillych, ну члены mems будут сконструированны (value-initialized вроде), если про это; либо я не понял...

Добавлено через 1 минуту

Сообщение от Gorillych

К тому же, структуры A,B и C все-таки не в main будут определяться.

не суть...

@Gorillych · 29.07.2013, 19:01 **[ТС]**

Если кому интересно - ниже реализация гетерогенного контейнера, наподобие boost::any. Можно обходить элементы контейнера наподобие массивам, но в компайл-тайме:

C++

namespace static_iterator
{
    template <int... Idx>
    struct index { };
 
    template <int N, int... Idx>
    struct sequence : sequence<N - 1, N - 1, Idx...> { };
 
    template <int... Idx>
    struct sequence<0, Idx...> : index<Idx...> { };
}
 
 
 
struct A {void prnt(){std::cout<<"A\n";} };    
struct B {void prnt(){std::cout<<"B\n";} };    
struct C {void prnt(){std::cout<<"C\n";} };
 
template<typename...Arg>
class HeterogenousContainer
{
public:
    HeterogenousContainer() : 
            number_elems(sizeof...(Arg)), 
            elements(std::make_tuple(Arg()...)){}
 
    std::tuple<Arg...> elements;
 
    template <int... Idx>
    void process(static_iterator::index<Idx...>)
    {
         auto aux = { (std::get<Idx>(elements).prnt(), 0) ... };
    }
 
    void process()
    {
        process(static_iterator::sequence<sizeof...(Arg)>());
    }
    
    unsigned int get_number_elements(){return number_elems;}
    
private:
    unsigned int number_elems;
};
int main()
{  
    HeterogenousContainer<A,B,C,A,A,B,C,B,B,C> obj;
    obj.process();
}

@gray_fox · 29.07.2013, 19:26

Gorillych, я до сих пор не понял, чем

C++

1
2
3

HeterogenousContainer() : 
            number_elems(sizeof...(Arg)), 
            elements(std::make_tuple(Arg()...)){}

отличается от

C++

1 2	HeterogenousContainer() : number_elems(sizeof...(Arg)) {}

?

Jupiter · 29.07.2013, 19:32

Сообщение от Gorillych

C++

1
2
3

HeterogenousContainer() : 
    number_elems(sizeof...(Arg)), 
    elements(std::make_tuple(Arg()...))

gray_fox, ничем

Gorillych, если уж делаешь список инициализации то инициализируй поля в том порядке, в котором они объявлены в классе т.е.

C++

1
2
3

HeterogenousContainer() : 
    elements(std::make_tuple(Arg()...)),
    number_elems(sizeof...(Arg))

хотя тут это особой роли не играет, но лучше всегда придерживаться этого

@Gorillych · 29.07.2013, 19:34 **[ТС]**

gray_fox, ну как же. Я чего хотел добиться: в параметрах шаблона HeterogeneousContainer мы указываем список объектов классов, которые мы бы хотели добавить в контейнер. Далее в списке инициализации мы в кортеж добавляем экземпляры объектов перечисленных классов. Если убрать elements(std::make_tuple(Arg()...)), то кортеж будет пустой. Это получается что-то вроде:

C++

1	std::vector<boost::any> obj;

только полностью в компайле и обход поэлементный тоже в компайле.

P.S. Попробуйте скомпилировать c elements(std::make_tuple(Arg()...)) и без

@ForEveR · 29.07.2013, 19:39

Gorillych, И? https://ideone.com/3bdwJx
Отличий никаких, просто потому, что в кортеже все аргументы будут созданы, используя дефолтный конструктор, ровно это же делает и ваша конструкция.
Это, не то что вы сказали, это

C++

1	std::vector<boost::variant<A, B, C>>

, any тут ни при чем.

@Gorillych · 29.07.2013, 19:42 **[ТС]**

ForEveR, хм....
У меня не компилится почему-то
З.Ы. Все нормально))) Не то делал. Получается, действительно не нужно. Это очень даже хорошо

@gray_fox · 29.07.2013, 19:44

Сообщение от Gorillych

то кортеж будет пустой

Да нет... если надо "пустой", то что-нибудь вроде

C++

1	std::tuple<boost::optional<Arg>...> mems;

тогда разница будет между

C++

mems()

и

C++

1	mems(Arg()...)

@Gorillych · 29.07.2013, 19:48 **[ТС]**

gray_fox, да, понял.

Добавлено через 3 минуты
gray_fox, а вот интересно: если у структур A B C будут конструкторы не по умолчанию, с параметрами, как тогда быть?

@ForEveR · 29.07.2013, 19:49

Gorillych, Тогда, так как сделали вы +-.

@Gorillych · 29.07.2013, 19:50 **[ТС]**

ForEveR, т.е. здесь уже явно нужен будет make_tuple, да?

@gray_fox · 29.07.2013, 19:54

Gorillych, эмм, наверное так

C++

1 2	template<typename ...Other> Base(Other && ...other) : mems(std::forward<Other>(other)...) {}

@ForEveR · 29.07.2013, 19:55

Gorillych, Можно и конструктор просто вызвать...

@Gorillych 15 / 15 / 3 Регистрация: 04.07.2013 Сообщений: 76
	29.07.2013, 19:48 [ТС]	15
	gray_fox, да, понял. Добавлено через 3 минуты gray_fox, а вот интересно: если у структур A B C будут конструкторы не по умолчанию, с параметрами, как тогда быть? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	29.07.2013, 19:49	16
	Gorillych, Тогда, так как сделали вы +-. 0

@Gorillych 15 / 15 / 3 Регистрация: 04.07.2013 Сообщений: 76
	29.07.2013, 19:50 [ТС]	17
	ForEveR, т.е. здесь уже явно нужен будет make_tuple, да? 0

@Gorillych 15 / 15 / 3 Регистрация: 04.07.2013 Сообщений: 76
	29.07.2013, 02:31 [ТС]	5
	gray_fox, а они разве добавятся в кортеж? К тому же, структуры A,B и C все-таки не в main будут определяться. 0

Jupiter
	29.07.2013, 02:37 #6
	Не по теме: Сообщение от gray_fox объекты не создадутся или что? я огород нагородил..:D пора спать 0

@gray_fox What a waste! 1608 / 1300 / 180 Регистрация: 21.04.2012 Сообщений: 2,729
	29.07.2013, 02:40	7
	Gorillych, ну члены mems будут сконструированны (value-initialized вроде), если про это; либо я не понял... Добавлено через 1 минуту Сообщение от Gorillych К тому же, структуры A,B и C все-таки не в main будут определяться. не суть... 0

@Gorillych 15 / 15 / 3 Регистрация: 04.07.2013 Сообщений: 76
	29.07.2013, 19:42 [ТС]	13
	ForEveR, хм.... У меня не компилится почему-то З.Ы. Все нормально))) Не то делал. Получается, действительно не нужно. Это очень даже хорошо 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	29.07.2013, 19:55	19
	Gorillych, Можно и конструктор просто вызвать... 0