$map.remove
¶
Description¶
Retire un élément dans le map
Syntaxe¶
$map.remove( map , key )
Paramètres¶
map
map- Map à traiter
key
key- Nom du membre à supprimer
Retour¶
Retourne la valeur associée à key
avant suppression, ou null
si
la clé ne figure pas dans le map.
Exemple¶
1 2 3 4 5 6 7 8 9 10 11 |
|
Modification d'API
De base les méthodes fournies par Ewt sont "immutables". Cela signifie qu'il n'est pas possible de les modifier. Ainsi, l'instruction suivante provoquera une erreur:
$logger.info = function(x) { $logger.warn(x); };
Cette instruction cherche à redéfinir le fonctionnement de la méthode
$logger.info
, ce qui n'est pas permis de base.
Cependant, la méthode $map.remove
permet malgré tout de supprimer
une méthode fournie par Ewt. Ainsi l'instruction suivante permettra de
supprimer la méthode $logger.info
:
$map.remove(&$logger, "info");
$logger.info("test"); // provoque une erreur car la méthode
// n'existe plus (pour le traitement
// en cours
L'opération est permise dans la version actuelle du moteur, mais il n'est pas exclu que cela soit retiré dans les versions futures.