大家好，我是一名热爱Java开发的开发人员。目前，我正在学习ARKTS（Advanced Java Knowledge and Technology Stack），并将不断输出我的学习笔记。我将在这里分享我学习ARKTS的过程和心得，希望能够为其他开发人员提供一些有价值的参考和帮助。让我们一起探索ARKTS的奥秘，共同进步！
ArkTS是一种为构建高性能应用而设计的编程语言。ArkTS在继承TypeScript语法的基础上进行了优化，以提供更高的性能和开发效率。本文，主要是对ArkTs函数与类学习过程，进行总结输出。
1. 函数
函数声明
函数声明引入一个函数，包含其名称、参数列表、返回类型和函数体。
以下示例是一个简单的函数，包含两个string类型的参数，返回类型为string：
function add(x: string, y: string): string {let z: string = `${x} ${y}`;return z;
}
可选参数
可选参数的格式可为name?: Type。
export function test(input ?: string) {if (input == undefined) {console.log("undefined")} else {console.log(input)}
}
可选参数的另一种形式为设置的参数默认值。如果在函数调用中这个参数被省略了，则会使用此参数的默认值作为实参。
export function test(input ?: string, num : number = 2) {if (input == undefined) {console.log("undefined")} else {console.log(input)}
}
Rest参数
函数的最后一个参数可以是rest参数。使用rest参数时，允许函数或方法接受任意数量的实参。
function sum(...numbers: number[]): number {let res = 0;for (let n of numbers)res += n;return res;
}sum(); // 返回0
sum(1, 2, 3); // 返回6
返回类型
如果可以从函数体内推断出函数返回类型，则可在函数声明中省略标注返回类型。
export function add(num1 : number = 1, num2 : number = 2) {return num1 + num2;
}
不需要返回值的函数的返回类型可以显式指定为void或省略标注。这类函数不需要返回语句。
以下示例中两种函数声明方式都是有效的：
function hi1() { console.log('hi'); }
function hi2(): void { console.log('hi'); }
函数的作用域
函数中定义的变量和其他实例仅可以在函数内部访问，不能从外部访问。
如果函数中定义的变量与外部作用域中已有实例同名，则函数内的局部变量定义将覆盖外部定义。
函数调用
调用函数以执行其函数体，实参值会赋值给函数的形参。
export function test2(num2: number, num = add()) {return num2 + num;
}test2(2, add(3, 4))
函数类型
函数类型通常用于定义回调：
t
ype trigFunc = (x: number) => number // 这是一个函数类型function do_action(f: trigFunc) {f(3.141592653589); // 调用函数
}do_action(Math.sin); // 将函数作为参数传入
箭头函数（又名Lambda函数）
函数可以定义为箭头函数，例如：
let sum = (x: number, y: number): number => {return x + y;
}
箭头函数的返回类型可以省略；省略时，返回类型通过函数体推断。
let kk = (num2: number, num = add()) => num2 + num
let k = (x: number, y: number) => x + y
函数重载
我们可以通过编写重载，指定函数的不同调用方式。具体方法为，为同一个函数写入多个同名但签名不同的函数头，函数实现紧随其后。
function testkk(str: string): voidfunction testkk(n: number): voidfunction testkk(w: string | number) {}
2.类
类声明引入一个新类型，并定义其字段、方法和构造函数。
class Person {name: string = '';age: number = -1;constructor(name: string, age: number) {this.name = name;this.age = age;}
}
定义类后，可以使用关键字new创建实例：
let son = new Person("xiaoming", 20)
let son1 = new Person("xiaok", 21)或者，可以使用对象字面量创建实例：
class Point {x: number = 0;y: number = 0;
}
let p: Point = {x: 42, y: 42};
Note：这里有一个发现， 字面量不支持构造方法，即以下写法，编译器会报错
class Person {name: string = "";age: number = -1;constructor(name: string, age: number) {this.name = name;this.age = age;}
}let son1: Person = {name: "xx", age: 21}; ~~//此处会报错，字面量，不支持构造方法~~
ArkTS的可见性修饰符和构造函数重载
在ArkTS中，类和对象的使用与TypeScript类似，包括可见性修饰符（public、protected、private）和构造函数重载等特性。例如：
class Person {name: string= "";age: number = -1;constructor(x: number | string) {if (typeof x === 'number') {this.age = x;} else {this.name = x;}}
}let son1 = new Person("xiaom")
let son2 = new Person(23)
字段初始化
ArkTS要求所有字段在声明时或者构造函数中显式初始化。即：以下的写法，在编译器中，会报错。
接下来的代码展示了如果name的值可以是undefined，那么应该如何写代码。
class Person {name?: string;age: number = -1;
}let son1 = new Person()
son1.name?.toString()
方法
方法上，基本和java一样。
- 实例方法可以归属与类，也可以是静态的方法
- 继承和实现、方法重写和java一样
- 父类和子类的概念，和java也基本一样
- 方法重载签名，这个和java不一样，需要进行签名，然后进行统一实现
- 构造函数，原则上只允许一个，和java不一样
- 可见性修饰符，public、private、protected
- 对象字面量，对象字面量是一个表达式，可用于创建类实例并提供一些初始值
- Record类型的对象字面量
- 泛型函数、泛型约束，使用方法和java一直，多了一个泛型默认值
空安全
默认情况下，ArkTS中的所有类型都是不可为空的，因此类型的值不能为空。
但是可以这样
let numm : number | nullclass Person {name: string | null | undefined;age: number = -1;
}let son1 = new Person()
son1.name?.toString()
空值合并运算符
a ?? b等价于三元运算符(a != null && a != undefined) ? a : b
class Person {name: string | null | undefined;age: number = -1;getName(): string {return this.name ?? "xiaoming";}
}
但是，使用过程中，发现一个问题，这个变量，需要必须同时声明为null | undefined，才可以使用??
必须这样
function testkk(w: string | number) {let numm: number | null |undefinednumm ?? 23
}
如果这样，编译器报错
3.总结
本文，主要总结了在ARKTS（Advanced Java Knowledge and Technology Stack）中对函数与类的学习过程。以下是总结：
函数： 涵盖函数声明、可选参数、Rest参数、返回类型、作用域、调用、类型和箭头函数等，详细解释了如何使用这些特性，并提供了示例代码。
类： 包括类声明、构造函数、字段初始化、方法、空安全及空值合并运算符等，展示了ArkTS中类的定义和使用，以及与Java的不同之处。
