Inference
L'inférence de type est l'un des points les plus forts et les plus sous-estimés de TypeScript.
Il s'agit ici de déduire implicitement le typage et faire gagner du temps de développement et de refactoring sans perdre en rigueur.
L'idée de TypeScript est en quelque sorte de typer au minimum et de laisser le "transpiler" gérer le reste.
1
let userName = 'Foo';
2
3
userName = 10; // error TS2322: Type '10' is not assignable to type 'string'.
Copied!
Le type de la variable
userName est donc déduit à l'initialisation de la variable et il n'est donc pas nécessaire de la typer explicitement.Quelques exemples
1
const getWeather = (city) => {
2
3
if (city == null) {
4
throw new Error(`D'OH!`);
5
}
6
7
return {
8
rainProbability: 0,
9
temperature: 30
10
};
11
};
12
13
let weather = getWeather('Lyon');
14
15
// error TS2322: Type '"🔥 Wishtack is cool ! 🔥"' is not assignable
16
// to type '{ rainProbability: number; temperature: number; }'.
17
weather = '🔥 Wishtack is cool ! 🔥';
Copied!
... ou encore :
1
const getWeather = (city) => {
2
3
if (city == null) {
4
throw new Error(`D'OH!`);
5
}
6
7
return {
8
rainProbability: 0,
9
temperature: 30
10
};
11
};
12
13
const getCityWeather = (city: string) => {
14
15
const result = getWeather(city);
16
17
return {
18
...result,
19
city
20
};
21
22
};
23
24
let cityWeather = getCityWeather('Lyon');
25
26
// error TS2322: Type '"🔥 Wishtack is cool ! 🔥"' is not assignable
27
// to type '{ city: string; rainProbability: number; temperature: number; }'.
28
cityWeather = '🔥 Wishtack is cool ! 🔥';
Copied!
... au lieu de :
1
interface Weather {
2
rainProbability: number;
3
temperature: number;
4
}
5
6
const getWeather = (city: string): Weather => {
7
8
if (city == null) {
9
throw new Error(`D'OH!`);
10
}
11
12
return {
13
rainProbability: 0,
14
temperature: 30
15
};
16
};
17
18
interface CityWeather extends Weather {
19
city: string;
20
}
21
22
const getCityWeather = (city: string): CityWeather => {
23
24
const result: Weather = getWeather(city);
25
26
return {
27
...result,
28
city
29
};
30
31
};
32
33
let cityWeather: CityWeather = getCityWeather('Lyon');
34
35
cityWeather = '🔥 Wishtack is hot ! 🔥';
Copied!
... ou :
1
const productList = [
2
{
3
title: 'Browserstack',
4
price: 50
5
},
6
{
7
title: 'Keyboard',
8
price: 20
9
},
10
{
11
title: 'Prerender',
12
price: 10
13
}
14
];
15
16
let cheapProductsTotalPrice = productList
17
.filter(product => product.price < 25)
18
.map(product => product.price)
19
.reduce((total, price) => total + price, 0);
20
21
// error TS2322: Type '"Oups!"' is not assignable to type 'number'.
22
cheapProductsTotalPrice = 'Oups!';
Copied!
... au lieu de :
1
interface Product {
2
title: string;
3
price: number;
4
}
5
6
const productList: Product[] = [
7
{
8
title: 'Browserstack',
9
price: 50
10
},
11
{
12
title: 'Keyboard',
13
price: 20
14
},
15
{
16
title: 'Prerender',
17
price: 10
18
}
19
];
20
21
let cheapProductsTotalPrice = productList
22
.filter((product: Product): boolean => product.price < 25)
23
.map<number>((product: Product): number => product.price)
24
.reduce((total: number, price: number): number => total + price, 0);
25
26
cheapProductsTotalPrice = 'Oups!';
Copied!
Inférence et callbacks
Dans le dernier exemple du chapitre sur les interfaces, nous avons implicitement profiter de l'inférence de type.
Toute la puissance de TypeScript repose sur cet art de typer le moins possible mais au bon endroit pour en profiter au maximum.
La signature des fonctions de "callback" que vous attendez est l'un des éléments les plus stratégiques à typer.
1
interface Product {
2
title: string;
3
price: number;
4
}
5
6
interface ProductFilterCallback {
7
(product: Product): boolean
8
}
9
10
class ProductRepository {
11
12
getMatchingItemList(filter: ProductFilterCallback) {
13
}
14
15
}
16
17
const productRepository = new ProductRepository();
18
19
// error TS2345: Argument of type '(productName: string) => true' is
20
// not assignable to parameter of type 'ProductFilterCallback'.
21
// Types of parameters 'productName' and 'product' are incompatible.
22
// Type 'Product' is not assignable to type 'string'.
23
productRepository.getMatchingItemList((productName: string) => {
24
return true;
25
});
26
27
// error TS2345: Argument of type '(product: Product) => string' is
28
// not assignable to parameter of type 'ProductFilterCallback'
29
productRepository.getMatchingItemList(product => {
30
return 'not boolean';
31
});
32
33
// error TS2339: Property 'name' does not exist on type 'Product'.
34
productRepository.getMatchingItemList(product => {
35
return product.name != null;
36
});
Copied!
Et si votre IDE est sympa
TypeScript type inference + autocomplete
TypeScript type inference + refactoring
TypeScript type inference + refactoring error detection
Dernière mise à jour 4yr ago
Copier le lien