前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >阿里P8架构师浅析如何避免在Java中检查Null语句

阿里P8架构师浅析如何避免在Java中检查Null语句

原创
作者头像
本人秃顶程序员
修改2019-05-22 09:52:18
1.1K0
修改2019-05-22 09:52:18
举报

点关注,不迷路;持续更新Java架构相关技术及资讯热文!!!

一.概述


通常,在Java代码中处理null变量、引用和集合很棘手。它们不仅难以识别,而且处理起来也很复杂。事实上,在编译时无法识别处理null的任何错误,会导致运行时NullPointerException。在本教程中,我们将了解在Java中检查null的必要性以及帮助我们避免在代码中进行空检查的各种替代方法。

二.什么是NullPointerException?


根据 Javadoc for NullPointerException,当应用程序在需要对象的情况下尝试使用null时抛出它,例如:

  • 调用null对象的实例方法
  • 访问或修改空对象的字段
  • 取null的长度,就好像它是一个数组一样
  • 访问或修改null的插槽,就像它是一个数组一样
  • 抛出null就好像它是一个Throwable值

让我们快速查看导致此异常的Java代码的几个示例:

publicvoid doSomething(){
    String result = doSomethingElse();
    if(result.equalsIgnoreCase("Success"))
    // success
}
}
privateString doSomethingElse(){
returnnull;
}

在这里,我们尝试调用null引用的方法调用。这将导致NullPointerException。另一个常见示例是,如果我们尝试访问空数组:

publicstaticvoid main(String[] args){
    findMax(null);
}
privatestaticvoid findMax(int[] arr){
    int max = arr[0];
    //check other elements in loop
}
//欢迎加入Java高级架构进阶Qqun:963944895,私聊管理员免费领取Java架构学习视频、Java最新面试题、Java编程书籍

这会在第6行导致 NullPointerException。因此,访问空 对象的任何字段,方法或索引会导致 NullPointerException,如上面的示例所示。避免 NullPointerException的 常见方法是检查 null:

publicvoid doSomething(){
    String result = doSomethingElse();
    if(result !=null&& result.equalsIgnoreCase("Success")){
        // success
    } else
    // failure
}
privateString doSomethingElse(){
    returnnull;
}

在现实世界中,程序员发现很难识别哪些对象可以为 null。积极安全的策略可能是为每个对象检查 null。但是,这会导致大量冗余空值检查,并使我们的代码可读性降低。在接下来的几节中,我们将介绍Java中的一些备选方案,以避免这种冗余。

三.通过API约定处理null


如上一节所述,访问null对象的方法或变量会导致NullPointerException。 我们还讨论了在访问对象之前对对象进行空 检查可以消除NullPointerException的可能性。但是,通常有API可以处理空值。例如:

publicvoid print(Object param){
    System.out.println("Printing "+ param);
}
publicObject process()throwsException{
    Object result = doSomething();
    if(result ==null){
        thrownewException("Processing fail. Got a null response");
    } else{
        return result;
    }
}

在 print()方法调用将只打印 null,但不会抛出异常。同样, process()永远不会在其响应中返回 null。它反而抛出异常。因此对于访问上述API的客户端代码,不需要进行空检查。但是此类API必须在约定中明确说明。API发布此类约定的常见位置是JavaDoc。但是,这并未明确指出API约定,因此依赖于客户端代码开发人员来确保其合规性。在下一节中,我们将看到一些IDE和其他开发工具如何帮助开发人员解决这个问题。

四.自动化API约定


4.1.使用静态代码分析

静态代码分析工具有助于提高代码质量。一些这样的工具也允许开发人员维护null约定(Null Contracts)。一个例子是 FindBugs。 FindBugs通过 @Nullable和 @NonNull注解帮助管理null约定。我们可以在任何方法,字段,局部变量或参数上使用这些注释。这使得对客户端代码明确指出注释类型是否为 null。我们来看一个例子:

publicvoid accept(@NonnullObject param){
    System.out.println(param.toString());
}

在这里, @NonNull清楚地表明参数不能为 null。如果客户端代码在不检查 null参数的情况下调用此方法 ,则 FindBugs将在编译时生成警告。

4.2.使用静态代码分析

开发人员通常依靠IDE来编写Java代码。使用代码自动补全和有用警告等功能,例如可能没有声明变量,在很大程度上对编码有帮助。一些IDE还允许开发人员管理API约定(API Contracts),从而消除对静态代码分析工具的需求。IntelliJ IDEA提供 @NonNull和 @Nullable注解。要在IntelliJ中添加对这些注释的支持,我们必须添加以下Maven依赖项:

