TypeScript
ジェネリックス
サーチ…
構文
- 三角括弧内に宣言されたジェネリック型:
<T>
- ジェネリック型の制約は、extendsキーワードで行います。
<T extends Car>
備考
ジェネリックパラメータは、実行時には利用できません。コンパイル時のものです。つまり、次のようなことはできません。
class Executor<T, U> {
public execute(executable: T): void {
if (T instanceof Executable1) { // Compilation error
...
} else if (U instanceof Executable2){ // Compilation error
...
}
}
}
しかし、クラス情報はまだ保持されているので、いつものように変数の型をテストすることができます:
class Executor<T, U> {
public execute(executable: T): void {
if (executable instanceof Executable1) {
...
} else if (executable instanceof Executable2){
...
} // But in this method, since there is no parameter of type `U` it is non-sensical to ask about U's "type"
}
}
汎用インタフェース
ジェネリックインターフェイスの宣言
interface IResult<T> {
wasSuccessfull: boolean;
error: T;
}
var result: IResult<string> = ....
var error: string = result.error;
複数の型パラメータを持つ汎用インタフェース
interface IRunnable<T, U> {
run(input: T): U;
}
var runnable: IRunnable<string, number> = ...
var input: string;
var result: number = runnable.run(input);
ジェネリックインターフェイスの実装
interface IResult<T>{
wasSuccessfull: boolean;
error: T;
clone(): IResult<T>;
}
ジェネリッククラスで実装する:
class Result<T> implements IResult<T> {
constructor(public result: boolean, public error: T) {
}
public clone(): IResult<T> {
return new Result<T>(this.result, this.error);
}
}
非汎用クラスで実装する:
class StringResult implements IResult<string> {
constructor(public result: boolean, public error: string) {
}
public clone(): IResult<string> {
return new StringResult(this.result, this.error);
}
}
ジェネリッククラス
class Result<T> {
constructor(public wasSuccessful: boolean, public error: T) {
}
public clone(): Result<T> {
...
}
}
let r1 = new Result(false, 'error: 42'); // Compiler infers T to string
let r2 = new Result(false, 42); // Compiler infers T to number
let r3 = new Result<string>(true, null); // Explicitly set T to string
let r4 = new Result<string>(true, 4); // Compilation error because 4 is not a string
ジェネリックスの制約
単純な制約:
interface IRunnable {
run(): void;
}
interface IRunner<T extends IRunnable> {
runSafe(runnable: T): void;
}
より複雑な制約:
interface IRunnble<U> {
run(): U;
}
interface IRunner<T extends IRunnable<U>, U> {
runSafe(runnable: T): U;
}
もっと複雑なもの:
interface IRunnble<V> {
run(parameter: U): V;
}
interface IRunner<T extends IRunnable<U, V>, U, V> {
runSafe(runnable: T, parameter: U): V;
}
インラインタイプの制約:
interface IRunnable<T extends { run(): void }> {
runSafe(runnable: T): void;
}
汎用関数
インタフェースでは:
interface IRunner {
runSafe<T extends IRunnable>(runnable: T): void;
}
クラス内:
class Runner implements IRunner {
public runSafe<T extends IRunnable>(runnable: T): void {
try {
runnable.run();
} catch(e) {
}
}
}
シンプルな機能:
function runSafe<T extends IRunnable>(runnable: T): void {
try {
runnable.run();
} catch(e) {
}
}
ジェネリッククラスと関数の使用:
ジェネリッククラスインスタンスを作成する:
var stringRunnable = new Runnable<string>();
汎用関数を実行する:
function runSafe<T extends Runnable<U>, U>(runnable: T);
// Specify the generic types:
runSafe<Runnable<string>, string>(stringRunnable);
// Let typescript figure the generic types by himself:
runSafe(stringRunnable);
制約としてのパラメータの入力
TypeScript 1.8では、型パラメータの制約が、同じ型パラメータリストの型パラメータを参照することが可能になります。これまではこれは誤りでした。
function assign<T extends U, U>(target: T, source: U): T {
for (let id in source) {
target[id] = source[id];
}
return target;
}
let x = { a: 1, b: 2, c: 3, d: 4 };
assign(x, { b: 10, d: 20 });
assign(x, { e: 0 }); // Error
Modified text is an extract of the original Stack Overflow Documentation
ライセンスを受けた CC BY-SA 3.0
所属していない Stack Overflow