c++ - 将右值转换为 const 指针是否有效 C++？

Question

在匆忙的时刻，需要一个指向对象的指针来传递给函数。我获取了一个未命名的临时对象的地址，令我惊讶的是它编译了(原始代码的警告进一步降低并且缺乏下面示例中存在的 const 正确性)。出于好奇，我设置了一个始终带有警告的受控环境，并在 Visual Studio 2013 中将警告视为错误。

考虑以下代码:

class Contrived {
  int something;
};

int main() {
  const Contrived &r  = Contrived();                    // this is well defined even in C++03, the object lives until r goes out of scope
  const Contrived *p1 = &r;                             // compiles fine, given the type of r this should be fine. But is it considering r was initialized with an rvalue?
  const Contrived *p2 = &(const Contrived&)Contrived(); // this is handy when calling functions, is it valid? It also compiles
  const int       *p3 = &(const int&)27;                // it works with PODs too, is it valid C++?

  return 0;
}

三个指针初始化或多或少都是一回事。问题是，这些初始化在 C++03、C++11 或两者下是否有效？考虑到围绕右值引用进行了大量工作，我单独询问 C++11 以防发生变化。像上面的例子那样分配这些值似乎不值得，但值得注意的是，如果将这些值传递给采用常量指针的函数并且您没有合适的对象或感觉不到，这可以节省一些输入就像在上面的一行上制作一个临时对象。

编辑:
根据以上答案，C++03 和 C++11 是有效的。我想就生成的对象的生命周期提出一些额外的说明。

考虑以下代码:

class Contrived {
  int something;
} globalClass;
int globalPOD = 0;

template <typename T>
void SetGlobal(const T *p, T &global) {
  global = *p;
}

int main() {
  const int *p1 = &(const int&)27;
  SetGlobal<int>(p1, globalPOD);              // does *p still exist at the point of this call?

  SetGlobal<int>(&(const int&)27, globalPOD); // since the rvalue expression is cast to a reference at the call site does *p exist within SetGlobal

  // or similarly with a class
  const Contrived *p2 = &(const Contrived&)Contrived();
  SetGlobal<Contrived>(p2, globalClass);
  SetGlobal<Contrived>(&(const Contrived&)Contrived(), globalClass);

  return 0;
}

问题是对 SetGlobal 的一个或两个调用是否有效，因为它们正在传递一个指向对象的指针，该对象将在 C++03 或 C++11 标准下的调用期间存在？

Answer 1

右值 是一种表达式，而不是一种对象。我们正在谈论由 Contrived() 创建的临时对象，说“这个对象是右值”是没有意义的。创建对象的表达式是右值表达式，但这是不同的。

尽管所讨论的对象是一个临时对象，但它的生命周期已经延长了。使用表示它的标识符 r 对对象执行操作是完全没问题的。表达式 r 是一个左值。

p1 没问题。在 p2 和 p3 行中，引用的生命周期在该完整表达式的末尾结束，因此临时对象的生命周期也在该点结束。因此，在后续行中使用 p2 或 p3 将是未定义的行为。初始化表达式可以用作函数调用的参数，如果这就是你的意思。