編集（ ArrayBuffer 作成アルゴリズムを汎用化

triple-underscore · triple-underscore · commit 3c021617a22b · 2025-04-17T23:31:34.000+09:00
diff --git a/Encoding-ja.html b/Encoding-ja.html
@@ -687,7 +687,7 @@
 BS.~byte長さ:~WEBIDLjs#buffersource-byte-length
 配列~buffer~viewの中へ~byte列を書込む:~WEBIDLjs#arraybufferview-write
 	:~WEBIDLjs#arraybufferview-write-startingoffset
-~buffer~sourceを~byte列から作成する:~WEBIDLjs#_buffersource-create
+~buffer~sourceを作成する:~WEBIDLjs#_buffersource-create
 
 ~chunk:~STREAMS#chunk
 可読~stream:~STREAMS#readable-stream
@@ -4645,7 +4645,7 @@ <h3 title="Interface TextEncoder">7.4. ~interface `TextEncoder^I</h3>
 %出力 ~SET %出力 を~byte列に`変換する$
 </li>
 					<li>
-~RET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %出力, コレに`関連な~realm$ )
+~RET `~buffer~sourceを作成する$( `Uint8Array$I, %出力, コレに`関連な~realm$ )
 </li>
 				</ol>
 ◎
@@ -5416,7 +5416,7 @@ <h3 title="Interface TextEncoderStream">7.6. ~interface `TextEncoderStream^I</h3
 </p>
 						<ol>
 							<li>
-%~chunk ~LET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %出力, %符号化器 に`関連な~realm$ )
+%~chunk ~LET `~buffer~sourceを作成する$( `Uint8Array$I, %出力, %符号化器 に`関連な~realm$ )
 ◎
 Let chunk be a Uint8Array object wrapping an ArrayBuffer containing output.
 </li>
@@ -5578,7 +5578,7 @@ <h3 title="Interface TextEncoderStream">7.6. ~interface `TextEncoderStream^I</h3
 			</li>
 			<li>
 <p>
-%~chunk ~LET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %~byte列, %符号化器 に`関連な~realm$ )
+%~chunk ~LET `~buffer~sourceを作成する$( `Uint8Array$I, %~byte列, %符号化器 に`関連な~realm$ )
 ◎
 ↑</li>
 			<li>
diff --git a/Fetch-ja.html b/Fetch-ja.html
@@ -1308,7 +1308,7 @@
 反復される値~pair群:~WEBIDL#dfn-value-pairs-to-iterate-over
 
 保持された~byte列の複製を取得する:~WEBIDLjs#dfn-get-buffer-source-copy
-~buffer~sourceを~byte列から作成する:~WEBIDLjs#_buffersource-create
+~buffer~sourceを作成する:~WEBIDLjs#_buffersource-create
 	~WEBIDLjs#arraybufferview-create → ~WEBIDLjs#_buffersource-create
 	~WEBIDLjs#arraybuffer-create → ~WEBIDLjs#_buffersource-create
 
@@ -18862,7 +18862,7 @@ <h3 title="BodyInit unions">5.2. `BodyInit^I 共用体</h3>
 </p>
 						<ol>
 							<li>
-%~chunk ~LET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %~byte列【, ここに必要な~realm引数はまだ指定されていない】 )
+%~chunk ~LET `~buffer~sourceを作成する$( `Uint8Array$I, %~byte列【, ここに必要な~realm引数はまだ指定されていない】 )
 </li>
 							<li>
 %~stream に`~chunkを~enqueueする$RS( %~chunk )
@@ -19227,7 +19227,7 @@ <h3 title="Body mixin">5.3. `Body^I ~mixin</h3>
 ( `~byte列$ %~byte列 )
 に対し
 ⇒
-~RET `~buffer~sourceを~byte列から作成する$( `ArrayBuffer$I, %~byte列, コレに`関連な~realm$ )
+~RET `~buffer~sourceを作成する$( `ArrayBuffer$I, %~byte列, コレに`関連な~realm$ )
 ◎
 given a byte sequence bytes: return the result of creating an ArrayBuffer from bytes in this’s relevant realm.
 </p>
@@ -19285,7 +19285,7 @@ <h3 title="Body mixin">5.3. `Body^I ~mixin</h3>
 ( `~byte列$ %~byte列 )
 に対し
 ⇒
