如何测试表达式是否是临时的？

Question

使用以下宏：

#define ASSERT_IF_TEMP(expr) static_assert(?, "Is temporary!");

我应该为问号添加什么？

Answer 1

首先我们要澄清：“暂时”是什么意思？

当很多人说暂时的时候，他们的意思是不同的。从技术上讲，int() 不是临时的，但大多数人会将它们包含在自己对该术语的含义中。从技术上讲，给定 std::string s;，那么 move(s) 也不是临时的，但您可能希望将其与宏视为一个。

我上面提到的第一种“临时变量”实际上是“纯右值表达式”。这些是 std::string("foo") 或 int() 之类的东西，但不是 move(s) 并且（当然）不是s之类的东西。 decltype 运算符为我上面谈到的第一种“临时变量”生成非引用类型。对于第二种，move(s)，即 xvalues，它将产生一个右值引用。对于“非临时对象”，即 s 情况，它将产生一个左值引用。

总而言之，我将定义三个精确的宏，您可以从中选择

#define IS_LVALUE(...) std::is_lvalue_reference<decltype((__VA_ARGS__))>::value
#define IS_XVALUE(...) std::is_rvalue_reference<decltype((__VA_ARGS__))>::value
#define IS_PRVALUE(...) !std::is_reference<decltype((__VA_ARGS__))>::value

Answer 2

编辑

我意识到我的方法与您所说的代码执行的操作完全相同，只是逻辑上颠倒了：

std::is_lvalue_reference<decltype((expr))>::value

您能否详细说明在何种情况下它会违背您的预期？

---

您可以像这样利用引用折叠规则：

std::is_rvalue_reference<decltype((expr))&&>::value

如果 expr 是某种（可能是 const）类型 T 的左值，则 decltype((expr)) 将解析为 T&，并且 T& && 将折叠回 T&。

否则，如果 expr 是某种类型 T 的 xvalue，则 decltype((expr)) 将是 T&&代码>和<代码>T&& && 将减少为 T&&。

否则，expr 将是某种类型 T 的纯右值，decltype((expr)) 将产生 T，因此整个类型将是T&&。

示例：

template <typename T>
struct is_rvalue : std::is_rvalue_reference<T&&>
{};

struct x {};
x a; const x b{};

static_assert(is_rvalue<decltype((x()))>::value, "x() is an rvalue");
static_assert(!is_rvalue<decltype((a))>::value, "a is an lvalue");
static_assert(!is_rvalue<decltype((b))>::value, "b is an lvalue");
static_assert(is_rvalue<decltype((std::move(a))>::value, "std::move(a) is an rvalue");