HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（九）

鸿蒙时代

发布于 2024-7-25 11:11

2940浏览

0收藏

一、需要显式标注泛型函数类型实参
规则：arkts-no-inferred-generic-params
级别：错误
如果可以从传递给泛型函数的参数中推断出具体类型，ArkTS允许省略泛型类型实参。否则，省略泛型类型实参会发生编译时错误。
禁止仅基于泛型函数返回类型推断泛型类型参数。
TypeScript

function choose<T>(x: T, y: T): T {
  return Math.random() < 0.5 ? x: y;
}

let x = choose(10, 20);   // 推断choose<number>(...)
let y = choose('10', 20); // 编译时错误

function greet<T>(): T {
  return 'Hello' as T;
}
let z = greet() // T的类型被推断为“unknown”

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

ArkTS

function choose<T>(x: T, y: T): T {
  return Math.random() < 0.5 ? x: y;
}

let x = choose(10, 20);   // 推断choose<number>(...)
let y = choose('10', 20); // 编译时错误

function greet<T>(): T {
  return 'Hello' as T;
}
let z = greet<string>();

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

二、需要显式标注对象字面量的类型
规则：arkts-no-untyped-obj-literals
级别：错误
在ArkTS中，需要显式标注对象字面量的类型，否则，将发生编译时错误。在某些场景下，编译器可以根据上下文推断出字面量的类型。
在以下上下文中不支持使用字面量初始化类和接口：
初始化具有any、Object或object类型的任何对象
初始化带有方法的类或接口
初始化包含自定义含参数的构造函数的类
初始化带readonly字段的类
例子1
TypeScript

let o1 = {n: 42, s: 'foo'};
let o2: Object = {n: 42, s: 'foo'};
let o3: object = {n: 42, s: 'foo'};

let oo: Object[] = [{n: 1, s: '1'}, {n: 2, s: '2'}];

1.
2.
3.
4.
5.
6.

ArkTS

class C1 {
  n: number = 0
  s: string = ''
}

let o1: C1 = {n: 42, s: 'foo'};
let o2: C1 = {n: 42, s: 'foo'};
let o3: C1 = {n: 42, s: 'foo'};

let oo: C1[] = [{n: 1, s: '1'}, {n: 2, s: '2'}];

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

例子2
TypeScript

class C2 {
  s: string
  constructor(s: string) {
    this.s = 's =' + s;
  }
}
let o4: C2 = {s: 'foo'};

1.
2.
3.
4.
5.
6.
7.
8.

ArkTS

class C2 {
  s: string
  constructor(s: string) {
    this.s = 's =' + s;
  }
}
let o4 = new C2('foo');

1.
2.
3.
4.
5.
6.
7.
8.

例子3
TypeScript

class C3 {
  readonly n: number = 0
  readonly s: string = ''
}
let o5: C3 = {n: 42, s: 'foo'};

1.
2.
3.
4.
5.
6.

ArkTS

class C3 {
  n: number = 0
  s: string = ''
}
let o5: C3 = {n: 42, s: 'foo'};

1.
2.
3.
4.
5.
6.

例子4
TypeScript

abstract class A {}
let o6: A = {};

1.
2.
3.

ArkTS

abstract class A {}
class C extends A {}
let o6: C = {}; // 或 let o6: C = new C()

1.
2.
3.
4.

例子5
TypeScript

class C4 {
  n: number = 0
  s: string = ''
  f() {
    console.log('Hello');
  }
}
let o7: C4 = {n: 42, s: 'foo', f: () => {}};

1.
2.
3.
4.
5.
6.
7.
8.
9.

ArkTS

class C4 {
  n: number = 0
  s: string = ''
  f() {
    console.log('Hello');
  }
}
let o7 = new C4();
o7.n = 42;
o7.s = 'foo';

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

例子6
TypeScript

class Point {
  x: number = 0
  y: number = 0
}

function getPoint(o: Point): Point {
  return o;
}

// TS支持structural typing，可以推断p的类型为Point
let p = {x: 5, y: 10};
getPoint(p);

// 可通过上下文推断出对象字面量的类型为Point
getPoint({x: 5, y: 10});

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.

ArkTS

class Point {
  x: number = 0
  y: number = 0

  // 在字面量初始化之前，使用constructor()创建一个有效对象。
  // 由于没有为Point定义构造函数，编译器将自动添加一个默认构造函数。
}

function getPoint(o: Point): Point {
  return o;
}

// 字面量初始化需要显式定义类型
let p: Point = {x: 5, y: 10};
getPoint(p);

// getPoint接受Point类型，字面量初始化生成一个Point的新实例
getPoint({x: 5, y: 10});

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.

相关约束
对象字面量不能用于类型声明
数组字面量必须仅包含可推断类型的元素
三、对象字面量不能用于类型声明
规则：arkts-no-obj-literals-as-types
级别：错误
ArkTS不支持使用对象字面量声明类型，可以使用类或者接口声明类型。
TypeScript

let o: {x: number, y: number} = {
  x: 2,
  y: 3
}

type S = Set<{x: number, y: number}>

1.
2.
3.
4.
5.
6.
7.

ArkTS

class O {
  x: number = 0
  y: number = 0
}

let o: O = {x: 2, y: 3};

type S = Set<O>

1.
2.
3.
4.
5.
6.
7.
8.
9.

相关约束
对象字面量必须对应某些显式声明的类或接口
数组字面量必须仅包含可推断类型的元素

本文根据HarmonyOS NEXT Developer Beta1官方公开的开发文档整理而成。

分类

HarmonyOS

标签

HarmonyOS Next

相关推荐

【HarmonyOS应用开发】Hello HarmonyOS到Hi HarmonyOS（2）

Tuer白晓明 • 1.5w浏览 • 3回复
HarmonyOS Next 原生应用开发-ArkTS语法适配背景说明

鸿蒙时代 • 5767浏览 • 0回复
HarmonyOS Next 原生应用开发-从TS到ArkTS的适配规则（一）

鸿蒙时代 • 3173浏览 • 0回复
HarmonyOS Next 原生应用开发-从TS到ArkTS的适配规则（二）

鸿蒙时代 • 2568浏览 • 0回复
HarmonyOS Next 原生应用开发-从TS到ArkTS的适配规则（三）

鸿蒙时代 • 2537浏览 • 0回复
HarmonyOS Next 原生应用开发-从TS到ArkTS的适配规则（四）

鸿蒙时代 • 2229浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（五）

鸿蒙时代 • 2834浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（六）

鸿蒙时代 • 2659浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（七）

鸿蒙时代 • 2117浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（八）

鸿蒙时代 • 2730浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十）

鸿蒙时代 • 2394浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十一）

鸿蒙时代 • 3151浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十二）

鸿蒙时代 • 4538浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十三）

鸿蒙时代 • 5261浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十四）

鸿蒙时代 • 5779浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十五）

鸿蒙时代 • 5228浏览 • 0回复
HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（十六）

鸿蒙时代 • 7243浏览 • 0回复
HarmonyOS Next 跨端适配的电商购物应用开发（进阶）

SameX • 2413浏览 • 0回复
鸿蒙生态下的AI革新：大模型如何重塑移动应用开发？从写代码到写Prompt，解锁鸿蒙原生应用高效开发秘籍

HarmonyOS开发者社区 • 4264浏览 • 0回复

鸿蒙时代

LV.14

鸿蒙先行者

觉得TA不错？点个关注精彩不错过

885

帖子

168

视频

10121

声望

684

粉丝

关注

51CTO

51CTO博客

51CTO学堂

HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则（九）

订阅鸿蒙技术特刊，精选内容抢先看