typescriptの型エイリアスの記述方法の違い

Question

TSでの型エイリアスを記述する際の違いについて質問です

type A = {a: string}
let n: A = {}

このようにすると、Aという型に合致していないのでエラーがスローされるのはわかるのですが、

type A = {[a: string]: string}
let n: A = {}

このようにするとスローされなくなります。

２番目のコードのtypeでは[a: string]とされているため、「何かしらのstringであるプロパティを持ったオブジェクト」という型が定義されるのではないのでしょうか？

よろしくお願いいたします。

Answer 1

{ [a: string]: string } はkey, valueがstringであることを保証する、という意味になっていて、プロパティの数は保証していません。
なので

const a: A = {
  a: "a",
  b: "b"
}

も型エラーは発生しません。

Comments

[suny]

ありがとうございます！