常量引用的文本初始化

因此,您可以编写如下代码:

void f( const string & s ) {
}

f( "foobar" );

string( "foobar" );

这个无名字符串被绑定到引用。

请注意,在创建非参数引用变量时,实际上非常不寻常——引用的主要目的是用作函数参数和返回值。

int const& ans = 42;
// tranformed:
int __internal_unique_name = 42;
int const& ans = __internal_unique_name;

或者当生命周期未延长时,例如函数参数:

f("foobar");
// transformed:
{
  string __internal_unique_name = "foobar";
  f(__internal_unique_name);
}

(注意本例中的显式块。)

虽然在非常量的情况下可能做类似的事情,但在CurrcTC++中,这是不允许的。然而,C++0x(下一个标准)将有r值引用。

如果不清楚, ref + 6 从代码中创建一个临时对象,可以将其可视化为:

int const& ref = int(9);
int const& another_ref = int(ref + 6);

// transformed:
int __A = 9;
int const& ref = __A;
int __B = ref + 6;
int const& another_ref = __B;

这可能会帮助您理解/可视化正在发生的事情,但您不应该像这样编写真正的代码。我还使用了双下划线名称来说明这些名称是实现细节(由编译器使用),您不应该使用它们。任何包含相邻下划线的名称都保留给C++实现。

您的代码归结为C++标准规则,其中临时值的生存期绑定到 const 指定给它的引用。见 GoTW 文章 GotW #88: A Candidate For the “Most Important const” 了解更多详细信息。

例如 ScopeGuard Generic: Change the Way You Write Exception-Safe Code — Forever “取决于这种行为。