将std元组解包为指针

Unpacking a std tuple into pointers?

本文关键字:指针 std 元组      更新时间:2023-10-16

假设我有一个元组

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的语法相比,这似乎太蹩脚了。是否有其他的方法来获得指针/引用的元组组件?

给定通常的索引基础设施:

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);

下面是一个的实例

下面这些呢?

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)删除它,但我认为在某些情况下可能会破坏常量正确性。