阿里开发手册 嵩山版-编程规约 (八)控制语句

历史版本

前言

《Java 开发手册》是阿里巴巴集团技术团队的集体智慧结晶和经验总结,经历了多次大规模一线实战的检验及不断完善,公开到业界后,众多社区开发者踊跃参与,共同打磨完善,系统化地整理成册,当前的版本是嵩山版。现代软件行业的高速发展对开发者的综合素质要求越来越高,因为不仅是编程知识点,其它维度的知识点也会影响到软件的最终交付质量。比如:五花八门的错误码人为地增加排查问题的难度;数据库的表结构和索引设计缺陷带来的系统架构缺陷或性能风险;工程结构混乱导致后续项目维护艰难;没有鉴权的漏洞代码易被黑客攻击等等。所以本手册以 Java 开发者为中心视角,划分为编程规约、异常日志、单元测试、安全规约、MySQL 数据库、工程结构、设计规约七个维度,再根据内容特征,细分成若干二级子目录。

另外,依据约束力强弱及故障敏感性,规约依次分为【强制】【推荐】【参考】三大类。在延伸信息中,说明对规约做了适当扩展和解释;“正例”提倡什么样的编码和实现方式;“反例”说明需要提防的雷区,以及真实的错误案例。

手册的愿景是码出高效,码出质量。现代软件架构的复杂性需要协同开发完成,如何高效地协 同呢?无规矩不成方圆,无规范难以协同,比如,制订交通法规表面上是要限制行车权,实际上是保障公众的人身安全,试想如果没有限速,没有红绿灯,谁还敢上路行驶?对软件来说,适当的规范和标准绝不是消灭代码内容的创造性、优雅性,而是限制过度个性化,以一种普遍认可的统一方式一起做事,提升协作效率,降低沟通成本。代码的字里行间流淌的是软件系统的血液,质量的提升是尽可能少踩坑,杜绝踩重复的坑,切实提升系统稳定性,码出质量。

我们已经在 2017 杭州云栖大会上发布了配套的 Java 开发规约 IDE 插件,下载量达到 162 万人次,阿里云效也集成了代码规约扫描引擎。次年,发布 36 万字的配套详解图书《码出高效》,本书秉持“图胜于表,表胜于言”的理念,深入浅出地将计算机基础、面向对象思想、JVM 探源、数据结构与集合、并发与多线程、单元测试等知识客观、立体地呈现出来。紧扣学以致用、学以精进的目标,结合阿里巴巴实践经验和故障案例,与底层源码解析融会贯通,娓娓道来。《码出高效》和《Java开发手册》稿费所得收入均捐赠公益事情,希望用技术情怀帮助更多的人。

💡

编程规约

(八) 控制语句

1.【强制】在一个 switch 块内,每个 case 要么通过 continue/break/return 等来终止,要么注释说明程序将继续执行到哪一个 case 为止;在一个 switch 块内,都必须包含一个 default 语句并且放在最后,即使它什么代码也没有。

说明:注意 break 是退出 switch 语句块,而 return 是退出方法体。

2.【强制】当 switch 括号内的变量类型为 String 并且此变量为外部参数时,必须先进行 null

判断。

反例:如下的代码输出是什么?

public classSwitchString{

public static voidmain(String[]args) {

method(null);

}

public static voidmethod(String param) {

switch(param) {

// 肯定不是进入这里

case"sth":

System.out.println("it's sth");

break;

// 也不是进入这里

case"null":

System.out.println("it's null");

break;

// 也不是进入这里

default:

System.out.println("default");

}

}

}

3.【强制】在if/else/for/while/do语句中必须使用大括号。

说明:即使只有一行代码,也禁止不采用大括号的编码方式:if (condition) statements;

4.【强制】三目运算符 condition? 表达式 1 : 表达式 2 中,高度注意表达式 1 和 2 在类型对齐时,可能抛出因自动拆箱导致的 NPE 异常。

说明:以下两种场景会触发类型对齐的拆箱操作:

1)表达式 1 或表达式 2 的值只要有一个是原始类型。

2)表达式 1 或表达式 2 的值的类型不一致,会强制拆箱升级成表示范围更大的那个类型。

反例:

Integer a=1;

Integer b=2;

Integer c=null;

Boolean flag=false;

// a*b 的结果是 int 类型,那么 c 会强制拆箱成 int 类型,抛出 NPE 异常

Integer result=(flag?a*b:c);

5.【强制】在高并发场景中,避免使用”等于”判断作为中断或退出的条件。

说明:如果并发控制没有处理好,容易产生等值判断被“击穿”的情况,使用大于或小于的区间判断条件来代替。

反例:判断剩余奖品数量等于 0 时,终止发放奖品,但因为并发处理错误导致奖品数量瞬间变成了负数,这样的话,活动无法终止。

6.【推荐】当某个方法的代码总行数超过 10 行时,return / throw 等中断逻辑的右大括号后均 需要加一个空行。

说明:这样做逻辑清晰,有利于代码阅读时重点关注。

7.【推荐】表达异常的分支时,少用if-else 方式,这种方式可以改写成:

