Question

我在stl元组的帮助下为某些变量实现了保存/恢复功能，如下所示：

double a = 1, b = 2;
int c = 3;
auto tupleRef = std::make_tuple(std::ref(a), std::ref(b), std::ref(c));

// here I'm saving current state of a, b, c
std::tuple<double, double, int> saved = tupleRef;

//here goes block of code, where a, b, and c get spoiled
......................
//

//now I'm restoring initial state of a, b, c
tupleRef = savedTuple;

此代码效果很好。但不是在

中明确指定元组成员类型

std::tuple<double, double, int> saved = tupleRef;

我想删除所有tupleRef成员的引用，如下面的

auto saved = remove_ref_from_tuple_members(tupleRef);

我相信可以为此编写“remove_ref_from_tuple_members”模板。

感谢您的回答。

Answer 1

可以使用简单类型别名将std::remove_reference应用于元组中的所有类型。

template <typename... T>
using tuple_with_removed_refs = std::tuple<typename std::remove_reference<T>::type...>;

有了这个，您现在可以编写功能模板：

template <typename... T>
tuple_with_removed_refs remove_ref_from_tuple_members(std::tuple<T...> const& t) {
    return tuple_with_removed_refs { t };
}

Answer 2

感谢R. Martinho Fernandes，他的代码我能够修改为在Visual Studio中编译，其中元组被硬编码为10个类型的模板，其中未使用的类型为空结构。

#define _RR_(x) typename std::remove_reference<x>::type
#define _no_ref_tuple_  std::tuple<_RR_(T0), _RR_(T1), _RR_(T2), _RR_(T3), _RR_(T4), _RR_(T5), _RR_(T6), _RR_(T7), _RR_(T8), _RR_(T9)>

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9>
_no_ref_tuple_ map_remove_ref(std::tuple<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> const& t) 
{
    return _no_ref_tuple_(t);
}

我也认为将refs绑定到元组中就像在

中一样

auto tupleRef = std::make_tuple(std::ref(x_0), ..., std::ref(x_n));

可以减少冗长：

auto tupleRef = std::forward_as_tuple(x_0, ..., x_n);

但这又不会在VS中起作用，因为没有std :: forward_as_tuple。

从std :: tuple成员中删除引用

2 个答案: