1

我想将元素的初始化值存储在一个单独的元组内的元组中，以便我可以将相同的值用作相应类型的其他元组的预设值。

对我的程序来说，元组元素的构造函数以从左到右的顺序被调用是非常重要的（否则它充其量只会变得非常混乱）。

这是我的程序的简化版本：

#include <tuple>

// Elements are the end points of a Widget hierarchy
struct Element
{
    using initer_t = int;
    Element( const initer_t pIniter )
        :data{ pIniter }
    {
        printf("Creating %i\n", data);
    }
    const initer_t data;
};

// A Widget class stores any number of Elements and/or other Widget instances
template<typename... Elems>
    struct Widget
    {
        using initer_t = std::tuple<typename Elems::initer_t...>;
        Widget( const initer_t pIniter )
            :elements{ pIniter } 
        {}
        const std::tuple<Elems...> elements;
    };

int main()
{
    using Button = Widget<Element, Element>;
    using ButtonList = Widget<Button, Button, Element>;

    Button::initer_t basic_button_initer{ 0, 1 }; // presets for Buttons
    Button::initer_t other_button_initer{ 2, 3 }; 

    ButtonList::initer_t buttonlist_initer{ basic_button_initer, other_button_initer, 4 }; //a preset for a ButtonList

    ButtonList buttonlist{ buttonlist_initer };
    return 0;
}

所以我用in的构造函数初始化列表初始化std::tuple<Elems...> elements成员。这应该使用 pIniter 中的值定义的类型的相应初始化值来初始化每个元素。类型是 Widget 层次结构中每个成员的类型（例如 a或 an ），它是层次结构成员应该初始化的类型。但是发生这种情况的顺序是从右到左，而我需要从左到右。Widget<Elems...>std::tuple<typename Elems::initer_t...>Widget<Elems...>elementsiniter_tiniter_tWidget<typename...>Element

程序的输出是

Creating 4
Creating 3
Creating 2
Creating 1
Creating 0

但我想颠倒这个顺序。

在这种情况下我该怎么做？

4

2 回答 2

2

std::tuple恐怕标准中对成员初始化的顺序没有要求。

tuple您可以按特定顺序迭代 a ，例如：

#include <tuple>
#include <iostream>

#include <boost/fusion/adapted/std_tuple.hpp>
#include <boost/fusion/algorithm/iteration/for_each.hpp>

int main()
{
    auto a = std::make_tuple(true, 42, 3.14, "abc");
    boost::fusion::for_each(a, [](auto& value) {
            std::cout << value << '\n';
        });
}

输出：

1
42
3.14
abc
于 2018-03-21T19:22:46.010 回答
1

对于任何对解决方案感兴趣的人，我想出了一种方法来控制初始化顺序并保留 的常量elements：

#include <tuple>

template<typename... Elems>
    struct construct 
    {
        template<size_t... Ns, typename Head, typename... Rest>
            static constexpr const std::tuple<Rest...> 
                drop_head_impl( const std::index_sequence<Ns...> ns, 
                    const std::tuple<Head, Rest...> tup )
            {
                return std::tuple<Rest...>( std::get<Ns + 1u>( tup )... );
            }

        template<typename Head, typename... Rest>
            static constexpr const std::tuple<Rest...> 
                drop_head( const std::tuple<Head, Rest...> tup )
            {
                return drop_head_impl( std::make_index_sequence<sizeof...(Rest)>(), tup );
            }

        template<typename Head>
            static constexpr const std::tuple<Head> 
                func_impl( const std::tuple<typename Head::initer_t> initer )
            {
                return  std::tuple<Head>( { std::get<0>( initer ) } ); 
            }

        template<typename Head, typename Next, typename... Rest>
            static constexpr const std::tuple<Head, Next, Rest...> 
                func_impl( const std::tuple<typename Head::initer_t, typename Next::initer_t, typename Rest::initer_t...> initer )
            {
                std::tuple<Head> head( { std::get<0>( initer ) } ); 
                return std::tuple_cat( head, func_impl<Next, Rest...>( drop_head(initer) ) );
            }

        static constexpr const std::tuple<Elems...> 
            func( const std::tuple<typename Elems::initer_t...> initer )
        {
            return func_impl<Elems...>( initer );
        }
    };

// Elements are the end points of a Widget hierarchy
struct Element
{
    using initer_t = int;
    Element( const initer_t pIniter )
        :data{ pIniter }
    {
        printf( "Creating %i\n", data );
    }
    const initer_t data;
};

// A Widget class stores any number of Elements and/or other Widget instances
template<typename... Elems>
    struct Widget
    {
        using initer_t = std::tuple<typename Elems::initer_t...>;
        Widget( const initer_t pIniter )
            :elements( construct<Elems...>::func( pIniter ) ) 
        {}
        const std::tuple<Elems...> elements;
    };

int main()
{
    using Button = Widget<Element, Element>;
    using ButtonList = Widget<Button, Button, Element>;

    Button::initer_t basic_button_initer{ 0, 1 }; // presets for Buttons
    Button::initer_t other_button_initer{ 2, 3 }; 

    ButtonList::initer_t buttonlist_initer{ basic_button_initer, other_button_initer, 4 }; //a preset for a ButtonList

    ButtonList buttonlist{ buttonlist_initer };
    return 0;
}

该construct结构采用initer_ts (initer) 的元组，构造一个包含Elems...使用 initer 的第一个元素的第一个元素的元组，然后丢弃 initer 的第一个元素并将剩余的元组传递给自身，从而导致一个具有下一个元素的元组Elems...使用 initer 中的下一个元素构造。这个递归是通过一个元素的重载来停止的，该func_impl元素简单地从元组中的元素构造该元素initer_t并返回它。这个单元素元组被连接到具有前一个元素的元组，结果返回到更高级别并连接到那里的单元素元组，依此类推。

于 2018-03-23T11:26:16.367 回答