我使用gcc8编译以下代码:
#include <iostream>
class person
{
public:
virtual void setage()=0;
};
void test(person &object)
{
if (&object == NULL) {
std::cout << "NULL object1" << std::endl;
}
if (!(&object))
{
std::cout << "NULL object1" << std::endl;
}
}
int main()
{
person *object=NULL;
person &object1=*object;
test(object1);
}
然后,在编译和运行之后发出两个警告:
$g++ -std=c++14 -pthread -fgnu-tm -O2 -Wall -Wextra -pedantic -pthread -pedantic- main.cpp -lm -latomic -lstdc++fs & ./a.out main.cpp:函数'void (person&)‘: main.cpp:11:17:警告:编译器可以假定'object‘的地址永远不会为空-Waddress 如果(&object == NULL) {^ main.cpp:15:18:警告:编译器可以假定'object‘的地址永远不会为空-Waddress 如果(!(&object)) ^ main.cpp:15:5:警告:非空参数'object‘相比于NULL -Wnonnull-比较 如果(!(&object)) ^~ main.cpp:11:5:警告:非空参数'object‘相比于NULL -Wnonnull-比较 如果(&object == NULL) { ^~
object
在函数test
中的地址不为空,甚至向它传递一个空引用值?object
中的引用test
似乎永远不可能为NULL,所以我们可以删除代码if (&object == NULL){...}
和if (&object == NULL) {...}
以避免这两个警告,对吗?谢谢你的暗示。
发布于 2019-06-17 09:00:58
在格式良好的C++程序中,引用从不为空。初始化引用的唯一有效方法是将其绑定到有效对象。“空引用”可能发生的唯一方法是取消空指针,就像您所做的那样。但是,即使在检查&object == NULL
之前,程序的行为也是未定义的。错误在传递“空引用”的代码中,必须在那里修复。
所以编译器警告您,您添加了一个多余的检查,它保护您从小到空,因为需要修复的坏代码在您的函数之外。
发布于 2019-06-17 09:16:01
Person* ptr_object = NULL;
Person& ref_object= *ptr_object;
通过在这里取消引用ptr_object,您将取消引用一个空指针,这是一个未定义的行为。引用不应引用为NULL。
https://stackoverflow.com/questions/56627939
复制相似问题