在下面的类模板中,我希望使用反向程序中参数-pack 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)];
};我无法想象如何在表单中反转参数包展开,因为它在初始化程序列表中同样可用。
发布于 2017-11-15 09:41:20
通过委托构造函数,您可以执行如下操作:
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)];
};发布于 2017-11-15 10:01:59
如果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)];
};(*)除非,Jarod42的解决方案结束时,已经颠倒的B在数据部分时,议员.
编辑:看起来树干嘎吱声和gcc都很聪明,把倒置的B放在数据部分,不管是在Jarod42的代码中,还是在我的!
发布于 2017-11-15 09:48:20
您可以利用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;
}https://stackoverflow.com/questions/47303466
复制相似问题