Question

这是在使用Valgrind的服务器应用中发现的。

struct Foo
{
    Foo(const std::string& a)
        : a_(a_)
    {
    }
    const std::string& a_;
};

with gcc -Wall you don t get a warning. Why is this legal code?

Answer 1

您的曲线违反了<条码>8.3.2/4 A. ......参考书应先发至有效物体或功能。因此,这当然是非法的。

请注意,并非所有错误的方案都需由汇编者发现,尽管我真心会认为这是其中之一。

对于其价值而言,g++版本4.4.1,其最大编汇警告在未经警告的情况下接受该方案:

int main(void)
{   
    int *p = 0;
    *p = 5;
}

Answer 2

C /C++允许自签(而Id认为这在语言上是一种缺陷)。

从记忆模型的角度来看,Foo:a_ 只是一些记忆地点,在初始器清单中,它被分配到另一个记忆点的价值,不幸的是,在这个特殊情况下,这个地点是同一个地点。

C也存在类似的缺陷。

  void foo() 
  {
    int i = i;
  }