Распаковка std кортежа в указатели?
Предположим, что у меня есть кортеж
std::tuple<A, B, C> myFavoriteTuple;
Я могу это сделать:
A a;
B b;
C c;
std::tie(a, b, c) = myFavoriteTuple
Но если некоторые из этих кортежей действительно дорого копировать, то мне бы очень хотелось, чтобы взять ссылку или указатель на правильные точки в моем кортеже. Я могу это сделать:
A* a = &std::get<0>(myFavoriteTuple);
B* b = &std::get<1>(myFavoriteTuple);
C* c = &std::get<2>(myFavoriteTuple);
Но это кажется настолько хромым по сравнению с тем, насколько сильным является синтаксис tie. Есть ли другой способ получить указатели/ссылки на компоненты кортежа?
Ответы
Ответ 1
Учитывая обычную инфраструктуру индексов:
template<int... Is>
struct seq { };
template<int N, int... Is>
struct gen_seq : gen_seq<N - 1, N - 1, Is...> { };
template<int... Is>
struct gen_seq<0, Is...> : seq<Is...> { };
Вы можете создать функцию, которая возвращает кортеж указателей, причем каждый элемент является указателем на соответствующий элемент входного кортежа:
template<typename... Args, int... Is>
auto make_pointer_tuple(std::tuple<Args...>& t, seq<Is...>)
-> std::tuple<typename std::add_pointer<Args>::type...>
{
return std::make_tuple(&std::get<Is>(t)...);
}
template<typename... Args>
auto make_pointer_tuple(std::tuple<Args...>& t)
-> std::tuple<typename std::add_pointer<Args>::type...>
{
return make_pointer_tuple(t, gen_seq<sizeof...(Args)>());
}
И вот как вы могли его использовать:
std::tuple<int, bool, std::string> myFavoriteTuple{0, false, ""};
int* pInt = nullptr;
bool* pBool = nullptr;
std::string* pString = nullptr;
tie(pInt, pBool, pString) = make_pointer_tuple(myFavoriteTuple);
Вот живой пример.
Ответ 2
Как насчет следующего?
template<typename T>
struct ptie
{
const T *ptr;
ptie()
:ptr(nullptr)
{}
void operator=(const T &x)
{
ptr = &x;
}
};
ptie<A> a;
ptie<B> b;
ptie<C> c;
std::tie(a, b, c) = myFavoriteTuple;
Затем вы можете использовать *a.ptr для доступа к объекту. Вы даже можете переопределить operator-> и т.д., Если вам это нравится.
Основной недостаток этого метода заключается в том, что он связывает элементы кортежа как const из-за operator=(const T&). Вы можете удалить его с помощью ptr = const_cast<T*>(x), но я думаю, что в некоторых случаях это может сломать const-correctness.
