Распаковка 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.