<dependency>
<groupId>org.jetbrains</groupId>
<artifactId>annotations</artifactId>
<version>16.0.2</version>
</dependency>

现在,如果没有对 Null进行检查,IntelliJ将生成警告,就像我们在上一个示例中一样。IntelliJ还提供了用于处理复杂API约束的Contract注释。

五. 断言


到目前为止,我们只讨论过从客户端代码中去除空检查的必要性。但是,这很少适用于实际应用。现在,假设我们正在使用一个不能接受空参数的API,或者可以返回必须由客户端处理的空响应。这表明我们需要检查参数或空值的响应。这里,我们可以使用Java Assertions代替传统的 null检查条件语句:

publicvoid accept(Object param){
    assert param !=null;
    doSomething(param);
}

在第2行中,我们检查null参数。如果启用了断言,则会导致 AssertionError。尽管这是断言非空参数等前置条件的好方法,但这种方法主要存在两个问题:

  • 通常在JVM中禁用断言
  • 一个虚假的声明将导致在未经检查的错误无法恢复

因此,建议程序员不要使用断言来检查条件。在以下部分中,我们将讨论处理null检查的其他方法

六.通过编码实践避免NULL检查


6.1.前提条件

编写早期失败的代码通常是一种很好的做法。因此,如果一个API不允许接受有多个参数为空,更好地方法是预先检查API中的每一个非空参数。

例如,让我们看看两个方法:一个早期失败,另一个不失败:

publicvoid goodAccept(String one,String two,String three){
    if(one ==null|| two ==null|| three ==null){
        thrownewIllegalArgumentException();
    }
    process(one);
    process(two);
    process(three);
}
publicvoid badAccept(String one,String two,String three){
    if(one ==null){
        thrownewIllegalArgumentException();
    } else{
        process(one);
    }
    if(two ==null){
        thrownewIllegalArgumentException();
    } else{
        process(two);
    }
    if(three ==null){
        thrownewIllegalArgumentException();
    } else{
        process(three);
    }
}
//欢迎加入Java高级架构进阶Qqun:963944895,私聊管理员免费领取Java架构学习视频、Java最新面试题、Java编程书籍

显然,我们应该更喜欢 goodAccept()而不是 badAccept()。作为替代方案,我们也可以使用Guava的前置条件来验证API参数。

6.2.使用原语而不是包装类

由于 null对于像int这样的原语来说不是一个可接受的值,我们应该尽可能优先于它们的包装对象,如 Integer。考虑一个对两个整数求和的方法的两个实现:

publicstaticint primitiveSum(int a,int b){
    return a + b;
}
publicstaticInteger wrapperSum(Integer a,Integer b){
    return a + b;
}

6.3.空集合

有时,我们需要将一个集合作为方法的响应返回。对于这样的方法,我们应该总是尝试返回一个空集合而不是 null

publicList<String> names(){
    if(userExists()){
        returnStream.of(readName()).collect(Collectors.toList());
    } else{
        returnCollections.emptyList();
    }
}

因此,我们在调用此方法时避免了客户端执行空检查的需要。

七.使用 Objects


Java 7引入了新的Objects API。此API有几个静态 实用程序方法,可以消除大量冗余代码。让我们看看一个这样的方法, requireNonNull():

publicvoid accept(Object param){
    Objects.requireNonNull(param);
    // doSomething()
}

现在,让我们测试 accept方法:

assertThrows(NullPointerException.class,()-> accept(null));

因此,如果将null 作为参数传递,则 accept()会抛出 NullPointerException。此类还具有 isNull()和 nonNull()方法,可用作谓词来检查对象是否为null。

八.使用Optional


Java8在该语言中引入了一个新的 OptionalAPI。与null相比,这为处理可选值提供了更好的约定。让我们看看 Optional如何消除对空检查的需求:

publicOptional<Object> process(Boolean processed){
    String response = doSomething(processed);
    if(response ==null){
        returnOptional.empty();
    }
    returnOptional.of(response);
}
privateString doSomething(Boolean processed){
    if(processed){
        return"passed";
    } else{
        returnnull;
    }
}
//欢迎加入Java高级架构进阶Qqun:963944895,私聊管理员免费领取Java架构学习视频、Java最新面试题、Java编程书籍

