[1] Web IDL/DOM の型typeの一覧です。

仕様書

[3] Web IDL (Second Edition) (2014-02-10 21:45:38 +09:00 版) http://heycam.github.io/webidl/#idl-types

WebIDL 基本的な型

any
byte
octet
boolean
short
unsigned short
long
unsigned long
long long
unsigned long
float
unrestricted float
double
unrestricted double
DOMString
USVString
ByteString
object
Date
RegExp
Function
Int8Array
Int16Array
Int32Array
Uint8Array
Uint16Array
Uint32Array
Uint8ClampedArray
Float32Array
Float64Array
ArrayBuffer
DataView
Error
DOMException
symbolsymbol (JavaScript)

IDL 素片により定義される型

interface
dictionary
enum
callback

classクラス (JavaScript)

[2] DOMインターフェイスの一覧、型定義も参照。

組み合わせの型

?
sequence<>
union
Promise<>
FrozenArray<>
record<>

歴史的な型

[14]

[]
exception
ScalarValueString
ArrayBufferData
DOM3 Core
- DOMObject
- DOMUserData
- UserDataHandler
DOM LS
- LSInputStream
- LSOutputStream
- LSReader
- LSWriter
XML Schema API
- GenericString
- GenericObject
- @@ XXX
WebCGM DOM
- WebCGMString

識別子

[5] Web IDL 上では、組み込みの型は予約語 (の組み合わせ) により、 IDL素片により定義される型は識別子により、組み合わせの型はそれらと Web IDL の構文の組み合わせによって表現されます。

[6] それぞれの型に対しては型名が定義されています >>3。ただし型名は衝突することがありますから、型を識別する目的では使えません。

型に関する概念

[7] any やunion型において実際の値の型のことを、特定型といいます。

[13] 配列型や列型において構成要素の型のことを、要素型といいます。

[9] union型を構成する型をメンバー型といいます。

[8] null可能型に対して元の型のことを内側型といいます。

型指定の制約

[16] この表は古くなっています。

[12] 型は、指定されてる対象によって、次のような制約があります。

	`any`	primitive型	`object`	インターフェイス	辞書	列挙	コールバック関数	`Date`	`RegExp`	`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	×
`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
`sequence<>` の内側型	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus
配列の内側型	○?tau	○?tau	○?tau	○?tau	×	○?tau	○?tau	○?tau	○?tau
`Promise` の内側型	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○?taus	○

?・・・null可能型も可能
t・・・typdef も可能
a・・・配列も可能
u・・・unionも可能
s・・・sequence も可能

演算

[10]

Web IDL値の演算

変換変換 (Web IDL)
構造化クローン

歴史

[11] Make quality an explicit argument for canvas image conversion (domenic著, 2016-08-27 03:42:08 +09:00) https://github.com/whatwg/html/commit/7d25c4c2452b705220417ffb951c9b89e04ba50b

[15] Reword the distinguishability algorithm. (jyasskin著, 2016-10-18 10:06:41 +09:00) https://github.com/heycam/webidl/commit/ab1756ece27426128adaa7b9ea809a7a615d6f40

[17] [geometry] Use union instead of overload for DOMMatrix/DOMMatrixReadO… (zcorpan著, 2017-05-03 16:51:55 +09:00) https://github.com/w3c/fxtf-drafts/commit/2e04b5db67698e01f5852d66b300d45fe6d10387

[18] Allow extended attributes to apply to types (#286) (domenic著, 2017-03-31 01:20:11 +09:00) https://github.com/heycam/webidl/commit/faaaaa9ffb548a303db362a09e4b1504c4605e0c

[19] >>18 これが前からあれば USVString は要らなかったんだがなw

[20] Fix Web IDL extended attribute usage for recent changes (domenic著, 2017-04-25 08:22:53 +09:00) https://github.com/whatwg/html/commit/793ace83447c9420a4dbc14f9bb14d3c35550f0a

[21] Clarify value vs type in distinguishability categories (#413) (TimothyGu著, 2017-08-17 07:46:17 +09:00) https://github.com/heycam/webidl/commit/b0ab1c0abb63ee47b30aaf502140a5c18c3e0573

[22] Fix grammar conflicts (tobie著, 2017-10-11 05:54:31 +09:00) https://github.com/heycam/webidl/commit/76c51928d97b2cd09083120c64056ba4b7adc20c

[23] Check grammar is LL(1) as part of Travis builds by tobie · Pull Request #458 · heycam/webidl (2017-10-12 17:11:36 +09:00) https://github.com/heycam/webidl/pull/458

[24] Maybe we should think about Interface.isInterface functions again (Boris Zbarsky著, 2013-07-20 12:46:30 +09:00) https://lists.w3.org/Archives/Public/public-script-coord/2013JulSep/0105.html

[25] 24413 – consider adding Interface.isInterface() functions (2017-12-08 16:10:12 +09:00) https://www.w3.org/Bugs/Public/show_bug.cgi?id=24413

[26] Editorial: refer to the correct types in integer conversion algorithms (Ms2ger著, 2019-01-15 22:27:50 +09:00) https://github.com/heycam/webidl/commit/107e981e86919291e9e99b605751173e669f7eb5

[27] Integer type conversions seem to return wrong type for unsigned types and long long · Issue #579 · heycam/webidl (2019-06-18 15:18:18 +09:00) https://github.com/heycam/webidl/issues/579

[28] Editorial: Refer to the correct types in integer conversion algorithms. by Ms2ger · Pull Request #613 · heycam/webidl (2019-06-18 15:18:33 +09:00) https://github.com/heycam/webidl/pull/613

仕様書