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