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