型の互換性

型の互換性(Type Compatibility)

型の互換性は、あるものを別のものに割り当てることができるかどうかを決定します。例えばstringnumberは互換性がありません:
1
let str: string = "Hello";
2
let num: number = 123;
3
4
str = num; // ERROR: `number` is not assignable to `string`
5
num = str; // ERROR: `string` is not assignable to `number`
Copied!

健全性(Soundness)

TypeScriptの型システムは便利であるように設計されているため、不健全な振る舞いをすることも可能にしています。例えば、何かをany型にすることができます。これは、あなたが望むことを何でもできるようにすることをコンパイラに指示することを意味します:
1
let foo: any = 123;
2
foo = "Hello";
3
4
// Later
5
foo.toPrecision(3); // Allowed as you typed it as `any`
Copied!

構造的(Structual)

TypeScriptオブジェクトは構造的に型付けされています。つまり、型名は構造が一致する限り重要ではありません
1
interface Point {
2
x: number,
3
y: number
4
}
5
6
class Point2D {
7
constructor(public x:number, public y:number){}
8
}
9
10
let p: Point;
11
// OK, because of structural typing
12
p = new Point2D(1,2);
Copied!
これにより、(素のJSのように)すばやくオブジェクトを作成することができ、推論が可能な場合でも安全性が保たれます。
また、より多くのデータが存在することは問題なしとされます:
1
interface Point2D {
2
x: number;
3
y: number;
4
}
5
interface Point3D {
6
x: number;
7
y: number;
8
z: number;
9
}
10
var point2D: Point2D = { x: 0, y: 10 }
11
var point3D: Point3D = { x: 0, y: 10, z: 20 }
12
function iTakePoint2D(point: Point2D) { /* do something */ }
13
14
iTakePoint2D(point2D); // exact match okay
15
iTakePoint2D(point3D); // extra information okay
16
iTakePoint2D({ x: 0 }); // Error: missing information `y`
Copied!

バリアンス(Variance)

バリアンスは、型の互換性分析のために理解しやすく、重要な概念です。
単純な型BaseChildの場合、ChildBaseの子であれば、ChildのインスタンスはBase型の変数に代入することができます。
これはポリモーフィズム101です
このようなBase型とChild型で構成される複合型の型互換性は、類似のシナリオにおけるBaseChildがバリアンス(variance)によって制御されることに依存しています。
  • コバリアント(Covariant):(coはjointの意味)同じ方向のみ
  • コントラバリアント(Contravariant):(contraはnegativeの意味)反対の方向にのみ
  • バイバリアント(Bivariant):(biはbothの意味)coとcontraの両方。
  • インバリアント(Invariant):型がまったく同じでない場合、それらは互換性がありません。
注意:JavaScriptのようなミュータブル(変更可能)なデータの存在下で、完全に健全な型システムのためにはinvariantが唯一有効なオプションです。しかし、述べたように利便性によって、私たちは不健全な選択をせざるを得ません。

関数(Functions)

2つの関数を比較するときには、いくつか些細なことを考慮する必要があります。

戻り値の型(Return Type)

covariant:戻り型は少なくとも十分なデータを含んでいなければなりません。
1
/** Type Hierarchy */
2
interface Point2D { x: number; y: number; }
3
interface Point3D { x: number; y: number; z: number; }
4
5
/** Two sample functions */
6
let iMakePoint2D = (): Point2D => ({ x: 0, y: 0 });
7
let iMakePoint3D = (): Point3D => ({ x: 0, y: 0, z: 0 });
8
9
/** Assignment */
10
iMakePoint2D = iMakePoint3D; // Okay
11
iMakePoint3D = iMakePoint2D; // ERROR: Point2D is not assignable to Point3D
Copied!

引数の数