-~RET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %~byte列, コレに`関連な~realm$ )
+~RET `~buffer~sourceを作成する$( `Uint8Array$I, %~byte列, コレに`関連な~realm$ )
 ◎
 given a byte sequence bytes:＼
 return the result of creating a Uint8Array from bytes in this’s relevant realm.
diff --git a/File_API-ja.html b/File_API-ja.html
@@ -539,7 +539,7 @@
 ~supportする~prop~index:~WEBIDL#dfn-supported-property-indices
 投出-:~WEBIDL#dfn-throw
 保持された~byte列の複製を取得する:~WEBIDLjs#dfn-get-buffer-source-copy
-~buffer~sourceを~byte列から作成する:~WEBIDLjs#_buffersource-create
+~buffer~sourceを作成する:~WEBIDLjs#_buffersource-create
 新たな~obj:~WEBIDLjs#new
 新たな~promise:~WEBIDLjs#a-new-promise
 却下される~promise:~WEBIDLjs#a-promise-rejected-with
@@ -1736,7 +1736,7 @@ <h2 title="The Blob Interface and Binary Data">3. `Blob^I ~interfaceと~binary~d
 If bytes is failure, then error stream with a failure reason and abort these steps.
 </li>
 							<li>
-%~chunk ~LET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %~byte列, %~blob に`関連な~realm$ )
+%~chunk ~LET `~buffer~sourceを作成する$( `Uint8Array$I, %~byte列, %~blob に`関連な~realm$ )
 ⇒
 例外 %e が投出されたときは
 ⇒＃
@@ -2438,7 +2438,7 @@ <h3 title="Methods and Parameters">3.3. ~method</h3>
 手続きは、
 所与の ( %入力 ) に対し
 ⇒
-~RET `~buffer~sourceを~byte列から作成する$( `ArrayBuffer$I, %入力, コレに`関連な~realm$ )
+~RET `~buffer~sourceを作成する$( `ArrayBuffer$I, %入力, コレに`関連な~realm$ )
 ◎
 that returns a new ArrayBuffer whose contents are its first argument.
 </div>
@@ -2487,7 +2487,7 @@ <h3 title="Methods and Parameters">3.3. ~method</h3>
 手続きは、
 所与の ( %入力 ) に対し
 ⇒
-~RET `~buffer~sourceを~byte列から作成する$( `ArrayBuffer$I, %入力, コレに`関連な~realm$ )
+~RET `~buffer~sourceを作成する$( `ArrayBuffer$I, %入力, コレに`関連な~realm$ )
 ◎
 that returns a new Uint8Array wrapping an ArrayBuffer containing its first argument.
 </div>
@@ -4028,7 +4028,7 @@ <h3 title="Packaging data">6.3. ~dataの梱包-法</h3>
 
 	<dt>`ArrayBuffer^i</dt>
 	<dd>
-~RET `~buffer~sourceを~byte列から作成する$( `ArrayBuffer$I, %~byte列, %~blob に`関連な~realm$ )
+~RET `~buffer~sourceを作成する$( `ArrayBuffer$I, %~byte列, %~blob に`関連な~realm$ )
 ◎
 Return a new ArrayBuffer whose contents are bytes.
 </dd>
diff --git a/HTML-canvas-ja.html b/HTML-canvas-ja.html
@@ -1011,7 +1011,7 @@
 	~JS値に変換する:~WEBIDLjs#js-type-mapping
 ~callback関数を呼出す:~WEBIDLjs#invoke-a-callback-function
 BS.~byte長さ:~WEBIDLjs#buffersource-byte-length
-~buffer~sourceを~byte列から作成する:~WEBIDLjs#_buffersource-create
+~buffer~sourceを作成する:~WEBIDLjs#_buffersource-create
 
 算出d値:~CASCADE#computed-value
 ~fontに相対的な長さ:~CSSVAL#font-relative-length
@@ -11944,36 +11944,12 @@ <h6 title="Pixel manipulation">4.12.5.1.16. 画素~操作</h6>
 		<ol>
 			<li>
 <p>
