TypeScript
Generics
Ricerca…
Sintassi
- I tipi generici dichiarati all'interno delle parentesi triangolari:
<T>
- Il vincolo dei tipi generici viene eseguito con la parola chiave extends:
<T extends Car>
Osservazioni
I parametri generici non sono disponibili in fase di esecuzione, sono solo per il tempo di compilazione. Questo significa che non puoi fare qualcosa del genere:
class Executor<T, U> {
public execute(executable: T): void {
if (T instanceof Executable1) { // Compilation error
...
} else if (U instanceof Executable2){ // Compilation error
...
}
}
}
Tuttavia, le informazioni sulla classe sono ancora conservate, quindi puoi sempre testare il tipo di una variabile come hai sempre potuto:
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"
}
}
Interfacce generiche
Dichiarazione di un'interfaccia generica
interface IResult<T> {
wasSuccessfull: boolean;
error: T;
}
var result: IResult<string> = ....
var error: string = result.error;
Interfaccia generica con più parametri di tipo
interface IRunnable<T, U> {
run(input: T): U;
}
var runnable: IRunnable<string, number> = ...
var input: string;
var result: number = runnable.run(input);
Implementazione di un'interfaccia generica
interface IResult<T>{
wasSuccessfull: boolean;
error: T;
clone(): IResult<T>;
}
Implementalo con una classe generica:
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);
}
}
Implementalo con una classe non generica:
class StringResult implements IResult<string> {
constructor(public result: boolean, public error: string) {
}
public clone(): IResult<string> {
return new StringResult(this.result, this.error);
}
}
Classe generica
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
Vincoli generici
Semplice vincolo:
interface IRunnable {
run(): void;
}
interface IRunner<T extends IRunnable> {
runSafe(runnable: T): void;
}
Vincolo più complesso:
interface IRunnble<U> {
run(): U;
}
interface IRunner<T extends IRunnable<U>, U> {
runSafe(runnable: T): U;
}
Ancora più complesso:
interface IRunnble<V> {
run(parameter: U): V;
}
interface IRunner<T extends IRunnable<U, V>, U, V> {
runSafe(runnable: T, parameter: U): V;
}
Vincoli di tipo inline:
interface IRunnable<T extends { run(): void }> {
runSafe(runnable: T): void;
}
Funzioni generiche
Nelle interfacce:
interface IRunner {
runSafe<T extends IRunnable>(runnable: T): void;
}
In classe:
class Runner implements IRunner {
public runSafe<T extends IRunnable>(runnable: T): void {
try {
runnable.run();
} catch(e) {
}
}
}
Funzioni semplici:
function runSafe<T extends IRunnable>(runnable: T): void {
try {
runnable.run();
} catch(e) {
}
}
Utilizzo di classi e funzioni generiche:
Crea un'istanza di classe generica:
var stringRunnable = new Runnable<string>();
Esegui la funzione generica:
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);
Digita i parametri come vincoli
Con TypeScript 1.8 diventa possibile che un vincolo del parametro di tipo faccia riferimento a parametri di tipo dalla stessa lista di parametri di tipo. In precedenza si trattava di un errore.
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