type Entry = [string, string]
上記のような、 Entry
型が定義されていたとします。
(実際的な想定としては、 config 系の型でよく見かける気がします。)
この type に対して、以下のコードは問題なく動きます。
type Entry = [string, string]
const entries1: Entry[] = [
['foo', 'bar']
]
const concatenated1: Entry[] =
entries1.concat([])
console.log(concatenated1)
// => [ [ 'foo', 'bar' ] ]
一方、途中の entries1
を省こうとすると、エラーになります。
type Entry = [string, string]
const concatenated2: Entry[] =
[['foo', 'bar']].concat([])
console.log(concatenated2)
実行結果
TS2322: Type 'string[][]' is not assignable to type 'Entry[]'.
Type 'string[]' is missing the following properties from type 'Entry': 0, 1
const concatenated2: Entry[] =
~~~~~~~~~~~~~
質問
変数に束縛する前の即値に対して、型定義しながら変数代入したのと同等の型チェックを行う方法はありますでしょうか?
知っている中で近いのは、 (expr as type)
の構文ですが、これは、プログラマが型を指定して、コンパイラはexpr
についての型について関与しないための構文だと思っていて、型定義済み変数に代入したときの型チェックが実施できないと思っています。
どういう場面でこれができると嬉しいか
たとえば、 nuxt.config.ts
などでみかける、 config 系の巨大なオブジェクトの、1フィールド(ちょうど、このEntry[]
みたいな型定義を持つフィールド)を、環境変数を条件次第で concat で追加させたい、などがやりたくなったとき、いちいちそのフィールドを変数に切り出すのは億劫です。できることなら、即値としてそのまま concat
につなげながらも、型チェックは行いたいと思ったので、質問しています。