-%画素~形式 に応じて：
-</p>
-				<ul class="switch">
-					<li>
-<p>
-`rgba-unorm8$l：
-</p>
-						<ol>
-							<li>
-%~byte列 ~LET 長さ ( 4 ~MUL %縦幅 ~MUL %横幅 ), すべて 0 からなる~byte列
-</li>
-							<li>
-%~source ~SET `~buffer~sourceを~byte列から作成する$( `Uint8ClampedArray$I, %~byte列 )
-</li>
-						</ol>
-					</li>
-					<li>
-<p>
-`rgba-float16$l：
+%~source ~SET %画素~形式 に応じて
+⇒＃
+`rgba-unorm8$l ならば `~buffer~sourceを作成する$( `Uint8ClampedArray$I, 4 ~MUL %縦幅 ~MUL %横幅 ) ／
+`rgba-float16$l ならば `~buffer~sourceを作成する$( `Float16Array$I, 8 ~MUL %縦幅 ~MUL %横幅 )
 </p>
-						<ol>
-							<li>
-%~byte列 ~LET 長さ ( 8 ~MUL %縦幅 ~MUL %横幅 ), すべて 0 からなる~byte列
-</li>
-							<li>
-%~source ~SET `~buffer~sourceを~byte列から作成する$( `Float16Array$I, %~byte列 )
-</li>
-						</ol>
-					</li>
-				</ul>
+
 <p>
 この段は、
 ~buffer~source用の配列~bufferを割振れなかった場合には，
@@ -11982,10 +11958,8 @@ <h6 title="Pixel manipulation">4.12.5.1.16. 画素~操作</h6>
 
 <p class="trans-note">【
 この訳では、
-“~buffer~sourceを~byte列から作成する” ~algoを利用して，
-この段の内容を簡素化する
-（ “すべて 0 からなる” は、
-原文には無いが，形式的に必要になる）。
+“~buffer~sourceを作成する” ~algoを利用して，
+この段の内容を簡素化する。
 】</p>
 ◎
 If settings["pixelFormat"] is "rgba-unorm8", then initialize the data attribute of imageData to a new Uint8ClampedArray object. The Uint8ClampedArray object must use a new ArrayBuffer for its storage, and must have a zero byte offset and byte length equal to the length of its storage, in bytes. The storage ArrayBuffer must have a length of 4 × rows × pixelsPerRow bytes.
diff --git a/Streams-ja.html b/Streams-ja.html
@@ -952,7 +952,7 @@
 BS.~byte長さ:~WEBIDLjs#buffersource-byte-length
 保持された~byte列の複製を取得する:~WEBIDLjs#dfn-get-buffer-source-copy
 配列~buffer~viewの中へ~byte列を書込む:~WEBIDLjs#arraybufferview-write
-~buffer~sourceを~byte列から作成する:~WEBIDLjs#_buffersource-create
+~buffer~sourceを作成する:~WEBIDLjs#_buffersource-create
 	配列~buffer~viewを~byte列から作成する:~WEBIDLjs#arraybufferview-create
 
 新たな~obj:~WEBIDLjs#new
@@ -24156,7 +24156,7 @@ <h4 title="Creation and manipulation">9.1.1. 作成と操作</h4>
 </p>
 		<ol>
 			<li>
-%~view ~SET `~buffer~sourceを~byte列から作成する$( `Uint8Array$I, %~pullした~byte列, %~stream に`関連な~realm$ )
+%~view ~SET `~buffer~sourceを作成する$( `Uint8Array$I, %~pullした~byte列, %~stream に`関連な~realm$ )
 ◎
 Set view to the result of creating a Uint8Array from pulled in stream’s relevant Realm.
 </li>
diff --git a/WebIDL-JS-ja.html b/WebIDL-JS-ja.html
@@ -905,7 +905,7 @@
 可反復から凍結d配列を作成する:#create-frozen-array-from-iterable
 凍結d配列を作成する:#dfn-create-frozen-array
 
-~buffer~sourceを~byte列から作成する:#_buffersource-create
+~buffer~sourceを作成する:#_buffersource-create
 	配列~bufferを~byte列から作成する:#arraybuffer-create
 	配列~buffer~viewを~byte列から作成する:#arraybufferview-create
 	共用~配列~bufferを~byte列から作成する:#sharedarraybuffer-create
