鸿蒙Harmony角落里的知识：从ECMA规范到ArkTS接口（一）

2024-06-21 17:44
文章标签 接口 知识 规范 鸿蒙 arkts harmony ecma 角落里

本文主要是介绍鸿蒙Harmony角落里的知识：从ECMA规范到ArkTS接口（一），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

 前言：

在深入理解和使用ArkTS中的数组操作之前，我们有必要先了解ECMAScript（ECMA）规范中的规定。ECMA规范是JavaScript语言的官方标准，而ArkTS作为JavaScript的超集，也遵守了这些规定。本系列文章旨在探讨ECMA规范如何定义接口，以及如何在ArkTS该接口如何使用。

ECMA对typedArray.slice接口的定义

在ECMA规范中，typedArray 是一个泛型对象，表示一个固定长度的二进制数据缓冲区，并且可以用来创建多种类型的视图，比如 Uint8Array、Int16Array、Float32Array 等。而其中的 .slice() 方法，用于浅复制 typedArray 的一部分到一个新的 typedArray 实例。

根据ECMAScript规范，typedArray.slice(begin, end) 方法接受两个参数：begin 表示起始位置，end 表示结束位置（不包含）。如果不提供 end 参数，slice 方法会复制从 begin 到原数组末尾的所有元素。如果 begin 或 end 是负数，则表示从数组末尾开始的偏移量。返回值是一个新的 typedArray 实例，包含指定范围的元素。

我们可以直接查看ECMA规范中对该函数的描述：

23.2.3.27 %TypedArray%.prototype.slice ( start, end )
The interpretation and use of the arguments of this method are the same as for Array.prototype.slice as defined in 23.1.3.28.This method performs the following steps when called:
1. Let O be the this value.
2. Perform ? ValidateTypedArray(O).
3. Let len be O.[[ArrayLength]].
4. Let relativeStart be ? ToIntegerOrInfinity(start).
5. If relativeStart = -∞, let k be 0.
6. Else if relativeStart < 0, let k be max(len + relativeStart, 0).
7. Else, let k be min(relativeStart, len).
8. If end is undefined, let relativeEnd be len; else let relativeEnd be ? ToIntegerOrInfinity(end).
9. If relativeEnd = -∞, let final be 0.
10. Else if relativeEnd < 0, let final be max(len + relativeEnd, 0).
11. Else, let final be min(relativeEnd, len).
12. Let count be max(final - k, 0).
13. Let A be ? TypedArraySpeciesCreate(O, « 𝔽(count) »).
14. If count > 0, thena. If IsDetachedBuffer(O.[[ViewedArrayBuffer]]) is true, throw a TypeError exception.b. Let srcType be TypedArrayElementType(O).c. Let targetType be TypedArrayElementType(A).d. If srcType is targetType, theni. NOTE: The transfer must be performed in a manner that preserves the bit-level encoding of the source data.ii. Let srcBuffer be O.[[ViewedArrayBuffer]].iii. Let targetBuffer be A.[[ViewedArrayBuffer]].iv. Let elementSize be TypedArrayElementSize(O).v. Let srcByteOffset be O.[[ByteOffset]].vi. Let srcByteIndex be (k × elementSize) + srcByteOffset.vii. Let targetByteIndex be A.[[ByteOffset]].viii. Let limit be targetByteIndex + count × elementSize.ix. Repeat, while targetByteIndex < limit,1. Let value be GetValueFromBuffer(srcBuffer, srcByteIndex, Uint8, true, Unordered).2. Perform SetValueInBuffer(targetBuffer, targetByteIndex, Uint8, value, true, Unordered).3. Set srcByteIndex to srcByteIndex + 1.4. Set targetByteIndex to targetByteIndex + 1.e. Else,i. Let n be 0.ii. Repeat, while k < final,1.Let Pk be ! ToString(𝔽(k)).2.Let kValue be ! Get(O, Pk).3.Perform ! Set(A, ! ToString(𝔽(n)), kValue, true).4.Set k to k + 1.5.Set n to n + 1.
15. Return A.
This method is not generic. The this value must be an object with a [[TypedArrayName]] internal slot.

