将临时绑定到 c'tor 初始值设定项列表中的 const 引用

Question

C++03 中的第 12.2.5 节说“临时绑定到 a 中的引用成员 构造函数的构造函数初始化程序 (12.6.2) 持续存在，直到构造函数退出”
所以我尝试了以下程序

#include<iostream>
using namespace std;

struct foo
{
  foo()
  {
    cout<<"foo c'tor"<<endl;
  }
  ~foo()
  {
    cout<<"foo d'tor"<<endl;
  }
};

struct bar
{
  const foo &ref;
  bar():ref(foo()) 
  {
    cout<<"bar c'tor"<<endl;
  }

};

int main()
{
  bar obj;
}    

我得到的输出是：

foo c'tor
foo d'tor
bar c'tor

现在根据标准，由 foo() 在 bar 的 c'tor 的 c'tor init-list 中生成的临时文件将在 bar 的 c'tor 之后被销毁，所以 foo d'tor 应在 bar c'tor
之后打印 但事实恰恰相反。
请解释原因。

Answer 1

我已经用 MS VS 2010 尝试过这个，它给我的输出在编译过程中也给出了警告：

警告 C4413: 'bar::ref' : 引用成员被初始化为一个临时的，在构造函数退出后不会持续存在

foo c'tor
bar c'tor
foo d'tor
Press any key to continue . . .

看来 MS VS 2010 正确实现了规范。我同意这是 g++ 的一个错误。

编辑： ref 应该在构造函数的初始化列表中初始化。