@@ -7163,23 +7163,25 @@ <h4 title="Buffer source types">3.2.26. ~buffer~source型</h4>
 
 <div class="algo">
 <p>
-`~buffer~sourceを~byte列から作成する@
+`~buffer~sourceを作成する@
 ~algoは、
 所与の
-( `~buffer~source型$ %T, `~byte列$ %~byte列, `~realm$ %~realm )
+( `~buffer~source型$ %T, ［ `~byte列$／負でない整数 ］ %~byte列または長さ, `~realm$ %~realm )
 に対し：
-◎
-To create an ArrayBuffer from a byte sequence bytes in a realm realm:
-◎
-↓↓</p>
+</p>
 <ol>
 	<li>
 %~buffer型 ~LET %T に応じて
 ⇒＃
 `SharedArrayBuffer$T ならば %T ／
 ~ELSE_ `ArrayBuffer$T
-◎
-↓↓</li>
+</li>
+	<li>
+%長さ ~LET %~byte列または長さ に応じて
+⇒＃
+`~byte列$であるならば`~byte列$の`長さ$byte ／
+整数であるならば %~byte列または長さ
+</li>
 	<li>
 <p>
 %~js配列~buffer ~LET %~buffer型 に応じて：
@@ -7188,84 +7190,64 @@ <h4 title="Buffer source types">3.2.26. ~buffer~source型</h4>
 			<li>
 `SharedArrayBuffer$T
 ⇒
-~ABRUPT `AllocateSharedArrayBuffer$A( %~realm.`SharedArrayBuffer$jIsl,
-%~byte列 の`長さ$byte )
+~ABRUPT `AllocateSharedArrayBuffer$A( %~realm.`SharedArrayBuffer$jIsl, %長さ )
 </li>
 			<li>
 `ArrayBuffer$T
 ⇒
-~ABRUPT `AllocateArrayBuffer$A( %~realm.`ArrayBuffer$jIsl,
-%~byte列 の`長さ$byte )
+~ABRUPT `AllocateArrayBuffer$A( %~realm.`ArrayBuffer$jIsl, %長さ )
 </li>
 		</ul>
-◎
-↓↓
-◎
-Let jsArrayBuffer be ? AllocateArrayBuffer(realm.[[Intrinsics]].[[%ArrayBuffer%]], bytes’s length).
-</li>
+
+<p class="trans-note">【
+~JS仕様に則って、
+ここで割振られた~bufferを成す各~byteは，
+すべて 0 に初期化される。
+~bufferを割振ることに失敗した場合、
+`RangeError$jE が投出される。
+】</p>
+	</li>
 	<li>
 %配列~buffer ~LET `~IDL値に変換する$( %~js配列~buffer, %~buffer型 )
-◎
-Let arrayBuffer be the result of converting jsArrayBuffer to an IDL value of type ArrayBuffer.
 </li>
 	<li>
-`配列~bufferの中へ~byte列を書込む$( %配列~buffer, %~byte列 )
-◎
-Write bytes into arrayBuffer.
+~IF［
+%~byte列または長さ は`~byte列$である
+］
+⇒
+`配列~bufferの中へ~byte列を書込む$( %配列~buffer, %~byte列または長さ )
 </li>
 	<li>
 ~IF［
 %T は`~buffer型$である
 ］
 ⇒
 ~RET %配列~buffer
-◎
-Return arrayBuffer.
-◎
-↑↑ To create a SharedArrayBuffer from a byte sequence bytes in a realm realm:
-• Let jsSharedArrayBuffer be ? AllocateSharedArrayBuffer(realm.[[Intrinsics]].[[%SharedArrayBuffer%]], bytes’s length).
-• Let sharedArrayBuffer be the result of converting jsSharedArrayBuffer to an IDL value of type SharedArrayBuffer.
-• Write bytes into sharedArrayBuffer.
-• Return sharedArrayBuffer.
 </li>
 	<li>
 ~Assert：
 %T は`~buffer~view型$である
-◎
-↑↑To create one of the ArrayBufferView types from a byte sequence bytes in a realm realm:
 </li>
 	<li>
 ~Assert：
 ［
 %T ~EQ `DataView$T
 ］~OR［
-( %~byte列 の`長さ$byte ) `modulo$op ( %T の`要素~size$eS )
+%長さ `modulo$op ( %T の`要素~size$eS )
 ~EQ 0
 ］
