Math:gen_rngのシードがnullを受け付ける

[poppingmoon]

Math:gen_rng のアルゴリズムがchacha20のとき、 seed を null にすることができ、シードがランダムな乱数生成器が生成される。

aiscript/src/interpreter/lib/math.ts

Line 221 in d6106b8

if (seed.type !== 'num' && seed.type !== 'str' && seed.type !== 'null') throw new AiScriptRuntimeError('`seed` must be either number or string if specified.');

aiscript/src/utils/random/genrng.ts

Lines 32 to 40 in d6106b8

	if (!seed || seed.type !== 'num' && seed.type !== 'str' && seed.type !== 'null') return NULL;
	let actualSeed : Uint8Array | undefined = undefined;
	if (seed.type === 'num')
	{
	actualSeed = new Uint8Array(await crypto.subtle.digest('SHA-384', new Uint8Array(new Float64Array([seed.value]))));
	} else if (seed.type === 'str') {
	actualSeed = new Uint8Array(await crypto.subtle.digest('SHA-384', new Uint8Array(textEncoder.encode(seed.value))));
	}
	const rng = new ChaCha20(actualSeed);

aiscript/src/utils/random/chacha20.ts

Lines 60 to 62 in d6106b8

	if (typeof seed === 'undefined') {
	keynonce = crypto.getRandomValues(new Uint8Array(keyNonceBytes));
	} else {

他のアルゴリズムの場合も seed を null にすることができるが、エラーは発生せず null が返される。

aiscript/src/utils/random/genrng.ts

Lines 9 to 10 in d6106b8

	if (!seed || seed.type !== 'num' && seed.type !== 'str') return NULL;
	const rng = seedrandom(seed.value.toString());

aiscript/src/utils/random/genrng.ts

Lines 20 to 21 in d6106b8

	if (!seed || seed.type !== 'num' && seed.type !== 'str') return NULL;
	const rng = new SeedRandomWrapper(seed.value);

例

<: Math:gen_rng(null)()
<: Math:gen_rng(null)()

<: Math:gen_rng(null, {algorithm: "rc4_legacy"})
<: Math:gen_rng(null, {algorithm: "rc4"})

Playground

出力

0.21390153769277456
0.15832915539986403
null
null

[FineArchs]

これは多分nullの時に非決定的な生成器ができるのが仕様でnullが返るのは未実装の意味ですね

[poppingmoon]

どこにそのような仕様が書かれていますか？

AiScript 0.19.0 では Math:gen_rng(null) は null を返していましたし、その後何か議論があってシードに null を与えてもいいようになったわけでも無いと思います。

レファレンスには、シードの型が num | str であると書かれています。
https://aiscript-dev.github.io/ja/references/std-math.html#math-gen-rng-seed-num-str-options-obj-min-num-max-num

これは #731 の実装の中で紛れ込んだ不具合ととらえるべきだと思います。
Math:gen_rng の第一引数が省略不可能なことを考えても、この関数の役割は決定的な乱数生成器を生成すること以外にないと思います。

また、 #731 (comment) でも指摘されているように、不正なシードを与えた際に null が返される挙動は解消するべきです。

[FineArchs]

そういえば仕様って仕様書に定められるものだった（麻痺）適当言いました、すみません
よく考えたらMath:rndがあるのにこっちでわざわざ非決定な生成器を作る意味はないですね
nullをエラー代わりにするなというのもそれはそう（エラー型を返す選択肢もあるがこの場合はバリデーションが困難とかの理由がない）