4

我在 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”模板。

感谢您的回答。

4

2 回答 2

7

简单类型别名可用于应用于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 };
}
于 2012-10-05T09:03:41.247 回答
0

感谢 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);
}

我也认为将引用绑定到元组中

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。

于 2012-10-08T08:57:56.500 回答