1# OpenHarmony应用ArkTS编程规范
2
3# 概述
4
5## 目标和适用范围
6
7本文参考业界标准及实践,结合ArkTS语言特点,为提高代码的规范、安全、性能提供编码指南。
8
9本文适用于开发者进行系统开发或者应用开发时,使用ArkTS编写代码的场景。
10
11## 规则来源
12
13ArkTS在保持TypeScript基本语法风格的基础上,进一步强化静态检查和分析。本文部分规则筛选自《[OpenHarmony应用TS&JS编程指南](OpenHarmony-Application-Typescript-JavaScript-coding-guide.md)》,为ArkTS语言新增的语法添加了规则,旨在提高代码可读性、执行性能。
14
15## 章节概览
16
17### 代码风格
18
19包含命名和格式。
20
21### 编程实践
22
23包含声明与初始化、数据类型、运算与表达式、异常等。
24
25参考了《OpenHarmony应用TS&JS编程指南》中的规则,对其中ArkTS语言不涉及的部分作了去除,为ArkTS语言新增的语法添加了规则。
26
27## 术语和定义
28
29|  术语   | 缩略语  | 中文解释 |
30|  ----  | ----  |  ----|
31| ArkTS  | 无 | ArkTS编程语言 |
32| TypeScript  | TS | TypeScript编程语言 |
33| JavaScript  | JS | JavaScript编程语言 |
34| ESObject  | 无 | 在ArkTS跨语言调用的场景中,用以标注JS/TS对象的类型 |
35
36# 总体原则
37
38规则分为两个级别:要求、建议。
39
40**要求**:表示原则上应该遵从。本文所有内容目前均为针对ArkTS的要求。
41
42**建议**:表示该条款属于最佳实践,可结合实际情况考虑是否纳入。
43
44# 命名
45
46## 为标识符取一个好名字,提高代码可读性
47
48**【描述】**
49
50好的标识符命名,应遵循以下基本原则:
51 - 能清晰的表达意图,避免使用单个字母、未成惯例的缩写来命名
52 - 使用正确的英文单词并符合英文语法,不要使用中文拼音
53 - 能区分出意思,避免造成误导
54
55## 类名、枚举名、命名空间名采用UpperCamelCase风格
56
57**【级别】建议**
58
59**【描述】**
60
61类采用首字母大写的驼峰命名法。
62类名通常是名词或名词短语,例如Person、Student、Worker。不应使用动词,也应该避免类似Data、Info这样的模糊词。
63
64**【正例】**
65```
66// 类名
67class User {
68  username: string
69
70  constructor(username: string) {
71    this.username = username;
72  }
73
74  sayHi() {
75    console.log('hi' + this.username);
76  }
77}
78
79// 枚举名
80enum UserType {
81  TEACHER = 0,
82  STUDENT = 1
83};
84
85// 命名空间
86namespace Base64Utils {
87  function encrypt() {
88    // todo encrypt
89  }
90
91  function decrypt() {
92    // todo decrypt
93  }
94};
95```
96
97## 变量名、方法名、参数名采用lowerCamelCase风格
98
99**【级别】建议**
100
101**【描述】**
102
103函数的命名通常是动词或动词短语,采用小驼峰命名,示例如下:
1041.   load + 属性名()
1052.   put + 属性名()
1063.   is + 布尔属性名()
1074.   has + 名词/形容词()
1085.   动词()
1096.   动词 + 宾语()
110变量的名字通常是名词或名词短语,应采用小驼峰命名,以便于理解其含义。
111
112**【正例】**
113```
114let msg = 'Hello world';
115
116function sendMsg(msg: string) {
117  // todo send message
118}
119
120let userName = 'Zhangsan';
121
122function findUser(userName: string) {
123  // todo find user by user name
124}
125```
126
127## 常量名、枚举值名采用全部大写,单词间使用下划线隔开
128
129**【级别】建议**
130
131**【描述】**
132
133常量命名,应该由全大写单词与下划线组成,单词间用下划线分割。常量命名要尽量表达完整的语义。
134
135**【正例】**
136
137```
138const MAX_USER_SIZE = 10000;
139
140enum UserType {
141  TEACHER = 0,
142  STUDENT = 1
143};
144```
145
146## 避免使用否定的布尔变量名,布尔型的局部变量或方法须加上表达是非意义的前缀
147
148**【级别】建议**
149
150**【描述】**
151
152布尔型的局部变量建议加上表达是非意义的前缀,比如is,也可以是has、can、should等。但是,当使用逻辑非运算符,并出现双重否定时,会出现理解问题,比如!isNotError,意味着什么,不是很好理解。因此,应避免定义否定的布尔变量名。
153
154**【反例】**
155
156```
157let isNoError = true;
158let isNotFound = false;
159
160function empty() {}
161function next() {}
162```
163
164**【正例】**
165
166```
167let isError = false;
168let isFound = true;
169
170function isEmpty() {}
171function hasNext() {}
172```
173
174# 格式
175
176## 使用空格缩进,禁止使用tab字符
177
178**【级别】建议**
179
180**【描述】**
181
182只允许使用空格(space)进行缩进。
183
184建议大部分场景优先使用2个空格,换行导致的缩进优先使用4个空格。
185不允许插入制表符Tab。当前几乎所有的集成开发环境(IDE)和代码编辑器都支持配置将Tab键自动扩展为2个空格输入,应在代码编辑器中配置使用空格进行缩进。
186
187**【正例】**
188
189```
190class DataSource {
191  id: number = 0
192  title: string = ''
193  content: string = ''
194}
195
196const dataSource: DataSource[] = [
197  {
198    id: 1,
199    title: 'Title 1',
200    content: 'Content 1'
201  },
202  {
203    id: 2,
204    title: 'Title 2',
205    content: 'Content 2'
206  }
207
208];
209
210function test(dataSource: DataSource[]) {
211  if (!dataSource.length) {
212    return;
213  }
214
215  for (let data of dataSource) {
216    if (!data || !data.id || !data.title || !data.content) {
217      continue;
218    }
219    // some code
220  }
221
222  // some code
223}
224```
225
226## 行宽不超过120个字符
227
228**【级别】建议**
229
230**【描述】**
231
232代码行宽不宜过长,否则不利于阅读。
233
234控制行宽可以间接的引导程序员去缩短函数、变量的命名,减少嵌套的层数,精炼注释,提升代码可读性。
235建议每行字符数不要超过120个;除非超过120能显著增加可读性,并且不会隐藏信息。
236例外:如果一行注释包含了超过120个字符的命令或URL,则可以保持一行,以方便复制、粘贴和通过grep查找;预处理的error信息在一行便于阅读和理解,即使超过120个字符。
237
238## 条件语句和循环语句的实现必须使用大括号
239
240**【级别】建议**
241
242**【描述】**
243
244在`if`、`for`、`do`、`while`等语句的执行体加大括号`{}`是一种最佳实践,因为省略大括号容易导致错误,并且降低代码的清晰度。
245
246**【反例】**
247
248```
249if (condition)
250  console.log('success');
251
252for (let idx = 0; idx < 5; ++idx)
253  console.log(idx);
254```
255
256**【正例】**
257
258```
259if (condition) {
260  console.log('success');
261}
262
263for (let idx = 0; idx < 5; ++idx) {
264  console.log(idx);
265}
266```
267
268## `switch`语句的`case`和`default`须缩进一层
269
270**【级别】建议**
271
272**【描述】**
273
274`switch`的`case`和`default`要缩进一层(2个空格)。开关标签之后换行的语句,需再缩进一层(2个空格)。
275
276**【正例】**
277
278```
279switch (condition) {
280  case 0: {
281    doSomething();
282    break;
283  }
284  case 1: {
285    doOtherthing();
286    break;
287  }
288  default:
289    break;
290}
291```
292
293## 表达式换行须保持一致性,运算符放行末
294
295**【级别】建议**
296
297**【描述】**
298
299当语句过长,或者可读性不佳时,需要在合适的地方换行。
300换行时将操作符放在行末,表示“未结束,后续还有”,保持与常用的格式化工具的默认配置一致。
301
302**【正例】**
303
304```
305// 假设条件语句超出行宽
306if (userCount > MAX_USER_COUNT ||
307  userCount < MIN_USER_COUNT) {
308  doSomething();
309}
310```
311
312## 多个变量定义和赋值语句不允许写在一行
313
314**【级别】要求**
315
316**【描述】**
317
318每个语句的变量声明都应只声明一个变量。
319这种方式更易添加变量声明,不用考虑将`;`变成`,`,以免引入错误。另外,每个语句只声明一个变量,用debugger逐个调试也很方便,而不是一次跳过所有变量。
320
321**【反例】**
322
323```
324let maxCount = 10, isCompleted = false;
325let pointX, pointY;
326pointX = 10; pointY = 0;
327```
328
329**【正例】**
330
331```
332let maxCount = 10;
333let isCompleted = false;
334let pointX = 0;
335let pointY = 0;
336```
337
338## 空格应该突出关键字和重要信息,避免不必要的空格
339
340**【级别】建议**
341
342**【描述】**
343
344空格应该突出关键字和重要信息。总体建议如下:
3451.   `if`, `for`, `while`, `switch`等关键字与左括号`(`之间加空格。
3462.   在函数定义和调用时,函数名称与参数列表的左括号`(`之间不加空格。
3473.   关键字`else`或`catch`与其之前的大括号`}`之间加空格。
3484.   任何打开大括号(`{`)之前加空格,有两个例外:
349a)   在作为函数的第一个参数或数组中的第一个元素时,对象之前不用加空格,例如:`foo({ name: 'abc' })`。
350b)   在模板中,不用加空格,例如:`abc${name}`。
3515.   二元操作符(`+` `-` `*` `=` `<` `>` `<=` `>=` `===` `!==` `&&` `||`)前后加空格;三元操作符(`? :`)符号两侧均加空格。
3526.   数组初始化中的逗号和函数中多个参数之间的逗号后加空格。
3537.   在逗号(`,`)或分号(`;`)之前不加空格。
3548.   数组的中括号(`[]`)内侧不要加空格。
3559.   不要出现多个连续空格。在某行中,多个空格若不是用来作缩进的,通常是个错误。
356
357**【反例】**
358
359```
360// if 和左括号 ( 之间没有加空格
361if(isJedi) {
362  fight();
363}
364
365// 函数名fight和左括号 ( 之间加了空格
366function fight (): void {
367  console.log('Swooosh!');
368}
369```
370
371**【正例】**
372
373```
374// if 和左括号之间加一个空格
375if (isJedi) {
376  fight();
377}
378
379// 函数名fight和左括号 ( 之间不加空格
380function fight(): void {
381  console.log('Swooosh!');
382}
383```
384
385**【反例】**
386
387```
388if (flag) {
389  //...
390}else {  // else 与其前面的大括号 } 之间没有加空格
391  //...
392}
393```
394
395**【正例】**
396
397```
398if (flag) {
399  //...
400} else {  // else 与其前面的大括号 } 之间增加空格
401  //...
402}
403```
404
405**【正例】**
406
407```
408function foo() {  // 函数声明时,左大括号 { 之前加个空格
409  //...
410}
411
412bar('attr', {  // 左大括号前加个空格
413  age: '1 year',
414  sbreed: 'Bernese Mountain Dog',
415});
416```
417
418**【正例】**
419
420```
421const arr = [1, 2, 3];  // 数组初始化中的逗号后面加个空格,逗号前面不加空格
422myFunc(bar, foo, baz);  // 函数的多个参数之间的逗号后加个空格,逗号前面不加空格
423```
424
425## 建议字符串使用单引号
426
427**【级别】建议**
428
429**【描述】**
430
431较为约定俗成,单引号优于双引号。
432
433**【反例】**
434
435```
436let message = "world";
437console.log(message);
438```
439
440**【正例】**
441
442```
443let message = 'world';
444console.log(message);
445```
446
447## 对象字面量属性超过4个,需要都换行
448
449**【级别】建议**
450
451**【描述】**
452
453对象字面量要么每个属性都换行,要么所有属性都在同一行。当对象字面量属性超过4个的时候,建议统一换行。
454
455**【反例】**
456
457```
458interface I {
459  name: string
460  age: number
461  value: number
462  sum: number
463  foo: boolean
464  bar: boolean
465}
466
467let obj: I = { name: 'tom', age: 16, value: 1, sum: 2, foo: true, bar: false }
468```
469
470**【正例】**
471
472```
473interface I {
474  name: string
475  age: number
476  value: number
477  sum: number
478  foo: boolean
479  bar: boolean
480}
481
482let obj: I = {
483  name: 'tom',
484  age: 16,
485  value: 1,
486  sum: 2,
487  foo: true,
488  bar: false
489}
490```
491
492## 把`else`/`catch`放在`if`/`try`代码块关闭括号的同一行
493
494**【级别】建议**
495
496**【描述】**
497
498在写条件语句时,建议把`else`放在`if`代码块关闭括号的同一行。同样,在写异常处理语句时,建议把`catch`也放在`try`代码块关闭括号的同一行。
499
500**【反例】**
501
502```
503if (isOk) {
504  doThing1();
505  doThing2();
506}
507else {
508  doThing3();
509}
510```
511
512**【正例】**
513
514```
515if (isOk) {
516  doThing1();
517  doThing2();
518} else {
519  doThing3();
520}
521```
522
523**【反例】**
524
525```
526try {
527  doSomething();
528}
529catch (err) {
530  // 处理错误
531}
532```
533
534**【正例】**
535
536```
537try {
538  doSomething();
539} catch (err) {
540  // 处理错误
541}
542```
543
544## 大括号`{`和语句在同一行
545
546**【级别】建议**
547
548**【描述】**
549
550应保持一致的大括号风格。建议将大括号放在控制语句或声明语句同一行的位置。
551
552**【反例】**
553
554```
555function foo()
556{
557  //...
558}
559```
560
561**【正例】**
562
563```
564function foo() {
565  //...
566}
567```
568 
569# 编程实践
570
571## 建议添加类属性的可访问修饰符
572
573**【级别】建议**
574
575**【描述】**
576
577在ArkTS中,提供了`private`, `protected`和`public`可访问修饰符。默认情况下一个属性的可访问修饰符为`public`。选取适当的可访问修饰符可以提升代码的安全性、可读性。注意:如果类中包含`private`属性,无法通过对象字面量初始化该类。
578
579**【反例】**
580
581```
582class C {
583  count: number = 0
584
585  getCount(): number {
586    return this.count
587  }
588}
589```
590
591**【正例】**
592
593```
594class C {
595  private count: number = 0
596
597  public getCount(): number {
598    return this.count
599  }
600}
601```
602
603## 不建议省略浮点数小数点前后的0
604
605**【级别】建议**
606
607**【描述】**
608
609在ArkTS中,浮点值会包含一个小数点,没有要求小数点之前或之后必须有一个数字。在小数点前面和后面均添加数字可以提高代码可读性。
610
611**【反例】**
612
613```
614const num = .5;
615const num = 2.;
616const num = -.7;
617```
618
619**【正例】**
620
621```
622const num = 0.5;
623const num = 2.0;
624const num = -0.7;
625```
626
627## 判断变量是否为`Number.NaN`时必须使用`Number.isNaN()`方法
628
629**【级别】要求**
630
631**【描述】**
632
633在ArkTS中,`Number.NaN`是`Number`类型的一个特殊值。它被用来表示非数值,这里的数值是指在IEEE浮点数算术标准中定义的双精度64位格式的值。
634因为在ArkTS中`Number.NaN`独特之处在于它不等于任何值,包括它本身,与`Number.NaN`进行比较的结果是令人困惑:`Number.NaN !== Number.NaN` or `Number.NaN != Number.NaN`的值都是`true`。
635因此,必须使用`Number.isNaN()`函数来测试一个值是否是`Number.NaN`。
636
637**【反例】**
638
639```
640if (foo == Number.NaN) {
641  // ...
642}
643
644if (foo != Number.NaN) {
645  // ...
646}
647```
648
649**【正例】**
650
651```
652if (Number.isNaN(foo)) {
653  // ...
654}
655
656if (!Number.isNaN(foo)) {
657  // ...
658}
659```
660
661## 数组遍历优先使用`Array`对象方法
662
663**【级别】要求**
664
665**【描述】**
666
667对于数组的遍历处理,应该优先使用Array对象方法,如:`forEach(), map(), every(), filter(), find(), findIndex(), reduce(), some()`。
668
669**【反例】**
670
671```
672const numbers = [1, 2, 3, 4, 5];
673// 依赖已有数组来创建新的数组时,通过for遍历,生成一个新数组
674const increasedByOne: number[] = [];
675for (let i = 0; i < numbers.length; i++) {
676  increasedByOne.push(numbers[i] + 1);
677}
678```
679
680**【正例】**
681
682```
683const numbers = [1, 2, 3, 4, 5];
684// better: 使用map方法是更好的方式
685const increasedByOne: number[] = numbers.map(num => num + 1);
686```
687
688## 不要在控制性条件表达式中执行赋值操作
689
690**【级别】要求**
691
692**【描述】**
693
694控制性条件表达式常用于`if`、`while`、`for`、`?:`等条件判断中。
695在控制性条件表达式中执行赋值,常常导致意料之外的行为,且代码的可读性非常差。
696
697**【反例】**
698
699```
700// 在控制性判断中赋值不易理解
701if (isFoo = false) {
702  ...
703}
704```
705
706**【正例】**
707
708```
709const isFoo = someBoolean; // 在上面赋值,if条件判断中直接使用
710if (isFoo) {
711  ...
712}
713```
714
715## 在`finally`代码块中,不要使用`return`、`break`、`continue`或抛出异常,避免`finally`块非正常结束
716
717**【级别】要求**
718
719**【描述】**
720
721在`finally`代码块中,直接使用`return`、`break`、`continue`、`throw`语句,或由于调用方法的异常未处理,会导致`finally`代码块无法正常结束。非正常结束的`finally`代码块会影响`try`或`catch`代码块中异常的抛出,也可能会影响方法的返回值。所以要保证`finally`代码块正常结束。
722
723**【反例】**
724
725```
726function foo() {
727  try {
728    ...
729    return 1;
730  } catch (err) {
731    ...
732    return 2;
733  } finally {
734    return 3;
735 }
736}
737```
738
739**【正例】**
740
741```
742function foo() {
743  try {
744    ...
745    return 1;
746  } catch (err) {
747    ...
748    return 2;
749  } finally {
750    console.log('XXX!');
751  }
752}
753```
754
755## 避免使用`ESObject`
756
757**【级别】建议**
758
759**【描述】**
760
761`ESObject`主要用在ArkTS和TS/JS跨语言调用场景中的类型标注,在非跨语言调用场景中使用`ESObject`标注类型,会引入不必要的跨语言调用,造成额外性能开销。
762
763**【反例】**
764
765```
766// lib.ets
767export interface I {
768  sum: number
769}
770
771export function getObject(value: number): I {
772  let obj: I = { sum: value };
773  return obj
774}
775
776// app.ets
777import { getObject } from 'lib'
778let obj: ESObject = getObject(123);
779```
780
781**【正例】**
782
783```
784// lib.ets
785export interface I {
786  sum: number
787}
788
789export function getObject(value: number): I {
790  let obj: I = { sum: value };
791  return obj
792}
793
794// app.ets
795import { getObject, I } from 'lib'
796let obj: I = getObject(123);
797```
798
799## 使用`T[]`表示数组类型
800
801**【级别】建议**
802
803**【描述】**
804
805ArkTS提供了两种数组类型的表示方式:`T[]`和`Array<T>`。为了代码的可读性,建议所有数组类型均用`T[]`来表示。
806
807**【反例】**
808
809```
810let x: Array<number> = [1, 2, 3];
811let y: Array<string> = ['a', 'b', 'c'];
812```
813
814**【正例】**
815
816```
817// 统一使用T[]语法
818let x: number[] = [1, 2, 3];
819let y: string[] = ['a', 'b', 'c'];
820```
821