大家可以看到，ECMA规范中对接口的描述非常详细，对各种参数的输入和输出都做非常细致的说明，无论是符合标准的语言接口的实现，还是

ArkTS对slice的接口描述

在ArkTS中，接口（Interfaces）是一个非常强大的特性，允许开发者定义对象的类型。为了实现一个符合ECMA规范的 slice 方法，ArkTS对该方法的定义声明如下：

以\static_core\plugins\ets\stdlib\escompat\TypedUArrays.ets的Uint8Array定义为例：

/*** Creates a slice of current Uint8Array using range [begin, end)** @param begin start index to be taken into slice** @param end last index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin;end) where end index is excluded** @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray/slice*/public slice(begin?: Number, end?: Number): Uint8Array {return this.slice(asIntOrDefault(begin, 0 as int), asIntOrDefault(end, this.lengthInt))}/*** Creates a slice of current Uint8Array using range [begin, end)** @param begin start index to be taken into slice** @param end last index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin;end) where end index is excluded** @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray/slice*/public slice(begin: number, end: number): Uint8Array {return this.slice(begin as int, end as int)}/*** Creates a slice of current Uint8Array using range [begin, end)** @param begin start index to be taken into slice** @param end last index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin;end) where end index is excluded** @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray/slice*/public slice(begin: number, end: int): Uint8Array {return this.slice(begin as int, end as int)}/*** Creates a slice of current Uint8Array using range [begin, end)** @param begin start index to be taken into slice** @param end last index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin;end) where end index is excluded** @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray/slice*/public slice(begin: int, end: number): Uint8Array {return this.slice(begin as int, end as int)}/*** Creates a slice of current Uint8Array using range [begin, end)** @param begin start index to be taken into slice** @param end last index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin;end) where end index is excluded** @link https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray/slice*/public slice(begin: int, end: int): Uint8Array {const len: int = this.lengthIntconst relStart = normalizeIndex(begin, len)const relEnd = normalizeIndex(end, len)let count = relEnd - relStartif (count < 0) {count = 0}if (this.buffer instanceof ArrayBuffer) {let buf = (this.buffer as ArrayBuffer).slice(relStart * Uint8Array.BYTES_PER_ELEMENT as int, relEnd * Uint8Array.BYTES_PER_ELEMENT as int) as ArrayBufferreturn new Uint8Array(buf)} else if (this.buffer instanceof SharedArrayBuffer) {let buf = (this.buffer as SharedArrayBuffer).slice(relStart * Uint8Array.BYTES_PER_ELEMENT as int, relEnd * Uint8Array.BYTES_PER_ELEMENT as int) as SharedArrayBufferreturn new Uint8Array(buf)} else {throw new Error("unexpected type of buffer")}}/*** Creates a slice of current Uint8Array using range [begin, this.lengthInt).** @param begin start index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin, this.lengthInt)*/public slice(begin: number): Uint8Array {return this.slice(begin as int)}/*** Creates a slice of current Uint8Array using range [begin, this.lengthInt).** @param begin start index to be taken into slice** @returns a new Uint8Array with elements of current Uint8Array[begin, this.lengthInt)*/public slice(begin: int): Uint8Array {return this.slice(begin, this.lengthInt)}

在这个例子中，我们创建了一个 Int32ArrayWithSlice 类，它实现了 TypedArray 接口，包含了符合ECMA规范的 slice 方法。这个方法返回的是 Int32ArrayWithSlice 的新实例，包含了切片后的元素。

测试用例

要验证我们的 slice 方法实现是否正确，我们可以编写单元测试用例。这里我们使用了ArkTS和Jest测试框架，来确保我们的实现与ECMA规范一致。