引数が少ないのは問題ありません(つまり、関数は追加のパラメータを無視することができます)。少なくとも十分な引数で呼び出されることが保証されています。
1
let iTakeSomethingAndPassItAnErr
2
= (x: (err: Error, data: any) => void) => { /* do something */ };
3
4
iTakeSomethingAndPassItAnErr(() => null) // Okay
5
iTakeSomethingAndPassItAnErr((err) => null) // Okay
6
iTakeSomethingAndPassItAnErr((err, data) => null) // Okay
7
8
// ERROR: Argument of type '(err: any, data: any, more: any) => null' is not assignable to parameter of type '(err: Error, data: any) => void'.
9
iTakeSomethingAndPassItAnErr((err, data, more) => null);
Copied!

オプションおよび可変長(Rest)パラメータ

(事前に決定された数の)オプションパラメータおよび可変長パラメータ(任意の数)は、(繰り返しになりますが)利便性のために互換性があります。
1
let foo = (x:number, y: number) => { /* do something */ }
2
let bar = (x?:number, y?: number) => { /* do something */ }
3
let bas = (...args: number[]) => { /* do something */ }
4
5
foo = bar = bas;
6
bas = bar = foo;
Copied!
注意:strictNullChecksがfalseの場合、オプション引数(ここではbar)とオプションではない引数(この例ではfoo)のみ互換性があります。

引数のタイプ

bivariant:これは一般的なイベント処理のシナリオをサポートするように設計されています
1
/** Event Hierarchy */
2
interface Event { timestamp: number; }
3
interface MouseEvent extends Event { x: number; y: number }
4
interface KeyEvent extends Event { keyCode: number }
5
6
/** Sample event listener */
7
enum EventType { Mouse, Keyboard }
8
function addEventListener(eventType: EventType, handler: (n: Event) => void) {
9
/* ... */
10
}
11
12
// Unsound, but useful and common. Works as function argument comparison is bivariant
13
addEventListener(EventType.Mouse, (e: MouseEvent) => console.log(e.x + "," + e.y));
14
15
// Undesirable alternatives in presence of soundness
16
addEventListener(EventType.Mouse, (e: Event) => console.log((<MouseEvent>e).x + "," + (<MouseEvent>e).y));
17
addEventListener(EventType.Mouse, <(e: Event) => void>((e: MouseEvent) => console.log(e.x + "," + e.y)));
18
19
// Still disallowed (clear error). Type safety enforced for wholly incompatible types
20
addEventListener(EventType.Mouse, (e: number) => console.log(e));
Copied!
また、Array<Child>Array<Base>(Covariance)に関数として割り当てることもできます。配列のCovarianceはすべてのArray<Child>関数がArray<Base>に代入可能であることを必要とします。例えばpush(t:Child)は関数パラメータのBivarianceによってpush(t:Base)に代入可能です。
これは他の言語から来た人はエラーになると予測するかもしれません。混乱を招く可能性がありますが、これはTypeScriptではエラーになりません:
1
/** Type Hierarchy */
2
interface Point2D { x: number; y: number; }
3
interface Point3D { x: number; y: number; z: number; }
4
5
/** Two sample functions */
6
let iTakePoint2D = (point: Point2D) => { /* do something */ }
7
let iTakePoint3D = (point: Point3D) => { /* do something */ }
8
9
iTakePoint3D = iTakePoint2D; // Okay : Reasonable
10
iTakePoint2D = iTakePoint3D; // Okay : WHAT
Copied!

列挙型(Enums)

  • 列挙型は数値と互換性があり、数値は列挙型と互換性があります。
1
enum Status { Ready, Waiting };
2
3
let status = Status.Ready;
4
let num = 0;
5
6
status = num; // OKAY
7
num = status; // OKAY
Copied!
  • 異なる列挙型のEnum値は互換性がないとみなされます。これによって、列挙型を(構造的にではなく)nominalに使うことができます
1
enum Status { Ready, Waiting };
2
enum Color { Red, Blue, Green };
3
4
let status = Status.Ready;
5
let color = Color.Red;
6
7
status = color; // ERROR
Copied!