通过返回一个 Optional,如上所示,该 process()方法使得明确告诉调用者,响应可能是Null,并且必须在编译时处理。 这显然消除了客户端代码中对空检查的需求。可以使用 OptionalAPI的声明性样式以不同方式处理空响应:

assertThrows(Exception.class,()-> process(false).orElseThrow(()->newException()));

此外,它还为API开发人员提供了一个更好的约定,以向客户端表明API可以返回空响应。虽然我们不需要对此API的调用者进行空检查,但我们使用它来返回空响应。为避免这种情况, Optional提供了一个 ofNullable方法,该方法返回具有指定值的 Optional,如果值为 null,则返回 empty:

publicOptional<Object> process(Boolean processed){
    String response = doSomething(processed);
    returnOptional.ofNullable(response);
}
//欢迎加入Java高级架构进阶Qqun:963944895,私聊管理员免费领取Java架构学习视频、Java最新面试题、Java编程书籍

九.库


9.1.使用Lombok

Lombok是一个很棒的库,可以减少项目中样板代码的数量。它附带了一组注释,取代了我们经常在Java应用程序中编写的代码的常见部分,例如getter,setter和toString(),仅举几例。

另一个注释是 @NonNull。 因此,如果项目已经使用Lombok来消除样板代码,则 @NonNull可以代替作为空检查。

在继续查看一些示例之前,添加一个Maven依赖项引入Lombok:

<dependency>
<groupId>org.projectlombok</groupId>
<artifactId>lombok</artifactId>
<version>1.18.6</version>
</dependency>

现在,我们可以在需要进行空检查的地方 使用 @NonNull:

publicvoid accept(@NonNullObject param){
    System.out.println(param);
}

因此,我们只是注解了需要进行null检查的对象,并且Lombok生成了已编译的类:

publicvoid accept(@NonNullObject param){
    if(param ==null){
        thrownewNullPointerException("param");
    } else{
        System.out.println(param);
    }
}
//欢迎加入Java高级架构进阶Qqun:963944895,私聊管理员免费领取Java架构学习视频、Java最新面试题、Java编程书籍

如果 param为null,则此方法抛出 NullPointerException。该方法必须在其约定中明确说明,并且客户端代码必须处理异常。

9.2.使用StringUtils

一般来说,字符串验证包括除空值检查空值。因此,常见的验证声明是:

publicvoid accept(String param){
    if(null!= param &&!param.isEmpty())
    System.out.println(param);
}

如果我们必须处理很多 String类型,这很快就会变得多余。这就是 StringUtils派上用场的地方。在我们看到这个动作之前,让我们为commons-lang3添加一个Maven依赖项:

<dependency>
<groupId>org.apache.commons</groupId>
<artifactId>commons-lang3</artifactId>
<version>3.8.1</version>
</dependency>

现在让我们用 StringUtils重构上面的代码 :

publicvoid accept(String param){
    if(StringUtils.isNotEmpty(param))
    System.out.println(param);
}
//欢迎加入Java高级架构进阶Qqun:963944895,私聊管理员免费领取Java架构学习视频、Java最新面试题、Java编程书籍

因此,我们使用静态实用程序方法 isNotEmpty()替换了 null或空检查。此API提供了其它强大而实用方法来处理常见的String函数。

十. 结论


在本文中,我们研究了发生 NullPointerException的各种原因以及难以识别的原因。然后,我们使用了各种方法来避免代码中的冗余,以及对使用参数,返回类型和其他变量进行空检查。所有示例都可以在GitHub上找到。

写在最后

点关注,不迷路;持续更新Java架构相关技术及资讯热文!!!

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。

如有侵权,请联系 cloudcommunity@tencent.com 删除。

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 一.概述
  • 二.什么是NullPointerException?
  • 三.通过API约定处理null
  • 四.自动化API约定
    • 4.1.使用静态代码分析
      • 4.2.使用静态代码分析
      • 五. 断言
      • 六.通过编码实践避免NULL检查
        • 6.1.前提条件
          • 6.2.使用原语而不是包装类
            • 6.3.空集合
            • 七.使用 Objects
            • 八.使用Optional
            • 九.库
              • 9.1.使用Lombok
                • 9.2.使用StringUtils
                • 十. 结论
                • 写在最后
                相关产品与服务
                腾讯云代码分析
                腾讯云代码分析(内部代号CodeDog)是集众多代码分析工具的云原生、分布式、高性能的代码综合分析跟踪管理平台,其主要功能是持续跟踪分析代码,观测项目代码质量,支撑团队传承代码文化。
                领券
                问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档