[1] [[Web IDL]]/[[DOM]] の[DFN[[RUBYB[[[型]]]@en[type]]]]の一覧です。 * 仕様書 [REFS[ - [3] [CITE[Web IDL (Second Edition)]] ([TIME[2014-02-10 21:45:38 +09:00]] 版) ]REFS] * WebIDL 基本的な型 [FIG(short list)[ - [CODE(DOMi)@en[[[any]]]] - [CODE(DOMi)@en[[[byte]]]] - [CODE(DOMi)@en[[[octet]]]] - [CODE(DOMi)@en[[[boolean]]]] - [CODE(DOMi)@en[[[short]]]] - [CODE(DOMi)@en[[[unsigned short]]]] - [CODE(DOMi)@en[[[long]]]] - [CODE(DOMi)@en[[[unsigned long]]]] - [CODE(DOMi)@en[[[long long]]]] - [CODE(DOMi)@en[[[unsigned long]]]] - [CODE(DOMi)@en[[[float]]]] - [CODE(DOMi)@en[[[unrestricted float]]]] - [CODE(DOMi)@en[[[double]]]] - [CODE(DOMi)@en[[[unrestricted double]]]] - [CODE(DOMi)@en[[[DOMString]]]] - [CODE(DOMi)@en[[[USVString]]]] - [CODE(DOMi)@en[[[ByteString]]]] - [CODE(DOMi)@en[[[object]]]] - [CODE(DOMi)@en[[[Date]]]] - [CODE(DOMi)@en[[[RegExp]]]] - [CODE(DOMi)@en[[[Function]]]] - [CODE(DOMi)@en[[[Int8Array]]]] - [CODE(DOMi)@en[[[Int16Array]]]] - [CODE(DOMi)@en[[[Int32Array]]]] - [CODE(DOMi)@en[[[Uint8Array]]]] - [CODE(DOMi)@en[[[Uint16Array]]]] - [CODE(DOMi)@en[[[Uint32Array]]]] - [CODE(DOMi)@en[[[Uint8ClampedArray]]]] - [CODE(DOMi)@en[[[Float32Array]]]] - [CODE(DOMi)@en[[[Float64Array]]]] - [CODE(DOMi)@en[[[ArrayBuffer]]]] - [CODE(DOMi)@en[[[DataView]]]] - [CODE(DOMi)@en[[[Error]]]] - [CODE(DOMi)@en[[[DOMException]]]] - [CODE(DOMi)@en[symbol][symbol (JavaScript)]] ]FIG] * IDL 素片により定義される型 [FIG(short list)[ - [CODE(DOMi)@en[[[interface]]]] - [CODE(DOMi)@en[[[dictionary]]]] - [CODE(DOMi)@en[[[enum]]]] - [CODE(DOMi)@en[[[callback]]]] [HISTORY[ - [CODE(DOMi)@en[class][クラス (JavaScript)]] ]HISTORY] ]FIG] [2] [[DOMインターフェイスの一覧]]、[[型定義]]も参照。 * 組み合わせの型 [FIG(short list)[ - [CODE(DOMi)@en[[[?]]]] - [CODE(DOMi)@en[[[sequence<>]]]] - [CODE(DOMi)@en[[[union]]]] - [CODE(IDL)@en[[[Promise<>]]]] - [CODE(IDL)@en[[[FrozenArray<>]]]] - [CODE(IDL)@en[record<>]] ]FIG] * 歴史的な型 [HISTORY[ [14] [FIG(short list)[ - [CODE(DOMi)@en[[['''['''''']''']]]] - [CODE(DOMi)@en[[[exception]]]] - [CODE(DOMi)@en[[[ScalarValueString]]]] - [CODE(DOMi)@en[[[ArrayBufferData]]]] - DOM3 Core -- [CODE(DOMi)@en[[[DOMObject]]]] -- [CODE(DOMi)@en[[[DOMUserData]]]] -- [CODE(DOMi)@en[UserDataHandler]] - DOM LS -- [CODE(DOMi)@en[[[LSInputStream]]]] -- [CODE(DOMi)@en[[[LSOutputStream]]]] -- [CODE(DOMi)@en[[[LSReader]]]] -- [CODE(DOMi)@en[[[LSWriter]]]] - XML Schema API -- [CODE(DOMi)@en[[[GenericString]]]] -- [CODE(DOMi)@en[[[GenericObject]]]] -- @@ XXX - WebCGM DOM -- [CODE(DOMi)@en[[[WebCGMString]]]] ]FIG] ]HISTORY] * 分類 [4] [[Web IDL]] では次のような分類が定義されています [SRC[>>3]]。 [FIG(short list)[ - [[整数型]] - [[数値型]] - [[文字列型]] - [[primitive型]] - [[型付き配列型]] - [[バッファー源型]] - [[オブジェクト型]] ]FIG] * 識別子 [5] [[Web IDL]] 上では、組み込みの型は予約語 (の組み合わせ) により、 [[IDL素片]]により定義される型は[[識別子]]により、 組み合わせの型はそれらと [[Web IDL]] の構文の組み合わせによって表現されます。 [6] それぞれの[[型]]に対しては[[型名]]が定義されています [SRC[>>3]]。 ただし[[型名]]は衝突することがありますから、[[型]]を識別する目的では使えません。 * 型に関する概念 [7] [CODE(IDL)@en[[[any]]]] や[[union型]]において実際の値の[[型]]のことを、 [[特定型]]といいます。 [13] [[配列型]]や[[列型]]において構成要素の[[型]]のことを、[[要素型]]といいます。 [9] [[union型]]を構成する[[型]]を[[メンバー型]]といいます。 [8] [[null可能型]]に対して元の[[型]]のことを[[内側型]]といいます。 * 型指定の制約 [HISTORY[ @@ [16] この表は古くなっています。 [12] [[型]]は、指定されてる対象によって、次のような制約があります。 [FIG[ , ,[CODE(IDL)@en[[[any]]]],[[primitive型]],[CODE(IDL)@en[[[object]]]],[[インターフェイス]],[[辞書]],[[列挙]],[[コールバック関数]],[CODE(IDL)@en[[[Date]]]],[CODE(IDL)@en[[[RegExp]]]],[CODE(IDL)@en[[[void]]]] ,[[定数]]の[[型]],×,○?t,×,×,×,×,×,×,× ,[[属性]]の[[型]],○?tau,○?tau,○?tau,○?tau,×,○?tau,○?tau,○?tau,○?tau ,[[返し型]],○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○ ,[[引数]]の[[型]],○?taus,○?taus,○?taus,○?taus,○taus,○?taus,○?taus,○?taus,○?taus ,[[辞書メンバー]]の[[型]],○?taus,○?taus,○?taus,○?taus,※taus,○?taus,○?taus,○?taus,○?taus ,[[例外フィールド]]の[[型]],○?tau,○?tau,○?tau,○?tau,×,○?tau,○?tau,○?tau,○?tau ,[[直列化可能型]],×,○?tus,×,※?tus,※?tus,○?tus,×,○?tus,× ,[CODE(IDL)@en[[[typedef]]]] の[[型]],○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus ,[[union]]の[[メンバー型]],×,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus ,[[null可能型]]の[[内側型]],×,○taus,○taus,○taus,○taus,○taus,○taus,○taus,○taus ,[CODE(IDL)@en[[[sequence<>]]]] の[[内側型]],○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus ,[[配列]]の[[内側型]],○?tau,○?tau,○?tau,○?tau,×,○?tau,○?tau,○?tau,○?tau ,[CODE(IDL)@en[[[Promise]]]] の[[内側型]],○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○?taus,○ - ?・・・[[null可能型]]も可能 - t・・・[CODE(IDL)[[[typdef]]]] も可能 - a・・・[[配列]]も可能 - u・・・[[union]]も可能 - s・・・[CODE(IDL)@en[[[sequence]]]] も可能 ]FIG] ]HISTORY] * 演算 [FIG(short list)[ [10] [[Web IDL値]]の[[演算]] - [[変換][変換 (Web IDL)]] - [[構造化クローン]] ]FIG] * 関連 [SEE[ [[Infra値]], [[JavaScript値]] ]] * 歴史 [11] [CITE@en[Make quality an explicit argument for canvas image conversion]] ([[domenic]]著, [TIME[2016-08-27 03:42:08 +09:00]]) [15] [CITE@en[Reword the distinguishability algorithm.]] ([[jyasskin]]著, [TIME[2016-10-18 10:06:41 +09:00]]) [17] [CITE@en['''['''geometry''']''' Use union instead of overload for DOMMatrix/DOMMatrixReadO…]] ([[zcorpan]]著, [TIME[2017-05-03 16:51:55 +09:00]]) [18] [CITE@en[Allow extended attributes to apply to types (#286)]] ([[domenic]]著, [TIME[2017-03-31 01:20:11 +09:00]]) [19] >>18 これが前からあれば [CODE(IDL)@en[USVString]] は要らなかったんだがなw [20] [CITE@en[Fix Web IDL extended attribute usage for recent changes]] ([[domenic]]著, [TIME[2017-04-25 08:22:53 +09:00]]) [21] [CITE@en[Clarify value vs type in distinguishability categories (#413)]] ([[TimothyGu]]著, [TIME[2017-08-17 07:46:17 +09:00]]) [22] [CITE@en[Fix grammar conflicts]] ([[tobie]]著, [TIME[2017-10-11 05:54:31 +09:00]]) [23] [CITE@en[Check grammar is LL(1) as part of Travis builds by tobie · Pull Request #458 · heycam/webidl]] ([TIME[2017-10-12 17:11:36 +09:00]]) [24] [CITE@en[Maybe we should think about Interface.isInterface functions again]] ([[Boris Zbarsky]]著, [TIME[2013-07-20 12:46:30 +09:00]]) [25] [CITE@en[24413 – consider adding Interface.isInterface() functions]] ([TIME[2017-12-08 16:10:12 +09:00]]) [26] [CITE@en[Editorial: refer to the correct types in integer conversion algorithms]] ([[Ms2ger]]著, [TIME[2019-01-15 22:27:50 +09:00]]) [27] [CITE@en[Integer type conversions seem to return wrong type for unsigned types and long long · Issue #579 · heycam/webidl]] ([TIME[2019-06-18 15:18:18 +09:00]]) [28] [CITE@en[Editorial: Refer to the correct types in integer conversion algorithms. by Ms2ger · Pull Request #613 · heycam/webidl]] ([TIME[2019-06-18 15:18:33 +09:00]])