TypeScriptでイベントをPromise化する関数の型を定義したい ― 2022年12月03日 10時41分
この記事はTypeScript Advent Calendar 2022の3日目の分です。
「addEventListenerでリッスンしているイベントをPromise化する」という記事で、イベントをPromise
で受け取る関数が紹介されています。Node.jsのevents
モジュールのevents.once
メソッドと同じ機能を実現するものですね。Webブラウザ組み込みのDOMでも同じ機能を提供しようという提案もなされています。
最初の記事では余談として今回紹介したeventPromisifyはTypeScriptで書こうとすると型の定義が難しいなと思いました
と書かれています。例えばeventPromisify(document, 'click')
と呼び出したら返り値の型がPromise<MouseEvent>
になってほしいのですが、そのような型定義を記述できるでしょうか? (以下、TypeScript 4.9を想定しています。)
イベントが発生する対象(target
)とイベント名(type
)を決め打ちできるのなら、
type EventForDocumentClick =
typeof document.addEventListener<'click'> extends
(type: 'click', listener: (event: infer E) => void) => void
? E : never;
// = MouseEvent
のように、document
と'click'
からMouseEvent
を導出できます。しかし、変数document
ではなくDocument
型だけが与えられているとき、Document['addEventListener']<'click'>
のように型引数を指定することはできません。
またDocument
型におけるaddEventListener
メソッドの定義は、イベント名がDocument
固有(keyof DocumentEventMap
型)のものとイベント名が文字列全般(string
型)のものがオーバーロードされています。型引数が絡んでいなければ、「オーバーロードされた関数型から引数の型や返り値の型を取り出す方法」に書かれているように型を取り出せます。しかし、型引数を持つメソッドがオーバーロードされているときに、意図した型引数が指定された場合の引数や返り値の型を取り出せるのかどうか、私にはわかりませんでした。
結局私にできたのは以下の状態までです(TypeScript Playgroundで確認)。
type EventTypeFor<Target extends EventTarget> = Target['addEventListener'] extends {
(type: infer T, listener: (e: Event) => void): void;
(type: string, listener: EventListenerOrEventListenerObject): void;
} ? T : never;
type EventFor<Target extends EventTarget> = Target['addEventListener'] extends {
(type: string, listener: (e: infer E) => void): void;
(type: string, listener: EventListenerOrEventListenerObject): void;
} ? E : never;
const eventPromisify = <T extends EventTarget>(
target: T,
type: EventTypeFor<T>
): Promise<EventFor<T>> => {
throw new Error('Not implemented');
}
const p = eventPromisify(document, 'click');
// p: Promise<Event | MouseEvent | UIEvent | ClipboardEvent | AnimationEvent | InputEvent | FocusEvent | ... 11 more ... | WheelEvent>
第2引数をDocument
固有のイベント名に限定することはできています。しかしながら、返り値のPromise
の値の型をMouseEvent
に限定することはできず、Document
固有のイベントすべての共用体型となってしまいます。
HTMLのa要素にはhref属性を指定しなくてもよい ― 2022年10月20日 23時30分
HTMLのa
要素はハイパーリンクを表す要素であり、リンク先のURLをhref
属性に指定します。しかし、a
要素の役割はそれだけではありません。HTML標準によれば、a
要素は「リンクとなりうる箇所のプレースホルダー」として使うこともできます。この場合はhref
属性を指定しません。
リンクとなりうる箇所の例として、ナビゲーションやタブUI、パンくずリストなどでの「現在の項目」があります。
<nav>
<ul>
<li><a href="/">ホーム</a></li>
<li><a>最新記事</a></li>
<li><a href="/archives">アーカイブ</a></li>
<li><a href="/settings">設定</a></li>
</ul>
</nav>
ReactなどJSXでa
要素を生成する場合、href
属性を指定しないためにはhref
プロパティにundefined
を指定します。
import React from "react";
type Item = {
label: string;
url: string;
isCurrent: boolean;
};
type Props = {
items: readonly Item[];
};
const Navigation: React.FC<Props> = ({ items }) => (
<nav>
<ul>
{items.map((item) => (
<li>
<a href={item.isCurrent ? undefined : item.url}>
{item.label}
</a>
</li>
))}
</ul>
</nav>
);
リンクのプレースホルダーとしてのa
要素は、うまく使えばテンプレートやCSSの記述を簡潔にできます。覚えておいて損はないでしょう。
なお、a
要素にhref
属性を指定しないと聞いてname
属性を指定するのかと思った人もいるでしょうが、現在のHTML標準ではa
要素のname
属性は廃止済みであり指定すべきでないとされています。
TypeScript の可変長タプル型における共用体の分配 ― 2022年06月09日 01時29分
TypeScript の可変長タプル型 (variadic tuple types) とは、配列型やタプル型を展開して別のタプル型の一部として使える機能のことです (「TypeScript 4.0で導入されるVariadic Tuple Typesをさっそく使いこなす - Qiita」に詳しいです)。記法としては、展開する型の直前に三連続のドット ...
を記述します。例えば、
type Sandwich<Fillings extends unknown[]> = ['bread', ...Fillings, 'bread'];
のように具材 (filling) をパン (bread) で挟む Sandwich
型があったとき、Sandwich<['ham']>
型は ['bread', 'ham', 'bread']
型に展開されます。
type HamSandwich = Sandwich<['ham']>;
// → ['bread', 'ham', 'bread']
type BLTSandwich = Sandwich<['bacon', 'lettuce', 'tomato']>;
// → ['bread', 'bacon', 'lettuce', 'tomato', 'bread']
type RichHamSandwich = Sandwich<'ham'[]>;
// → ['bread', ...'ham'[], 'bread']
type TwoSlicesOfBread = Sandwich<[]>;
// → ['bread', 'bread']
ここで型引数 Fillings
に共用体型 (縦線 |
で区切った複数の型のうちのいずれかを表す型) を渡すとどうなるでしょうか。具材がハムか卵なら、できあがるのはハムサンドか卵サンドになります。つまり、Sandwich<['ham'] | ['egg']>
型は Sandwich<['ham']> | Sandwich<['egg']>
型と同等に扱われます。
type HamOrEggSandwich = Sandwich<['ham'] | ['egg']>;
// → ['bread', 'ham', 'bread'] | ['bread', 'egg', 'bread']
このように、T<A | B | C | (略)>
型が T<A> | T<B> | T<C> | (略)
型として扱われる挙動を「共用体の分配 (union distribution)」と呼びます。
共用体の分配は条件型 P extends Q ? R : S
でも発生しますが (「TypeScriptの型初級 - Qiita」に詳しいです)、可変長タプル型でも発生するのです。
条件型における共用体の分配では、never
型を分配しようとすると展開結果も never
型になります。これは可変長タプル型においても同じです。
type ImpossibleSandwich = Sandwich<never>
// → never
なお、可変長タプル型において any
型は any[]
型に展開されます。unknown
型を展開することはできません。
type AnySandwich = Sandwich<any>;
// → ['bread', ...any[], 'bread']
type UnknownSandwich = Sandwich<unknown>;
// → Error: Type 'unknown' does not satisfy the constraint 'unknown[]'.
可変長タプル型で共用体の分配が発生するというのは、可変長タプル型を導入した pull request の説明に書かれています。私はこの挙動を、type-challenges の回答のひとつをきっかけに知りました (その回答は誤答なのですが)。
- When the type argument for
T
is a union type, the union is spread over the tuple type. For example, [A, ...T, B]
instantiated with X | Y | Z
as the type argument for T
yields a union of instantiations of [A, ...T, B]
with X
, Y
and Z
as the type argument for T
respectively.
Variadic tuple types by ahejlsberg · Pull Request #39094 · microsoft/TypeScript
HTML のフォームコントロール要素と label 要素の紐づけ ― 2021年12月24日 21時11分
この記事は HTML アドベントカレンダーの 24 日目の分、兼 JavaScript アドベントカレンダーの 24 日目の分です。
HTML のフォームコントロール要素 (input
、textarea
、select
、button
要素など) には、label
要素を使ってラベルを指定できます。ここでいうラベルとは、そのフォームコントロールに何を入力するか・そのフォームコントロールで何ができるのかの簡単な説明であり、人間が読んで理解できるようなフォームコントロールの名前です。
ある label
要素の子孫にフォームコントロール要素が存在すれば、その label
要素の内容が、そのフォームコントロール要素のラベルとなります。そうでない場合、label
要素の for
属性にフォームコントロール要素の ID (id
属性の値) を指定する必要があり、その label
要素の内容が、その ID を持つフォームコントロール要素のラベルとなります。
このフォームコントロール要素と label
要素との紐づきは JavaScript を使って参照できます。フォームコントロール要素オブジェクトの labels
プロパティはそのフォームコントロール要素と紐づく label
要素の一覧 (NodeList
オブジェクト) を返し、label
要素オブジェクト (HTMLLabelElement
オブジェクト) の control
プロパティはその label
要素に紐づくフォームコントロール要素を返します。
labels
プロパティの名前が複数形なのは、ひとつのフォームコントロール要素に対して複数の label
要素を紐づけられるからですね。
<label id="query-label-1" for="query-field">キーワード</label>
<label id="query-label-2" for="query-field">URL</label>
<input id="query-field" type="search" name="q">
const label1 = document.getElementById('query-label-1');
const label2 = document.getElementById('query-label-2');
const field = document.getElementById('query-field');
console.assert(label1.control === field, 'control プロパティでフォームコントロールを参照できる (1)');
console.assert(label2.control === field, 'control プロパティでフォームコントロールを参照できる (2)');
console.assert(field.labels[0] === label1, 'labels プロパティで label 要素を参照できる (1)');
console.assert(field.labels[1] === label2, 'labels プロパティで label 要素を参照できる (2)');
あるフォームコントロールにおいて、labels
プロパティの返す NodeList
オブジェクトは常に同一です。紐づく label
要素に変更があれば、その NodeList
オブジェクトの内容が動的に変化します。
const oldLabels = field.labels;
label1.remove();
const newLabels = field.labels;
console.assert(oldLabels === newLabels, 'labels プロパティの値は何度参照しても同一のオブジェクトである');
console.assert(oldLabels.length === 1, 'labels プロパティの値は動的に変化する');
ただし、実際のところひとつのフォームコントロール要素に複数の label
要素を紐づけるような場面はほとんどないと思います。
button
要素にも label
要素を紐づけられます。しかしながら、button
要素の場合は自身の内容がラベルとして扱われるので (<button type="submit">検索する</button>
なら「検索する」がそのボタンのラベルになります)、実際のところ button
要素に label
要素を紐づけるような場面はほとんどないと思います。
ラベルは aria-label
属性や aria-labelledby
属性を使って指定することもできます。
<form action="/search">
<p>
<input type="search" name="q" aria-label="キーワード">
<button type="submit" aria-label="検索する">🔍</button>
</p>
</form>
HTML のテキスト入力欄の入力値の一部を置換する ― 2021年12月23日 23時48分
この記事は HTML アドベントカレンダーの 23 日目の分、兼 JavaScript アドベントカレンダーの 23 日目の分です。
HTML のテキスト入力欄 (<input type="text">
要素や textarea
要素など) で選択範囲の文字列を置換したいとき、一昔前は JavaScript で以下のように書く必要がありました。
// 引数 field には HTMLInputElement オブジェクトまたは HTMLTextAreaElement オブジェクトを、
// 引数 newText には文字列を、それぞれ受け取る。
function replaceSelectionText(field, newText) {
var start = field.selectionStart;
var end = field.selectionEnd;
var text = field.value;
field.value = text.substring(0, start) + newText + text.substring(end);
field.setSelectionRange(start, start + newText.length);
}
(さらに大昔は IE 向けに TextRange
オブジェクトを使う必要がありました。)
今は HTML 標準で setRangeText
メソッドが定義されているため、以下のように書けます。
function replaceSelectionText(field, newText) {
field.setRangeText(newText);
}
setRangeText
メソッドには置換する範囲を指定することもできます。テキスト入力欄 field
の入力値が abcde
のとき、以下のコードを実行すると入力値が axde
になります。
field.setRangeText('x', 1, 3);
このとき、元の入力値において改行は \n
に正規化され、1 文字として数えられます。また、「1 文字」というのが Unicode の符号位置ではなく UTF-16 の符号単位を表すことに注意が必要です。
置換する範囲を指定して setRangeText
メソッドを呼び出したとき、選択範囲はメソッド呼び出しの前後であまり変化しないように調整されます。この挙動は、第 4 引数に select
、start
、end
、preserve
のいずれかの値を指定することで変更できます (省略時は preserve
)。以下の例ではメソッド呼び出し後に部分文字列 x
が選択されます。
field.setRangeText('x', 1, 3, 'select');
最近のコメント