check nullish args in variadic call targets · Pull Request !7765 · OpenHarmony/arkcompiler_ets_frontend

1. check nullish args in variadic call targets
---

关联的Issue
#ICNZ8W:[新需求]:Concurrency-related APIs do not support parameter transfer in the callback & variable parameter scenario

需求背景/Description

Concurrency-related APIs do not support parameter transfer in the callback & variable parameter scenario

Updated Syntax Specification

setTimeout(func: Function, delayMs: number, ...args: FixedArray<NullishType>): number
setInterval(func: Function, delayMs: number, ...args: FixedArray<NullishType>): number;

Task constructor(name: string, func: Function, ...args: NullishType[])
Task constructor(func: Function, ...args: NullishType[])

TaskGroup.addTask(func: Function, ...args: NullishType[]): void

taskpool.execute(func: Function, ...args: NullishType[]): Promise\<NullishType>

EAWorker.run<R> (task: Function, ...args: NullishType[]): Job<R>
Updated Syntax: Code Examples

function callback(a1: string, a2?: string) {
    console.info(a1)
    console.info(a2)
}
setTimeout(callback, 1, ""arg1""，"""");
Is automatic repair supported?

Not supported
Adaptation Recommendations

If parameters need to be transferred, you are advised to transfer a default value or null value.
Reason for update

In section 1.2, the function type cannot be directly invoked. The unsafeCall interface is provided. This interface does not support the transfer of parameters (for review).
Spec link:https://gitee.com/openharmony/arkcompiler_runtime_core/blob/OpenHarmony_feature_20250328/static_core/plugins/ets/doc/spec/3_types.rst#type-function

问题现象&&分析/Reason
Original Syntax

"setTimeout(handler: Function | string, delay?: number, …arguments: any[]): number
setInterval(handler: Function | string, delay: number,  …arguments: any[]): number
Task constructor(name: string, func: Function, ...args: Object[])
Task constructor(func: Function, ...args: Object[])
taskpool.execute(func: Function, ...args: Object[]): Promise<Object>
TaskGroup.addTask(func: Function, ...args: Object[]): void
Original Syntax Code Example

以setTimeout为例：
function callback(a1: string, a2?: string) {
    console.info(a1)
    console.info(a2)
}
setTimeout(callback, 1, ""arg1"");
//1.0中回调可正常执行，打印：
// arg1
// undefined
Migration Tool Error Message

Missing parameter to be passed.
Compiler Error Message

不涉及（Not involved）
Running Error Message

Unhandled exception: std.core.ArgumentsUnderapplicationError

Tests
ninja all tests

类型	指派人员	状态
审查	@egavrin 由 CODEOWNERS 文件第 18 行指派为审查者	进行中 (0/1人)
审查	godmiaozi zhuoli72 gavin1012_hw 徐城 Ilya Trubachev Urakov Alexandr Chernykh Sergey Vsevolod Pukhov	进行中 (0/1人)
测试	openharmony_ci	进行中 (0/1人)

OpenHarmony/arkcompiler_ets_frontend .gitee-modal { width: 500px !important; }

搜索帮助

OpenHarmony/arkcompiler_ets_frontend