const success = 0;
const fail = 1;
function testSliceWithOutParam(): int {let source: number[] = [10, 20, 30, 40, 50, 60];let ss = new ArrayBuffer(source.length as int * 1);let origin: Uint8Array;try {origin = new Uint8Array(ss);origin.set(source);} catch(e) {console.log(e);return fail;}let target: Uint8Array;try {target = origin.slice();} catch(e) {console.log(e);return fail;}if(target.length as int != origin.length as int) {console.log("Array length mismatch on slice");return fail;}//Check all the data copied;for(let i:int = 0; i< origin.length as int; i++) {let tv = target[i] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}origin= new Uint8Array(0);if(origin.length as int != 0){return fail;}try {target = origin.slice();} catch(e) {console.log(e);return fail;}if(target.length as int != 0){return fail;}return success;
}function testSliceOneParam(): int {let source: number[] = [10, 20, 30, 40, 50, 60];let ss = new ArrayBuffer(source.length as int * 1);let origin: Uint8Array;try {origin = new Uint8Array(ss);origin.set(source);} catch(e) {console.log(e);return fail;}let sliceStart: int = 1;let sliceEnd: int = origin.length as int;let target: Uint8Array;try {target = origin.slice(sliceStart);} catch(e) {console.log(e);return fail;}if(target.length as int != origin.length as int - sliceStart) {console.log("Array length mismatch on slice One Params" + target.length);return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}sliceStart = 0;try {target = origin.slice(undefined);} catch(e) {console.log(e);return fail;}if(target.length as int != origin.length as int) {console.log("Array length mismatch on slice One Params" + target.length);return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}return success;
}function testSliceTwoParams(): int {let source: number[] = [10, 20, 30, 40, 50, 60, 70, 80];let ss = new ArrayBuffer(source.length as int * 1);let origin: Uint8Array;try {origin = new Uint8Array(ss);origin.set(source);} catch(e) {console.log(e);return fail;}let sliceStart: int = 2;let sliceEnd: int = 4;let target: Uint8Array;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {console.log(e);return fail;}if(target.length as int != sliceEnd - sliceStart) {console.log("Array length mismatch on slice2");return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}sliceStart = 0;sliceEnd = origin.length as int;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {console.log(e);return fail;}if(target.length as int != sliceEnd - sliceStart) {console.log("Array length mismatch on slice2");return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}try {target = origin.slice(new Number(sliceStart), undefined);} catch(e) {console.log(e);return fail;}if(target.length as int != sliceEnd - sliceStart) {console.log("Array length mismatch on slice2");return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}try {target = origin.slice(undefined, undefined);} catch(e) {console.log(e);return fail;}if(target.length as int != sliceEnd - sliceStart) {console.log("Array length mismatch on slice2");return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}try {target = origin.slice(undefined, new Number(sliceEnd));} catch(e) {console.log(e);return fail;}if(target.length as int != sliceEnd - sliceStart) {console.log("Array length mismatch on slice2");return fail;}//Check all the data copied;for(let i:int = sliceStart; i< sliceEnd; i++) {let tv = target[i - sliceStart] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}try {target = origin.slice(0, 0);} catch(e) {console.log(e);return fail;}if(target.length as int != 0) {console.log("Array length mismatch on slice2");return fail;}return success;
}function testSliceTwoParamsWithOtherNumber(): int {let source: number[] = [10, 20, 30, 40, 50, 60, 70, 80];let ss = new ArrayBuffer(source.length as int * 1);let origin: Uint8Array;try {origin = new Uint8Array(ss);origin.set(source);} catch(e) {console.log(e);return fail;}let sliceStart: int = 4;let sliceEnd: int = 2;let target: Uint8Array;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {return fail;}if(target.length as int != 0) {console.log("Array length mismatch on slice2");return fail;}sliceStart = -1;sliceEnd = origin.length as int;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {return fail;}if(target.length as int != sliceEnd - (origin.length + sliceStart)) {console.log("Array length mismatch on slice2");return fail;}//Check all the data copied;for(let i:int = (origin.length + sliceStart) as int; i< sliceEnd; i++) {let tv = target[i - (origin.length + sliceStart)] as number;let ov = origin[i] as number;console.log(source[i] + "->" + tv + "->" + ov);if(tv != ov) {console.log("Array data mismatch");return fail;}}sliceStart = 0;sliceEnd = -origin.length as int;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {console.log(e);return fail;}if(target.length as int != (origin.length + sliceEnd) - sliceStart) {console.log("Array length mismatch on slice2");return fail;}return success;
}function testSliceOneLengthTwoParams(): int {let source: number[] = [10];let ss = new ArrayBuffer(source.length as int * 1);let origin: Uint8Array;try {origin = new Uint8Array(ss);origin.set(source);} catch(e) {console.log(e);return fail;}let sliceStart: int = 4;let sliceEnd: int = 2;let target: Uint8Array;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {return fail;}if(target.length as int != 0) {console.log("Array length mismatch on slice2");return fail;}sliceStart = 2;sliceEnd = 4;try {target = origin.slice(sliceStart, sliceEnd);} catch(e) {return fail;}if(target.length as int != 0) {console.log("Array length mismatch on slice2");return fail;}return success;
}

