castMaxElements

La fonction castMaxElements() réadapte une contrainte MaxElements existante vers un maximum moins restrictif, sans revérifier le tableau à l'exécution. Elle sert dans les cas où le nouveau maximum est déjà induit par les contraintes portées par le tableau : par exemple, un tableau MaxElements<10> est compatible avec MaxElements<15>.

Exemple interactif

Syntaxe

Signature classique

function castMaxElements<
	GenericArray extends readonly unknown[] & MaxElements<number>,
	GenericLength extends number
>(
	array: GenericArray,
	maxLength: GenericLength
): GenericArray & MaxElements<GenericLength>

Signature currifiée

function castMaxElements<
	GenericArray extends readonly unknown[] & MaxElements<number>,
	GenericLength extends number
>(
	maxLength: GenericLength
): (array: GenericArray) => GenericArray & MaxElements<GenericLength>

Paramètres

• array : Tableau qui porte déjà une contrainte MaxElements.
• maxLength : Nouveau maximum littéral à ajouter au type. Il doit être supérieur ou égal au maximum déjà connu.

Valeur de retour

Le même tableau, avec un marqueur de type MaxElements<maxLength> supplémentaire.

La fonction ne valide pas la longueur à l'exécution. Utilisez d'abord maxElements pour obtenir la contrainte initiale.

Voir aussi

• maxElements - Vérifie et crée une contrainte MaxElements
• minElements - Vérifie un minimum d'éléments