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 ++吗？考虑到rvalue引用周围的大量工作，我会分别考虑C ++ 11以防万一。分配这些值似乎不值得，例如在上面的示例中，但值得注意的是，如果将这些值传递给一个持续指针的函数并且你没有适当的物体躺在周围，或者想在上面的一条线上做一个临时物体。

修改
根据答案，上面是有效的C ++ 03和C ++ 11。我想就产生的对象提出一些额外的澄清要点＆＃39;寿命。

请考虑以下代码：

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标准下调用期间将存在的对象？ / p>

Answer 1

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

即使有问题的对象是临时对象，其生命周期也已延长。使用表示它的标识符r对对象执行操作是完全正确的。表达式r是左值。

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

Answer 2

第一个是好的：表达式r实际上不是右值。

另外两个在技术上也是有效的，但要注意指针在完整表达式的末尾（分号处）变得悬空，并且任何使用它们的尝试都会表现出未定义的行为。

Answer 3

虽然通过const&传递右值是完全合法的，但您必须知道您的代码最终会在p2和p3中出现无效指针，因为他们指出的对象已经结束了。

为了举例说明，请考虑以下通常用于通过引用传递临时代码的代码：

template<typename T>
void pass_by_ref(T const&);

这样的函数可以用左值或右值作为参数调用（通常是）。在这个函数里面，你显然可以参考你的参数 - 它只是对const对象的引用...你基本上在没有函数帮助的情况下做同样的事情。

事实上，在C ++ 11中，你可以更进一步，获得一个指向临时的非const指针：

template<typename T>
typename std::remove_reference<T>::type* example(T&& t)
{
    return &t;
}

请注意，如果使用左值调用此函数，则返回值指向的对象将仅存在（因为其参数将变为typename remove_reference<T>::type& && typename remove_reference<T>::type&）。

将rvalue转换为const指针是有效的C ++吗？

3 个答案: