Tapuscrit: void type de retour converti à n'importe quel type?

Je semble ne pas être en mesure de comprendre pourquoi le code suivant ne soulève pas d'erreur:

var rg: {(): void;}[] = [];
rg.push(function():string {return "";})

J'ai clairement que le type doit être un tableau de fonctions qui retournent des void, cependant, je push il y a une fonction qui renvoie un string et pourtant, le compilateur n'a pas à se plaindre. Si je change la définition de rg à 

var rg: {():number;}[] = [];

Le compilateur commence à se plaindre.

Est-ce un bug ou est-ce la façon dont le vide le type de retour est censé travailler (c'est à dire à tout va si void est utilisé, en gros faire le même type de retour any)?

InformationsquelleAutor Peter StJ | 2012-10-06
  1. 21

    C'est par la conception (je vais vous expliquer pourquoi il est bon de conception peu de temps). La spec dit (dans la section 3.6.3, abrégée pour plus de clarté):

    Un type S est assignable à un type T, et T est assignable à partir de S, si l'une des conditions suivantes est vraie...

    • S et T sont des types d'objet et, pour chaque membre de la M en T, l'une des conditions suivantes est remplie:

      • M est un appel, la construction ou l'indice de signature et S contient un appel, la construction ou l'indice de signature N où

        • le type de résultat de M est Nulle, ou le type de résultat de N est assignable à celle de M.

    Dans ce cas, nous sommes en train de tester si () => string est assignable à () => void. Donc, soit string doit être assignable à void (n'est pas), ou void doit être void (c'est).

    En effet, ici, la règle est vous êtes autorisé à jeter la valeur de retour, ce qui est cohérent avec la façon dont par exemple C++ traite void dans le modèle de résolution.

    function decrementWidgetHeight(w: Widget): number {
    //... returns the new height of the widget
}

function applyToManyWidgets(w: Widget[], change: (x: Widget) => void): void {
    //for each widget in the array, apply 'change' to it
}

//Later...
applyToManyWidgets(widgetsToShorten, decrementWidgetHeight); //Should be allowed?

    Lorsque nous contraindre le type de change être (widget) => void, nous faisons en sorte que vous pouvez passer decrementWidgetHeight comme deuxième argument, même si elle a une valeur de retour, mais toujours s'assurer que lorsque nous écrire le corps de applyToManyWidgets, nous n'avons pas accidentellement utiliser la valeur de retour de change n'importe où.

    Noter que void est encore différent de any parce que c'est unallowed:

    function f() { }
var x = f(); //Disallowed, f() is of type 'void'
    • +1 - vous pouvez le tester à l'aide de: var rg: {(): void;}[] = []; rg.push(function():string {return "";}) var x = rg[0](); dans le Tapuscrit de terrain de jeu pour voir le comportement dans l'action. Changement void à string et il va permettre le retour de la valeur à être utilisé.
    • Ok c'est logique, mais est un peu contre-intuitif, c'est à dire permettant de rajouter une fonction qui ne correspond pas au type, même si elle est nulle dans la définition.
    • La spec dit aussi "nul ne concerne que les types non défini, la valeur Null et Tout", donc je ne suis pas sûr que la spécification est conforme. Certainement inattendu.
    • à partir de la version 1.4.1.0 que je peux voir, il est autorisé à céder le vide des appels de fonctions
    InformationsquelleAutor Ryan Cavanaugh
  2. 0

    Qui ressemble à un bug. Vous devriez ouvrir un nouvel élément de travail pour la question

    • Fait, mais vu le commentaire ci-dessus je suppose que c'est prévu. Ne pas trouver les génériques beaucoup d'utilisation en TS si loin...
    InformationsquelleAutor Steven Ickman