-◎
-Assert: if the type is not DataView, then bytes’s length modulo the element size of that type is 0.
 </li>
 	<li>
 %構築子 ~LET %~realm.`Intrinsics^sl からの［
 %T 用の適切な構築子
 ］
-◎
-↑↑Let arrayBuffer be the result of creating an ArrayBuffer from bytes in realm.
-◎
-↑↑Let jsArrayBuffer be the result of converting arrayBuffer to a JavaScript value.
-◎
-Let constructor be the appropriate constructor from realm.[[Intrinsics]] for the type of ArrayBufferView being created.
 </li>
 	<li>
 %~js~view ~LET
 ~NOABRUPT `Construct$A( %構築子, « %~js配列~buffer » )
-◎
-Let jsView be ! Construct(constructor, « jsArrayBuffer »).
 </li>
 	<li>
 ~RET `~IDL値に変換する$( %~js~view, %T )
-◎
-Return the result of converting jsView into the given type.
 </li>
 </ol>
 
@@ -7279,7 +7261,33 @@ <h4 title="Buffer source types">3.2.26. ~buffer~source型</h4>
 <dfn id="arraybufferview-create">`ArrayBufferView$T の場合</dfn>
 ］の 3 つに分けて定義されているが，
 この訳では 1 つに統合することにする。
+】【
+%~byte列または長さ は、
+原文では，~byte列しかとらない %~byte列 として定義されるが、
+この訳では，［
+~byte列を書込むことなく~buffer~sourceを作成する事例
+］にも利用できるよう拡張する。
 】</p>
+◎
+To create an ArrayBuffer from a byte sequence bytes in a realm realm:
+• Let jsArrayBuffer be ? AllocateArrayBuffer(realm.[[Intrinsics]].[[%ArrayBuffer%]], bytes’s length).
+• Let arrayBuffer be the result of converting jsArrayBuffer to an IDL value of type ArrayBuffer.
+• Write bytes into arrayBuffer.
+• Return arrayBuffer.
+◎
+To create a SharedArrayBuffer from a byte sequence bytes in a realm realm:
+• Let jsSharedArrayBuffer be ? AllocateSharedArrayBuffer(realm.[[Intrinsics]].[[%SharedArrayBuffer%]], bytes’s length).
+• Let sharedArrayBuffer be the result of converting jsSharedArrayBuffer to an IDL value of type SharedArrayBuffer.
+• Write bytes into sharedArrayBuffer.
+• Return sharedArrayBuffer.
+◎
+To create one of the ArrayBufferView types from a byte sequence bytes in a realm realm:
+• Assert: if the type is not DataView, then bytes’s length modulo the element size of that type is 0.
+• Let arrayBuffer be the result of creating an ArrayBuffer from bytes in realm.
+• Let jsArrayBuffer be the result of converting arrayBuffer to a JavaScript value.
+• Let constructor be the appropriate constructor from realm.[[Intrinsics]] for the type of ArrayBufferView being created.
+• Let jsView be ! Construct(constructor, « jsArrayBuffer »).
+• Return the result of converting jsView into the given type.
 </div>
 
 <div class="algo">
@@ -7594,7 +7602,7 @@ <h4 title="Buffer source types">3.2.26. ~buffer~source型</h4>
 代替として，次を行うこともできる
 ⇒＃
 まず，~buffer~sourceに`保持された~byte列の複製を取得する$；
-その~byte列を改変してから，`~buffer~sourceを~byte列から作成する$；
+その~byte列を改変してから，`~buffer~sourceを作成する$；
 結果の新たな`~buffer型$の~obj【！ ArrayBuffer or ArrayBufferView】を作者~codeに与える。
 ◎
 Alternately, you can get a copy of the bytes held by the buffer source, modify those bytes, and then use them to create a new ArrayBuffer or ArrayBufferView to give back to author code.
diff --git a/compression-ja.html b/compression-ja.html
diff --git a/service-workers-ja.html b/service-workers-ja.html
diff --git a/webtransport-ja.html b/webtransport-ja.html
