Question

在以下类模板中，我想在 reverse-oder 中使用参数包b的值初始化成员数组vv！

template<typename T>
struct Test {
public:
    template<typename... B>
    explicit Test(B... vv) : b{vv...,} // how to initialize member b with pack expansion v... in reverse order
    {
    }
private:
    std::byte b[sizeof(T)];
};

我无法想象如何在表单中反转参数包扩展，它在初始化列表中也可以使用。

Answer 1

使用委托构造函数，您可以执行以下操作：

template<typename T>
struct Test {
    template <std::size_t...Is, typename... B>
    Test(std::index_sequence<Is...>, B&&... vv) :
        b{std::get<sizeof...(Is) - 1 - Is>(std::tie(vv...))...}
    {}

public:
    template<typename... B>
    explicit Test(B... vv) : Test(std::index_sequence_for<B...>{}, vv...) {}
private:
    std::byte b[sizeof(T)];
};

Answer 2

鉴于b是非静态数据成员，以下更紧凑的版本可能在优化后变为等效（*）：

template<typename T>
struct Test {
public:
    template<typename... B>
    explicit Test(B... vv){ auto rb = std::rbegin(b); ((*rb++ = vv),...); }
private:
    char b[sizeof(T)];
};

（*）除非，当constexpr ...时，Jarod42的解决方案最终会被数据部分中已经颠倒过的B＆＃39翻译过来。

编辑：看起来主干clang和gcc都非常聪明，可以将反转的B放在Jarod42代码和我的代码中的两个中！

Answer 3

您使用index_sequence以相反的顺序提取项目：

#include <array>
#include <iostream>
#include <utility>
#include <cstddef>

template<::std::size_t... VIndexes> constexpr auto
Make_ReversedArrayOfBytes_Impl
(
    ::std::index_sequence<VIndexes...>
,   ::std::array<::std::byte, sizeof...(VIndexes)> bytes
)
{
    return
    (
        ::std::array<::std::byte, sizeof...(VIndexes)>
        {
            bytes[sizeof...(VIndexes) - 1 - VIndexes]...
        }
    );
}

template<typename... TItems> constexpr auto
Make_ReversedArrayOfBytes(TItems... bytes)
{
    return
    (
        Make_ReversedArrayOfBytes_Impl
        (
            ::std::make_index_sequence<sizeof...(TItems)>()
        ,   ::std::array<::std::byte, sizeof...(TItems)>
            {
                static_cast<::std::byte>(bytes)...
            }
        )
    );
}

int main()
{
    constexpr const auto items{Make_ReversedArrayOfBytes(0, 1, 2, 3, 4)};
    for(auto const & item: items)
    {
        ::std::cout << static_cast<::std::size_t>(item) << ::std::endl;
    }
    return 0;
}

Run in online compiler

编译时反转参数包扩展

3 个答案: