参考:C ++模板的代码片段:完整指南
// maximum of two values of any type (call-by-reference)
template <typename T>
inline T const& max (T const& a, T const& b)
{
return a < b ? b : a;
}
// maximum of two C-strings (call-by-value)
inline char const* max (char const* a, char const* b)
{
return std::strcmp(a,b) < 0 ? b : a;
}
// maximum of three values of any type (call-by-reference)
template <typename T>
inline T const& max (T const& a, T const& b, T const& c)
{
return max (max(a,b), c); // error, if max(a,b) uses call-by-value
}
int main ()
{
::max(7, 42, 68); // OK
const char* s1 = "frederic";
const char* s2 = "anica";
const char* s3 = "lucas";
::max(s1, s2, s3); // ERROR
}
上述代码的陈述问题:
问题是,如果你为三个C字符串调用max(),那么 声明
return max(max(a,b),c);变成了错误。这是因为 C-strings,max(a,b)创建一个新的临时本地值 由函数通过引用返回。
问题&GT;我仍然不明白上述几点。为什么
“你不能使用三参数版本来计算最大值 三个C字符串“?
//更新
const int* fReturnValue(const int *i)
{
return i;
}
int main()
{
int i = 3;
const int* i4= fReturnValue(&i);
cout << &i << endl;
cout << i4 << endl;
}
观察:两行都返回相同的地址。 所以我假设在函数fReturnValue中,函数按值返回,但它不会伤害b / c它是指针地址。换句话说,返回地址仍然有效。
这是真的吗?
答案 0 :(得分:10)
问题是max
的 C-string 风格按值返回,而不是按值获取其参数。声明了泛型3-way max
函数返回引用,但 C-string max
返回一个值,然后返回一个临时引用在你可以访问它之前就已经死了。
更新:您添加的新代码与原始问题不同。这会:
const int*& fReturnValue(const int *i)
{
return i;
}
请注意,fReturnValue
返回对局部变量i
的引用,其生命周期在函数返回时结束。因此该函数返回对无效对象的引用。尝试使用该更改编译代码,您应该从几乎每个编译器都收到警告。