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