首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
社区首页 >问答首页 >如何修正警告:“编译器可以假定'object‘的地址永远不会为空”

如何修正警告:“编译器可以假定'object‘的地址永远不会为空”
EN

Stack Overflow用户
提问于 2019-06-17 08:56:18
回答 2查看 5.3K关注 0票数 3

我使用gcc8编译以下代码:

代码语言:javascript
代码运行次数:0
运行
复制
#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) { ^~

  1. 为什么object在函数test中的地址不为空,甚至向它传递一个空引用值?
  2. 函数object中的引用test似乎永远不可能为NULL,所以我们可以删除代码if (&object == NULL){...}if (&object == NULL) {...}以避免这两个警告,对吗?

谢谢你的暗示。

EN

回答 2

Stack Overflow用户

回答已采纳

发布于 2019-06-17 09:00:58

在格式良好的C++程序中,引用从不为空。初始化引用的唯一有效方法是将其绑定到有效对象。“空引用”可能发生的唯一方法是取消空指针,就像您所做的那样。但是,即使在检查&object == NULL之前,程序的行为也是未定义的。错误在传递“空引用”的代码中,必须在那里修复。

所以编译器警告您,您添加了一个多余的检查,它保护您从小到空,因为需要修复的坏代码在您的函数之外。

票数 13
EN

Stack Overflow用户

发布于 2019-06-17 09:16:01

代码语言:javascript
代码运行次数:0
运行
复制
Person* ptr_object = NULL;
Person& ref_object= *ptr_object;

通过在这里取消引用ptr_object,您将取消引用一个空指针,这是一个未定义的行为。引用不应引用为NULL。

票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/56627939

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档