这些测试用例检查了 slice 方法在正常条件下和非正常条件下的行为。通过运行这些测试，我们可以确认我们的实现是否符合接口定义预期和ECMA规范。

总结来说，理解ECMA规范中的接口是任何ArkTS开发者的基本功，而且通过单元测试可以保证实现的准确性和可靠性。通过逐步实现这些接口并验证它们的行为，我们可以确保我们的ArkTS代码既强大又稳健。


最后

有很多小伙伴不知道学习哪些鸿蒙开发技术？不知道需要重点掌握哪些鸿蒙应用开发知识点？但是又不知道从哪里下手，而且学习时频繁踩坑，最终浪费大量时间。所以本人整理了一些比较合适的鸿蒙（HarmonyOS NEXT）学习路径和一些资料的整理供小伙伴学习

点击领取→纯血鸿蒙Next全套最新学习资料（安全链接，放心点击）

希望这一份鸿蒙学习资料能够给大家带来帮助，有需要的小伙伴自行领取，限时开源，先到先得~无套路领取！！

一、鸿蒙（HarmonyOS NEXT）最新学习路线

​

有了路线图，怎么能没有学习资料呢，小编也准备了一份联合鸿蒙官方发布笔记整理收纳的一套系统性的鸿蒙（OpenHarmony ）学习手册（共计1236页）与鸿蒙（OpenHarmony ）开发入门教学视频，内容包含：（ArkTS、ArkUI开发组件、Stage模型、多端部署、分布式应用开发、音频、视频、WebGL、OpenHarmony多媒体技术、Napi组件、OpenHarmony内核、Harmony南向开发、鸿蒙项目实战等等）鸿蒙（HarmonyOS NEXT）…等技术知识点。

获取以上完整版高清学习路线，请点击→纯血版全套鸿蒙HarmonyOS学习资料

二、HarmonyOS Next 最新全套视频教程

​

三、《鸿蒙 (OpenHarmony)开发基础到实战手册》

OpenHarmony北向、南向开发环境搭建

​

《鸿蒙开发基础》

  • ArkTS语言
  • 安装DevEco Studio
  • 运用你的第一个ArkTS应用
  • ArkUI声明式UI开发
  • .……​

《鸿蒙开发进阶》

  • Stage模型入门
  • 网络管理
  • 数据管理
  • 电话服务
  • 分布式应用开发
  • 通知与窗口管理
  • 多媒体技术
  • 安全技能
  • 任务管理
  • WebGL
  • 国际化开发
  • 应用测试
  • DFX面向未来设计
  • 鸿蒙系统移植和裁剪定制
  • ……

​

《鸿蒙进阶实战》

  • ArkTS实践
  • UIAbility应用
  • 网络案例
  • ……

​

四、大厂面试必问面试题

​

五、鸿蒙南向开发技术

​

六、鸿蒙APP开发必备

​

七、鸿蒙生态应用开发白皮书V2.0PDF

​


完整鸿蒙HarmonyOS学习资料，请点击→纯血版全套鸿蒙HarmonyOS学习资料

总结
总的来说，华为鸿蒙不再兼容安卓，对中年程序员来说是一个挑战，也是一个机会。只有积极应对变化，不断学习和提升自己，他们才能在这个变革的时代中立于不败之地。 

                        

这篇关于鸿蒙Harmony角落里的知识：从ECMA规范到ArkTS接口（一）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1081902。

相关文章

springboot下载接口限速功能实现

springboot下载接口限速功能实现

