C++03 中的右值

Question

在 C++03 中如何判断给定参数是否为右值？我正在编写一些非常通用的代码，如果可能的话需要引用，否则需要构造一个新对象。我可以重载以按值和按引用并让右值返回调用按值函数吗？

或者我是否有一种非常恶心的感觉，这就是为什么右值引用出现在 C++0x 中？

编辑：

is_rvalue = !(is_reference || is_pointer) ？

Answer 1

显然有一种方法可以确定 C++03 中的表达式是右值还是左值（我说显然是因为我不确定我对这项技术的理解程度）。请注意，为了使该技术可用，几乎需要预处理器宏。 Eric Niebler 写了一篇很好的文章，介绍了它的工作原理以及如何在 BOOST_FOREACH 中使用它：

• 有条件的爱： FOREACH Redux

请注意，这篇文章的阅读量相当大（至少对我来说）；正如内布尔勒在其中所说：

毫无疑问，这是一个神秘的东西，但我们获得了一种强大的方法来检测任何表达式的右值和左值。

使用本文中描述的右值检测可能会帮助您至少处理 C++0x 的右值引用解决的一些问题。

Answer 2

如何判断给定参数是否为 C++03 中的右值？

你不能。你所能做的就是相信你的客户并欺骗：

void call_me_with_anything(const T& const_ref)
{
    /* read from const_ref */
}

void call_me_with_rvalue_only_please_i_trust_you(const T& const_ref)
{
    T& ref = const_cast<T&>(const_ref);
    /* write through ref */
}

我正在编写一些非常通用的代码

那么恐怕 C++03 无法满足您的需求。

Answer 3

或者我是否有一种非常恶心的感觉，这就是 C++0x 中存在右值引用的原因？

你是对的，你需要 C++0x 和右值引用来做到这一点。

我能想到的最接近的事情是通过常量引用获取某些内容，因为它可以绑定到左值或右值（如果右值需要构造一个临时值，它会这样做）。也就是说，您的代码将无法区分两者。

Answer 4

或者我是否有一种非常恶心的感觉，这就是 C++0x 中存在右值引用的原因？

是的。这正是它们被添加到 C++0x 中的原因。
您无法在 C++ 中创建重载来区分右值和左值。

Answer 5

我正在编写一些非常通用的代码，并且需要在可能的情况下获取引用，否则需要构造一个新对象。

这不是您想要的吗？

void f(T& t);
void f(T const& t);

注意...

T t; f(t); // calls f(T&)
f(T()); // calls f(T const&)