c++ - 三元运算符:编译器不发出局部变量警告的返回引用
问题描述
我在 C++ 中实现了一个简单的函数,它比较两个对象并返回它们的最大对象的引用增加了 1。我希望创建一个临时对象,当返回这个对象的引用时,编译器的警告会由于临时对象的悬空引用而出现。但不会产生警告。我几乎不明白为什么会发生这种情况。
下面是我写的代码
#include <iostream>
#include <string>
class A
{
public:
A():v(0)
{
std::cout << "A::ctror" <<std::endl;
}
A (int const & x):v(v + x)
{
std::cout << "convertion::ctror(int)" << std::endl;
}
static A & max(A & x , A & y)
{
return x.v > y.v ? (x+1) : (y +1 ) ;
}
A & operator +( A const a )
{
this->v+=a.v;
return *this;
}
int v ;
};
int main()
{
A a1;
A a2;
a1.v = 1;
a2.v = 6;
A const & a3 = A::max(a1,a2);
std::cout << a3.v << std::endl;
}
解决方案
至于您问题中的实际代码:没有创建临时对象,因为您max
和operator+
他们的参数并通过引用返回他们的结果。因此代码实际上是有效的(如果奇怪/误导)。
但是,如果我们将您的代码简化为实际包含错误的版本:
struct A
{
static int &foo(int &x)
{
int a = 42;
return x < a ? x : a;
}
};
int main()
{
int n = 0;
return A::foo(n);
}
...我们仍然没有收到警告,至少在 g++ 8.3.1 中没有。
这似乎与foo
成为成员函数和/或标记有关static
。没有类包装器:
static int &foo(int &x)
{
int a = 42;
return x < a ? x : a;
}
int main()
{
int n = 0;
return foo(n);
}
...仍然没有警告。
同样,没有static
:
struct A
{
int &foo(int &x)
{
int a = 42;
return x < a ? x : a;
}
};
int main()
{
A wtf;
int n = 0;
return wtf.foo(n);
}
...也没有警告。
但是没有类和static
:
int &foo(int &x)
{
int a = 42;
return x < a ? x : a;
}
int main()
{
int n = 0;
return foo(n);
}
.code.tio.cpp: In function ‘int& foo(int&)’:
.code.tio.cpp:4:24: warning: function may return address of local variable [-Wreturn-local-addr]
return x < a ? x : a;
^
......正如预期的那样。
我怀疑这是 g++ 中的错误/疏忽。
编译器实际上并不需要对错误代码发出警告,但不幸的是,一个相当明显的错误代码实例没有被诊断出来。
推荐阅读
- javascript - 如何删除文档数组中的键
- sql-server - SqlBulkCopy 和 datetime2 目标数据库列
- javascript - 笑话:如何模拟从 index.js 文件导出的自定义模块?
- visual-studio-code - 格式化程序在 lineSplit 上的 VSCode 中不起作用
- typescript - 创建泛型类型实例的通用存储库
- php - 如何从数据库查询买家订单到他们的资料
- node.js - 使用 NodeJS 实例化一个 Admin SDK 目录服务对象
- php - 自定义分类未显示在自定义帖子列表中(我正在尝试逐字复制工作代码)
- c# - C# 使用 AOP 在运行时将代码注入外部方法
- python - 循环拆分列表