初识arkTS
一.什么是arkTS
1.1 定义
ArkTS是HarmonyOS优选的主力应用开发语言。
ArkTS围绕应用开发在TypeScript(简称TS)生态基础上做了进一步扩展,保持了TS的基本风格,同时通过规范定义强化开发期静态检查和分析,提升程序执行稳定性和性能。
目前流行的编程语言TypeScript是在JavaScript基础上通过添加类型定义扩展而来的,而ArkTS则是TypeScript的进一步扩展。TypeScript深受开发者的喜爱,因为它提供了一种更结构化的JavaScript编码方法。ArkTS旨在保持TypeScript的大部分语法,为现有的TypeScript开发者实现无缝过渡,让移动开发者快速上手ArkTS。
1.2 ArkTS与TS差异
ArkTS通过规范约束了TS中过于灵活而影响开发正确性或者给运行时带来不必要额外开销的特性,下面通过代码片段说明部分约束特性。
二.基本知识
2.1声明
ArkTS通过声明引入变量、常量、函数和类型。
2.1.1变量声明
以关键字let开头的声明引入变量,该变量在程序执行期间可以具有不同的值。
2.1.2常量声明
以关键字const开头的声明引入只读常量,该常量只能被赋值一次。 对常量重新赋值会造成编译时错误。
自动类型推断
由于ArkTS是一种静态类型语言,所有数据的类型都必须在编译时确定。
但是,如果一个变量或常量的声明包含了初始值,那么开发者就不需要显式指定其类型。ArkTS规范中列举了所有允许自动推断类型的场景。
以下示例中,两条声明语句都是有效的,两个变量都是string类型:
let str1:string='你好';
let str2='你好';//自动推导数据类型
//str2=123//变量的数据类型不能改变
//不允许使用var声明
//var a:number=123;
//const 声明的是常量,只能赋值一次
const str3:string='123';
//str3='234';
2.2类型
2.2.1Number类型
ArkTS提供number和Number类型,任何整数和浮点数都可以被赋给此类型的变量。 数字字面量包括整数字面量和十进制浮点数字面量。 整数字面量包括以下类别:
由数字序列组成的十进制整数。例如:0、117、-345
以0x(或0X)开头的十六进制整数,可以包含数字(0-9)和字母a-f或A-F。
例如:0x1123、0x00111、-0xF1A7
以0o(或0O)开头的八进制整数,只能包含数字(0-7)。
例如:0o777
以0b(或0B)开头的二进制整数,只能包含数字0和1。
例如:0b11、0b0011、-0b11
//数据类型
//1.number 整数字面量
let num1:number=123;//10进制
let num2:number=0b101010;//2进制
let num3:number=0o17;//8进制
let num4:number=0xfac;//16进制//a-f 10-15
浮点字面量包括以下:
十进制整数,可为有符号数(即,前缀为“+”或“-”);
小数点(“.”)
小数部分(由十进制数字字符串表示)
以“e”或“E”开头的指数部分,后跟有符号(即,前缀为“+”或“-”)或无符号整数。
2.2.3Boolean类型
boolean类型由true和false两个逻辑值组成。
通常在条件语句中使用boolean类型的变量:
2.2.4 String类型
string代表字符序列;可以使用转义字符来表示字符。
字符串字面量由单引号(')或双引号(")之间括起来的零个或多个字符组成。
字符串字面量还有一特殊形式,是用反向单引号(`)括起来的模板字面量。
2.2.5Void类型
void类型用于指定函数没有返回值。
此类型只有一个值,同样是void。由于void是引用类型,因此它可以用于泛型类型参数
2.2.6 Object类型
Object类型是所有引用类型的基类型。任何值,包括基本类型的值(它们会被自动装箱),都可以直接被赋给Object类型的变量。
//Object 是所有类型的基础类
let ob:Object=123;
2.2.7Array类型
array,即数组,是由可赋值给数组声明中指定的元素类型的数据组成的对象。 数组可由数组复合字面量(即用方括号括起来的零个或多个表达式的列表,其中每个表达式为数组中的一个元素)来赋值。数组的长度由数组中元素的个数来确定。数组中第一个元素的索引为0。
以下示例将创建包含三个元素的数组:
2.2.8Enum类型
enum类型,又称枚举类型,是预先定义的一组命名值的值类型,其中命名值又称为枚举常量。
enum Sex{
男,女
}
let sex1:Sex=Sex.男;
let sex2:Sex=0;
使用枚举常量时必须以枚举类型名称为前缀。
2.2.9Union类型
union类型,即联合类型,是由多个类型组合成的引用类型。联合类型包含了变量可能的所有类型。
可以用不同的机制获取联合类型中特定类型的值。
class Dog{
play(){
console.log('狗')
}
}
export class Cat{
play(){
console.log('猫')
}
}
class Penguin{
play(){
console.log('企鹅')
}
}
//pet 是联合类型
type Pet=Dog|Cat|Penguin
let p1:Pet=new Dog();
p1.play()
2.2.10Aliases类型
Aliases类型为匿名类型(数组、函数、对象字面量或联合类型)提供名称,或为已有类型提供替代名称
三.运算符
3.1赋值运算符
赋值运算符=,使用方式如x=y。
复合赋值运算符将赋值与运算符组合在一起,其中x op = y等于x = x op y。
复合赋值运算符列举如下:+=、-=、*=、/=、%=、<<=、>>=、>>>=、&=、|=、^=。
3.2比较运算符
3.3算术运算符
一元运算符为-、+、--、++。
二元运算符列举如下:
3.4位运算符
判断是否为偶数
// let flag=(18&1)==0
// console.log(`${(18&1)==0}`)
// console.log(`${3|5}`)//或 有一则为一
// console.log(`${29^15}`) //异或 0^0=0,1^1=0,1^0=0,0^1=1
// console.log(`${~7}`) //取反 0变1 1变0
3.5逻辑运算符
四.语句
4.1 If语句
if语句用于需要根据逻辑条件执行不同语句的场景。当逻辑条件为真时,执行对应的一组语句,否则执行另一组语句(如果有的话)。
else部分也可能包含if语句。
条件表达式可以是任何类型。但是对于boolean以外的类型,会进行隐式类型转换:
//语句 if语句隐式迭代
let a:string=''//有值 ture
let b=2;//0是false
let c:Cat=new Cat()
if(c){
console.log('ture')
}else {
console.log('false')
}
4.2 Switch语句
使用switch语句来执行与switch表达式值匹配的代码块。
如果switch表达式的值等于某个label的值,则执行相应的语句。
如果没有任何一个label值与表达式值相匹配,并且switch具有default子句,那么程序会执行default子句对应的代码块。
break语句(可选的)允许跳出switch语句并继续执行switch语句之后的语句。
如果没有break语句,则执行switch中的下一个label对应的代码块。
4.3条件表达式
条件表达式由第一个表达式的布尔值来决定返回其它两个表达式中的哪一个。
condition ? expression1 : expression2
如果condition的为真值(转换后为true的值),则使用expression1作为该表达式的结果;否则,使用expression2。
4.4For语句
for语句会被重复执行,直到循环退出语句值为false。
for语句的执行流程如下:
1、 执行init表达式(如有)。此表达式通常初始化一个或多个循环计数器。
2、 计算condition。如果它为真值(转换后为true的值),则执行循环主体的语句。如果它为假值(转换后为false的值),则for循环终止。
3、 执行循环主体的语句。
4、 如果有update表达式,则执行该表达式。
5、 回到步骤2。
4.5 For-of语句
使用for-of语句可遍历数组或字符串。示例如下:
let arrs:Array<number>=[1,2,3,4,5,6,7]
for (let arr of arrs) {
console.log(`${arr}`)
}
let str='hello world!'
for (let element of str){
console.log(element)
}
tryCatch();
4.6While语句
只要condition为真值(转换后为true的值),while语句就会执行statements语句。示例如下:
4.7Do-while语句
如果condition的值为真值(转换后为true的值),那么statements语句会重复执行。示例如下:
4.8Break语句
使用break语句可以终止循环语句或switch。
如果break语句后带有标识符,则将控制流转移到该标识符所包含的语句块之外。
4.9Continue语句
continue语句会停止当前循环迭代的执行,并将控制传递给下一个迭代。
4.10Throw和Try语句
throw语句用于抛出异常或错误:
export class Err{
static add(a:number,b:number):number{
if(!b){
//抛出异常
throw new Error('除数不能为0')
}
return a/b
}
}
try语句用于捕获和处理异常或错误:
export function tryCatch(){
let aaa:number=0;
try{//有可能出现问题的代码
aaa= Err.add(1,0)
}catch (e){//出现问题后的解决办法 e--->错误信息
console.log(e)
} finally {//异常的最终处理方案
//不管代码有没有出现异常都会执行
return aaa;
}
}
五.函数
5.1函数声明
函数声明引入一个函数,包含其名称、参数列表、返回类型和函数体。 以下示例是一个简单的函数,包含两个string类型的参数,返回类型为string
5.2可选参数
可选参数的格式可为name?: Type。
可选参数的另一种形式为设置的参数默认值。如果在函数调用中这个参数被省略了,则会使用此参数的默认值作为实参。
5.3Rest参数
函数的最后一个参数可以是rest参数。使用rest参数时,允许函数或方法接受任意数量的实参
返回类型
如果可以从函数体内推断出函数返回类型,则可在函数声明中省略标注返回类型
不需要返回值的函数的返回类型可以显式指定为void或省略标注。这类函数不需要返回语句。