Question

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

对于我的程序来说非常重要的是元组元素的构造函数是按从左到右的顺序调用的（否则它最多会变得非常混乱）。

以下是我的程序的简化版本：

#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;
}

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

程序的输出是

Element

但我想颠倒这个顺序。

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

Answer 1

标准中没有要求std::tuple成员初始化的顺序，我担心。

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

#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

Answer 2

对于任何对解决方案感兴趣的人，我想出了一种控制初始化顺序并保留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_t s（initer）的元组，使用initer的第一个元素构造包含Elems...的第一个元素的元组，然后删除第一个元素initer并将剩余的元组传递给自身，这会导致使用initer中的下一个元素构造具有Elems...的下一个元素的元组。对于具有一个元素的元组，func_impl的重载会停止此递归，该元素只是从元组中的initer_t构造该元素并返回它。这个单元素元组与前一个元素连接到元组，结果返回到更高级别并连接到那里的单元素元组，依此类推。

在构造std :: tuple时定义元素初始化顺序

2 个答案: