関数の引数を省略してもexistsはtrueを返す

[taiyme]

@func(arg) {
  return exists arg
}
func()

引数 arg を省略した場合でも、exists arg はtrueを返します。
(引数の省略は正式な構文ではないが……)

引数を省略した場合、そのまま扱うとエラーになってしまうので、existsで判定できると助かります。

• 関連PR: Next: 省略可能引数と初期値付き引数を追加 #475

[FineArchs]

AiScriptはundefinedがないので、「existsがfalseを返す」ことが実質的にundefinedの代わりになれば色々便利そうですね

[FineArchs]

破壊性低そうだから次のリリースに入れていいかも

[salano-ym]

原因

引数が足りない場合にargs[i]がundefinedを返してしまう。（多い場合は単に捨てられる）
!が付いているので型チェックもすり抜ける。
想定外のundefinedを引数として受け取っているので、existsはtrueを返すが、参照するとエラーになる。

aiscript/src/interpreter/index.ts

Lines 238 to 244 in 8d4dbaf

	const _args = new Map<string, Variable>();
	for (let i = 0; i < (fn.args ?? []).length; i++) {
	_args.set(fn.args![i]!, {
	isMutable: true,
	value: args[i]!,
	});
	}

対策案

• 引数の個数をチェックする
• undefinedをチェックする
• 変数管理の仕様を修正する
• !の使い方を見直す

[salano-ym]

AiScriptはundefinedがないので、「existsがfalseを返す」ことが実質的にundefinedの代わりになれば色々便利そうですね

exists obj.prop
exists arr[idx]

みたいなことができると便利かな？

[salano-ym]

undefined自体をScopeに持たせるのは変更箇所が多くなりそうなので、ここは修正すべきかと思います。

[salano-ym]

とりあえずすぐにできそうな修正はこの2方法

• 実引数と仮引数の個数が違う場合はエラーにする
  nextの省略方法との兼ね合いも要考慮
• 足りない引数（=undefined）をScopeに追加せず無視する
  existsで判定可能になるが、引数の省略方法がnext予定のものと2つ存在することになる?

[FineArchs]

aiscript/test/index.ts

Lines 1703 to 1714 in 1391781

	test.concurrent('missing arg', async () => {
	try {
	await exe(`
	@func(a){}
	func()
	`);
	} catch (e) {
	assert.ok(e instanceof AiScriptRuntimeError);
	return;
	}
	assert.fail();
	});

#475 では省略可能でない引数が省略されるとエラーになります

[salano-ym]

cf.

• 関数の引数が足りない時の動作が未定義 #320