if(condition) {

...

returnobj;

}

// 接着写 else 的业务逻辑代码;

说明:如果非使用 if()...else if()...else...方式表达逻辑,避免后续代码维护困难,请勿超过 3 层。

正例:超过 3 层的 if-else 的逻辑判断代码可以使用卫语句、策略模式、状态模式等来实现,其中卫语句

示例如下:

public voidfindBoyfriend(Man man) {

if(man.isUgly()) {

System.out.println("本姑娘是外貌协会的资深会员");

return;

}

if(man.isPoor()) {

System.out.println("贫贱夫妻百事哀");

return;

}

if(man.isBadTemper()) {

System.out.println("银河有多远,你就给我滚多远");

return;

}

System.out.println("可以先交往一段时间看看");

}

8.【推荐】除常用方法(如 getXxx/isXxx)等外,不要在条件判断中执行其它复杂的语句,将复杂逻辑判断的结果赋值给一个有意义的布尔变量名,以提高可读性。

说明:很多 if 语句内的逻辑表达式相当复杂,与、或、取反混合运算,甚至各种方法纵深调用,理解成本非常高。如果赋值一个非常好理解的布尔变量名字,则是件令人爽心悦目的事情。

正例:

// 伪代码如下

final booleanexisted=(file.open(fileName,"w")!=null)&&(...)||(...);

if(existed) {

...

}

反例:

public final voidacquire(longarg) {

if(!tryAcquire(arg)&&

acquireQueued(addWaiter(Node.EXCLUSIVE),arg)) {

selfInterrupt();

}

9.【推荐】不要在其它表达式(尤其是条件表达式)中,插入赋值语句。

说明:赋值点类似于人体的穴位,对于代码的理解至关重要,所以赋值语句需要清晰地单独成为一行。

反例:

publicLockgetLock(booleanfair) {

// 算术表达式中出现赋值操作,容易忽略 count 值已经被改变

threshold=(count=Integer.MAX_VALUE)-1;

// 条件表达式中出现赋值操作,容易误认为是 sync==fair

return(sync=fair)?newFairSync():newNonfairSync();

}

10.【推荐】循环体中的语句要考量性能,以下操作尽量移至循环体外处理,如定义对象、变量、

获取数据库连接,进行不必要的try-catch操作(这个try-catch是否可以移至循环体外)。

11.【推荐】避免采用取反逻辑运算符。

说明:取反逻辑不利于快速理解,并且取反逻辑写法一般都存在对应的正向逻辑写法。

正例:使用 if (x < 628) 来表达 x 小于 628。

反例:使用 if (!(x >= 628)) 来表达 x 小于 628。

12.【推荐】公开接口需要进行入参保护,尤其是批量操作的接口。

反例:某业务系统,提供一个用户批量查询的接口,API 文档上有说最多查多少个,但接口实现上没做任何保护,导致调用方传了一个 1000 的用户 id 数组过来后,查询信息后,内存爆了。

13.【参考】下列情形,需要进行参数校验:

1)调用频次低的方法。

2)执行时间开销很大的方法。此情形中,参数校验时间几乎可以忽略不计,但如果因为参数错误导致中间执行回退,或者错误,那得不偿失。

3)需要极高稳定性和可用性的方法。

4)对外提供的开放接口,不管是 RPC/API/HTTP 接口。

5)敏感权限入口。

14.【参考】下列情形,不需要进行参数校验:

1)极有可能被循环调用的方法。但在方法说明里必须注明外部参数检查。

2)底层调用频度比较高的方法。毕竟是像纯净水过滤的最后一道,参数错误不太可能到底层才会暴露问题。一般 DAO 层与 Service 层都在同一个应用中,部署在同一台服务器中,所以 DAO 的参数校验,可以省略。

3) 被声明成 private 只会被自己代码所调用的方法,如果能够确定调用方法的代码传入参数已经做过检查或者肯定不会有问题,此时可以不校验参数。

最近更新

  1. docker php8.1+nginx base 镜像 dockerfile 配置

    2024-01-30 14:34:02       98 阅读
  2. Could not load dynamic library ‘cudart64_100.dll‘

    2024-01-30 14:34:02       106 阅读
  3. 在Django里面运行非项目文件

    2024-01-30 14:34:02       87 阅读
  4. Python语言-面向对象

    2024-01-30 14:34:02       96 阅读

热门阅读

  1. 【算法】传纸条(动态规划)

    2024-01-30 14:34:02       59 阅读
  2. oracle分区范围修改与数据迁移处理

    2024-01-30 14:34:02       58 阅读
  3. 数据结构-排序

    2024-01-30 14:34:02       71 阅读
  4. 消息队列和Kafka

    2024-01-30 14:34:02       48 阅读
  5. Spring 注解详情

    2024-01-30 14:34:02       69 阅读
  6. 学fpga和还是嵌入式?

    2024-01-30 14:34:02       58 阅读
  7. Chrome 121 释出

    2024-01-30 14:34:02       65 阅读
  8. 数据中心电气工程师进阶之路

    2024-01-30 14:34:02       57 阅读