是 C++ 中的临时对象确实是常量吗？

Question

我一直认为C++中的临时对象会被编译器自动视为const。但最近我经历了以下代码示例：

function_returning_object().some_non_const_method();

对 C++ 编译器有效。这让我想知道 - C++ 中的临时对象确实是 const 吗？如果是，那么为什么编译器认为上面的代码是正确的？

Answer 1

不，他们不是。除非您将返回类型声明为 const，否则不会。

Answer 2

这取决于。

int f();
const int g();

class C { };
C x();
const C y();

在使用 f() 和 g() 的情况下，返回值都不是 const，因为不存在非类类型的 const 限定右值。 g() 返回类型中的 const 完全无用（事实上，它比无用更糟糕，因为它在极少数情况下会导致模板实例化问题）。

对于x()，返回值不是const（因为它不是const 限定的）。对于y()，返回值是const（因为返回类型是const 限定的）。这里的 const 限定符（或缺少它）是有意义的，因为返回类型是类类型。

Answer 3

首先回答问题，它们实际上并不是 const。您不能将一个绑定到非常量引用。这样做可能是为了防止在某些情况下出现错误，在这些情况下，它们将作为参数传递给修改它们的函数，仅对临时对象而不是预期目标进行更改。

当您希望使用局部变量对临时变量调用“交换”时，允许对临时变量进行非常量操作特别有用。

std::vector<T> local;
method_that_returns_a_vector().swap( local );

在移动语义出现之前，这被认为是返回大型数据集并获取它而无需复制所有数据的最有效方法。

Answer 4

临时对象可以是 const，但并非必须如此。

((string const)"hello").append(" world"); // error!

它允许各种各样的事情。考虑一下

struct bitref {
  int index;
  bitref &operator=(bool value); // non-const!
};

struct bitset {
  int flags;
  // returns a bitref temporary that's associated with the bit
  // at index 'index'. 
  bitref operator[](int index); 
  // ...
};

您可以这样做

bitset b;
b[1] = true; // change second bit to 1

这就是 std::bitset 模板所做的事情。

Answer 5

临时对象不是 const，但它们只能绑定到 const 左值引用。很容易证明，允许临时变量绑定到非常量左值引用几乎在所有情况下都是不好的。即使您可以绑定对临时变量的引用，您也无法获取临时变量的地址，并且关于 C++03 中的临时变量，还会发生许多其他非常愚蠢的事情。很高兴 C++0x 很快就会到来......希望如此。

Answer 6

这完全取决于函数的返回类型。

//Temporary objects: nameless objects that are only usable in current statement
Object function();           //Return a temporary object by value (using copy constructor)
const Object function();     //Return a const temp object by value

//references, return a reference to an object existing somewhere else in memory
Object & function();         //Return an object reference, non-const behaves as any other non-const
const Object & functon();    //Return const obj reference, behaves as any other const