TypeScript で string 型の値に自動補完を効かせる: Days on the Moon

結論 type X = 'foo' | 'bar' | (string & {}); のように、文字列リテラル型の共用体型に | (string & {}) を付け足した型 X を定義します。X 型は任意の文字列を受け付けますが、IDE (Visual Studio Code など) で X 型の値を入力するときには 'foo' と 'bar' が自動補完の候補として提示されます。 解説 単純に type X = 'foo' | 'bar' | string; と書いてしまうと、共用体型の各要素がまとめられて、X は単なる string 型になってしまいます。{} 型は null と undefined を除く任意の値を受け付けるので、string & {} 型は実質的に string 型と同一なのですが、TypeScript 4.4 の時点では同一扱いされず、共用体型の各要素がまとめられ

[efcl]

`string`型と文字列リテラル型をどちらももつUnionを定義する `type X = 'foo' | 'bar' | (string & {});`ハックについて

[sathoeku]

知らなかった

[jay-es]

`'foo' | 'bar' | (string & {})` とすると全ての文字列を受け入れつつ、エディタで foo と bar の入力補完が効かせられるというハック。`'foo' | 'bar' | string` だとダメ（string にまとめられてしまう）

[tkmkg8m]

"型の互換性を維持しつつ IDE の入力支援を引き出すために、| (string & {}) ハックが生み出されたのだと思います"。なるほどなぁ。普通に as const とか使えばいいやんとか思った自分が浅はかでした。

[newnakashima]

へー

[gfx]

" | (string & {}) " hackの話。便利。とはいえ現在のtscのちょっとしたクセに依存した小技なのがね。公式な仕様としてこういうことができるといいんだけど。