注記:構造タイプ

TS でキーワードの使用を確認する場合type、たとえばtype A = { foo: 'Bar' }次のように記述する必要があります:型エイリアスはA型構造を指しています{ foo: 'Bar' }。

一般的な構文は次のとおりですtype [type_alias_name] = [type_structure]。

Typescript の型システムは に対してのみチェックし[type_structure]、 に対してはチェックしません。つまり、TS では、と[type_alias_name]の間に型チェックの点で違いはありません。詳細については、公式ドキュメントを参照してください。type A = { foo: 'bar }type B = { foo: 'bar' }

constraint of type「X」とは何か

型制約は、単に「extends」キーワードの右側に配置するものです。以下の例では、Type Constraint「B」です。

const func = <A extends B>(a: A) => `hello!`

読み取り:型制約「B」はconstraint of type 'A'

エラーが発生する理由

説明のために 3 つのケースを紹介します。各ケースで異なるのは のみでType Constraint、それ以外は変わりません。

Type Constraint注目していただきたいのは、に課される制限には、Type Parameter 異なるサブタイプ は含まれないということです。確認してみましょう。

与えられた条件:

type Foo         =  { readonly 0: '0'}
type SubType     =  { readonly 0: '0', readonly a: 'a'}
type DiffSubType =  { readonly 0: '0', readonly b: 'b'}

const foo:             Foo         = { 0: '0'}
const foo_SubType:     SubType     = { 0: '0', a: 'a' }
const foo_DiffSubType: DiffSubType = { 0: '0', b: 'b' }

const func = <A>(a: A) => `hello!`

// call examples
const c0 = func(undefined) // ok
const c1 = func(null) // ok
const c2 = func(() => undefined) // ok
const c3 = func(10) // ok
const c4 = func(`hi`) // ok
const c5 = func({}) //ok
const c6 = func(foo) // ok
const c7 = func(foo_SubType) //ok
const c8 = func(foo_DiffSubType) //ok

const func = <A extends Foo>(a: A) => `hello!`

// call examples
const c0 = func(undefined) // error
const c1 = func(null) // error
const c2 = func(() => undefined) // error
const c3 = func(10) // error
const c4 = func(`hi`) // error
const c5 = func({}) // error
const c6 = func(foo) // ok
const c7 = func(foo_SubType) // ok  <-- Allowed
const c8 = func(foo_DiffSubType) // ok <-- Allowed

const func = <A extends SubType>(a: A) => `hello!`

// call examples
const c0 = func(undefined) // error
const c1 = func(null) // error
const c2 = func(() => undefined) // error
const c3 = func(10) // error
const c4 = func(`hi`) // error
const c5 = func({}) // error
const c6 = func(foo) // error <-- Restricted now
const c7 = func(foo_SubType) // ok  <-- Still allowed
const c8 = func(foo_DiffSubType) // error <-- NO MORE ALLOWED !

const func = <A extends Foo>(a: A = foo_SubType) => `hello!` //error!

Type 'SubType' is not assignable to type 'A'.
  'SubType' is assignable to the constraint of type 'A', but 'A'
could be instantiated with a different subtype of constraint 
'Foo'.ts(2322)

const c0 = func(foo)  // ok! type 'Foo' will be infered and assigned to 'A'
const c1 = func(foo_SubType) // ok! type 'SubType' will be infered
const c2 = func(foo_DiffSubType) // ok! type 'DiffSubType' will be infered

const func = <A extends Foo>(a: A) => `hello!` //ok!