c++ - 可以传递匿名变量的地址吗？

Question

我一直使用匿名变量，当我不需要一个命名对象在整个当前范围内徘徊时。

我需要使用一个函数——在我的控制之外——它接受一个指针作为参数并且不进行 NULL 检查。我希望能够传递匿名变量的地址(因为我不关心在取消引用的地址处写入的值)，但遇到了编译错误。下面的简化示例...

#include <iostream>

void ptrFunc( const int* p )
{
  if ( p )
  {
    std::cout << "*p == " << *p << std::endl;
  }
}

void refFunc( const int& i )
{
  std::cout << "(ref)i == " << i << std::endl;
}

void valueFunc( int i )
{
  std::cout << "i == " << i << std::endl;
}

int main( int argc, char* argv[] )
{
  valueFunc( int() );   // This is fine.
  refFunc( int() );     // This is also fine.
  ptrFunc( &(int()) );  // This doesn't compile.
}

...生成此编译错误:

>g++ -g main.cpp 
main.cpp: In function 'int main(int, char**)':
main.cpp:25:19: error: lvalue required as unary '&' operand
   ptrFunc( &(int()) );  // This doesn't compile.
                   ^
>g++ --version
g++ (GCC) 4.8.3 20140911 (Red Hat 4.8.3-7)
Copyright (C) 2013 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

编译器错误非常可读:使用地址运算符需要左值。但我想知道社区是否可以帮助我理解此限制背后的基本原理。 似乎 在我看来，我的尝试使用合理地是合法的，因为匿名变量的生命周期取决于分号，即它在 ptrFunc() 的生命周期内是“活着的” .

我考虑过允许指向匿名变量的指针是否被认为是“危险的”，因为它们的生命周期会缩短。但实际上任何使用 if 指针——即使是左值或堆分配的对象都会遇到同样的问题:如果有人卡在任何指针上，它总是有可能指向无效内存的危险。指针的使用本质上取决于仔细的编码，我不认为这个尝试用例在这方面有什么特别不同。

我很想知道这背后的基本原理。谢谢。

我还尝试了什么？

尝试用gcc-4.9.2在线编译示例代码达到同样的效果；所以这个问题不是来自过时编译器的限制/错误。

Answer 1

But I'm wondering if the community can help me understand the rationale behind this restriction. It seems to me that my attempted use could reasonably be legal because the anonymous variable's lifetime is up to the semicolon, i.e. it is "alive" during ptrFunc()'s lifetime.

在这种情况下，是的，它会起作用。一般来说，不会。

引用导致临时对象的生命周期延长。指针没有。也就是说，给定:

int main() {
    const int & a = 1;
    int && b = 2;
    const int * c = &static_cast<const int &>(3); // don't do this
    return a + b - *c;
}

引用 a 和 b 继续引用有效对象。指针 c 没有，并且没有合理的方法可以在指针 是什么 的情况下没有显着的根本变化的情况下使生命周期延长规则适用于指针。它对于引用是可行的，因为引用是一种新的(与 C 相比)语言特性，并且作为一种新的语言特性，使它们不可变是没有问题的。指针有很多使用它们的现有代码，这些代码会因规则的更改而失效。