クラス(Classes)

  • インスタンスメンバとメソッドのみが比較されます。コンストラクタと静的メンバに関しては何もしません。
1
class Animal {
2
feet: number;
3
constructor(name: string, numFeet: number) { /** do something */ }
4
}
5
6
class Size {
7
feet: number;
8
constructor(meters: number) { /** do something */ }
9
}
10
11
let a: Animal;
12
let s: Size;
13
14
a = s; // OK
15
s = a; // OK
Copied!
  • privateprotectedメンバは同じクラスで書かれたものでなければなりません。そのようなメンバは、本質的にそのクラスをnominalにします。
1
/** A class hierarchy */
2
class Animal { protected feet: number; }
3
class Cat extends Animal { }
4
5
let animal: Animal;
6
let cat: Cat;
7
8
animal = cat; // OKAY
9
cat = animal; // OKAY
10
11
/** Looks just like Animal */
12
class Size { protected feet: number; }
13
14
let size: Size;
15
16
animal = size; // ERROR
17
size = animal; // ERROR
Copied!

ジェネリクス(Generics)

TypeScriptは構造的な型システムを備えているため、型パラメータはメンバが使用するときの互換性にのみ影響します。例えば、以下のTは互換性に影響を与えません:
1
interface Empty<T> {
2
}
3
let x: Empty<number>;
4
let y: Empty<string>;
5
6
x = y; // okay, y matches structure of x
Copied!
しかし、Tを使用すると、以下に示すようにインスタンス化に基づいて互換性チェックの働きをします。
1
interface NotEmpty<T> {
2
data: T;
3
}
4
let x: NotEmpty<number>;
5
let y: NotEmpty<string>;
6
7
x = y; // error, x and y are not compatible
Copied!
ジェネリック引数がインスタンス化されていない場合、それらは互換性をチェックする前にanyで置き換えられます:
1
let identity = function<T>(x: T): T {
2
// ...
3
}
4
5
let reverse = function<U>(y: U): U {
6
// ...
7
}
8
9
identity = reverse; // Okay because (x: any)=>any matches (y: any)=>any
Copied!
クラスを含むジェネリックは、前述のように関連するクラスの互換性によってマッチされます。例:
1
class List<T> {
2
add(val: T) { }
3
}
4
5
class Animal { name: string; }
6
class Cat extends Animal { meow() { } }
7
8
const animals = new List<Animal>();
9
animals.add(new Animal()); // Okay
10
animals.add(new Cat()); // Okay
11
12
const cats = new List<Cat>();
13
cats.add(new Animal()); // Error
14
cats.add(new Cat()); // Okay
Copied!

ノート: Invariance

私たちは不変性が唯一の健全な選択肢だと言いました。ここでは、contracoのVarianceの両方が配列に危険である例を示します。
1
/** Hierarchy */
2
class Animal { constructor(public name: string){} }
3
class Cat extends Animal { meow() { } }
4
5
/** An item of each */
6
var animal = new Animal("animal");
7
var cat = new Cat("cat");
8
9
/**
10
* Demo : polymorphism 101
11
* Animal <= Cat
12
*/
13
animal = cat; // Okay
14
cat = animal; // ERROR: cat extends animal
15
16
/** Array of each to demonstrate variance */
17
let animalArr: Animal[] = [animal];
18
let catArr: Cat[] = [cat];
19
20
/**
21
* Obviously Bad : Contravariance
22
* Animal <= Cat
23
* Animal[] >= Cat[]
24
*/
25
catArr = animalArr; // Okay if contravariant
26
catArr[0].meow(); // Allowed but BANG 🔫 at runtime
27
28
29
/**
30
* Also Bad : covariance
31
* Animal <= Cat
32
* Animal[] <= Cat[]
33
*/
34
animalArr = catArr; // Okay if covariant
35
animalArr.push(new Animal('another animal')); // Just pushed an animal into catArr!
36
catArr.forEach(c => c.meow()); // Allowed but BANG 🔫 at runtime
Copied!
最終更新 2yr ago