《springboot下载接口限速功能实现》通过Redis统计并发数动态调整每个用户带宽,核心逻辑为每秒读取并发送限定数据量,防止单用户占用过多资源,确保整体下载均衡且高效,本文给大家介绍spring... 目录 一、整体目标 二、涉及的主要类/方法✅ 三、核心流程图解（简化） 四、关键代码详解1️⃣ 设置
阅读更多...
spring中的ImportSelector接口示例详解

spring中的ImportSelector接口示例详解

《spring中的ImportSelector接口示例详解》Spring的ImportSelector接口用于动态选择配置类,实现条件化和模块化配置,关键方法selectImports根据注解信息返回... 目录一、核心作用二、关键方法三、扩展功能四、使用示例五、工作原理六、应用场景七、自定义实现Impor
阅读更多...
MybatisPlus service接口功能介绍

MybatisPlus service接口功能介绍

《MybatisPlusservice接口功能介绍》：本文主要介绍MybatisPlusservice接口功能介绍,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录Service接口基本用法进阶用法总结：Lambda方法Service接口基本用法MyBATisP
阅读更多...
华为鸿蒙HarmonyOS 5.1官宣7月开启升级! 首批支持名单公布

华为鸿蒙HarmonyOS 5.1官宣7月开启升级! 首批支持名单公布

《华为鸿蒙HarmonyOS5.1官宣7月开启升级!首批支持名单公布》在刚刚结束的华为Pura80系列及全场景新品发布会上，除了众多新品的发布，还有一个消息也点燃了所有鸿蒙用户的期待，那就是Ha... 在今日的华为 Pura 80 系列及全场景新品发布会上，华为宣布鸿蒙 HarmonyOS 5.1 将于 7
阅读更多...
Java中的Closeable接口及常见问题

Java中的Closeable接口及常见问题

《Java中的Closeable接口及常见问题》Closeable是Java中的一个标记接口,用于表示可以被关闭的对象,它定义了一个标准的方法来释放对象占用的系统资源,下面给大家介绍Java中的Clo... 目录1. Closeable接口概述2. 主要用途3. 实现类4. 使用方法5. 实现自定义Clos
阅读更多...
java对接第三方接口的三种实现方式

java对接第三方接口的三种实现方式

《java对接第三方接口的三种实现方式》：本文主要介绍java对接第三方接口的三种实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录HttpURLConnection调用方法CloseableHttpClient调用RestTemplate调用总结在日常工作
阅读更多...
JSR-107缓存规范介绍

JSR-107缓存规范介绍

《JSR-107缓存规范介绍》JSR是JavaSpecificationRequests的缩写,意思是Java规范提案,下面给大家介绍JSR-107缓存规范的相关知识,感兴趣的朋友一起看看吧... 目录1.什么是jsR-1072.应用调用缓存图示3.JSR-107规范使用4.Spring 缓存机制缓存是每一
阅读更多...
Java 的 Condition 接口与等待通知机制详解

Java 的 Condition 接口与等待通知机制详解

《Java的Condition接口与等待通知机制详解》在Java并发编程里,实现线程间的协作与同步是极为关键的任务,本文将深入探究Condition接口及其背后的等待通知机制,感兴趣的朋友一起看... 目录一、引言二、Condition 接口概述2.1 基本概念2.2 与 Object 类等待通知方法的区别
阅读更多...
SpringBoot实现接口数据加解密的三种实战方案

SpringBoot实现接口数据加解密的三种实战方案

《SpringBoot实现接口数据加解密的三种实战方案》在金融支付、用户隐私信息传输等场景中,接口数据若以明文传输,极易被中间人攻击窃取,SpringBoot提供了多种优雅的加解密实现方案,本文将从原... 目录一、为什么需要接口数据加解密？二、核心加解密算法选择1. 对称加密（AES）2. 非对称加密（R
阅读更多...
Java对接Dify API接口的完整流程

Java对接Dify API接口的完整流程

《Java对接DifyAPI接口的完整流程》Dify是一款AI应用开发平台,提供多种自然语言处理能力,通过调用Dify开放API,开发者可以快速集成智能对话、文本生成等功能到自己的Java应用中,本... 目录Java对接Dify API接口完整指南一、Dify API简介二、准备工作三、基础对接实现1.
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2