将对象转换为引用？

Question

我最近一直在阅读一些 OSS 代码，并偶然发现了这篇奇特的文章：

class Foo { ..... };
void bar() {
    Foo x;
   Foo *y=new Foo();
   x=(const Foo &) *y;
}

在我的一生中，我找不到有关将对象强制转换为 const 引用的行为的文档。

Answer 1

x=(const Foo &) *y; 是赋值。我认为显式转换为 const 引用的唯一原因是如果 Foo::operator=(Foo &)< 则调用 Foo::operator=(const Foo &) 进行赋值/code> 也存在。

Answer 2

x=(const Foo &) y; 行调用未定义的行为。
更愿意避免 C 风格的强制转换；他们很容易出错。你让编译器静音，所以它们太危险了。

编辑：这个答案当时是相关的，在问题中，在转换为 const Foo & 之前没有取消引用 y 。 *y编辑后问题的答案请参见n0rd给出的答案

Answer 3

有趣的是，如果 Foo 有一个接受 Foo* 指针的非显式构造函数，误读代码仍然是可能的。

#include <iostream>

class Foo{
public:
  Foo() {}
  Foo(Foo*) { std::cout << "Aha!\n"; }
};

int main(){
  Foo* pf = new Foo;
  Foo f = (const Foo&)pf;

  std::cin.get();
}

请参阅 Ideone 的输出。
有趣的是，如果您显式构造函数，它会显示@usta 解释的未定义行为。

Answer 4

您必须在 y 之后声明 x：

Foo* y = new Foo();
Foo& x = *y;

或者：

Foo x;
Foo* y = new Foo();
x = (Foo&)*y;