如何创建一个多次使用值的宏,而不复制它？

Question

我想创建一个宏,将一对解包为两个局部变量.如果它只是一个变量,我想不创建该对的副本,这将实现:

#define UNPACK_PAIR(V1, V2, PAIR) \
    auto& V1 = PAIR.first; \
    auto& V2 = PAIR.second;

UNPACK_PAIR(one, two, x);

但是,我也希望它不要评估多次给出的表达式,例如这应该只调用expensive_computation()一次:

UNPACK_PAIR(one, two, expensive_computation());

如果我做:

#define UNPACK_PAIR_A(V1, V2, PAIR) \
    auto tmp = PAIR; \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

然后它适用于expensive_computation()案例,但它在x案件中复制.如果我做:

#define UNPACK_PAIR_R(V1, V2, PAIR) \
    auto& tmp = PAIR; \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

然后它在x没有复制的情况下工作,但在这种expensive_computation()情况下失败.如果我做:

#define UNPACK_PAIR_CR(V1, V2, PAIR) \
    const auto& tmp = PAIR; \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

#define UNPACK_PAIR_RR(V1, V2, PAIR) \
    auto&& tmp = PAIR; \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

这些都是编译和运行,但我怀疑它们会调用未定义的行为 - 我对此是否正确？另外,这些中的任何一个都有意义吗？

#define UNPACK_PAIR_RR(V1, V2, PAIR) \
    auto&& tmp = std::move(PAIR); \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

#define UNPACK_PAIR_RR(V1, V2, PAIR) \
    auto&& tmp = std::forward<decltype(PAIR)>(PAIR); \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

---

有没有办法创建一个适用于这两种用例的宏 - x在给定表达式或函数调用的结果时,还没有复制还没有调用未定义的行为？

Answer 1

你不需要一个宏.

auto p = std::make_pair(2, 3);
int x, y;
std::tie(x, y) = p;

如果要引用一对现有成员:

auto p = std::make_pair(2, 3);
auto& x = p.first;
auto& y = p.second;

而已.

现在,您可以继续进行更具挑战性/有趣/重要的事情.

Answer 2

auto&&创建一个转发引用，即它接受任何内容。它并不（总是）创建右值引用。所以就这样做：

#define UNPACK_PAIR(V1, V2, PAIR) \
    auto&& tmp = PAIR; \
    auto& V1 = tmp.first; \
    auto& V2 = tmp.second;

但是，我强烈建议反对这种做法（除非使用的范围UNPACK_PAIR非常有限并且该操作在该范围内确实普遍存在）。它看起来像默默无闻，对我来说没有任何真正的好处。想象一下 6 个月后返回该项目，只用了两个小时就发现了一个关键错误。您会感谢自己使用非标准的基于宏的语法而不是可读的语法吗？