microsoft / microsoft/TypeScript

Argument types of functions with multiple declarations should be smarter.

Offen
#29,369 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Awaiting More Feedback Domain: check: Control Flow Suggestion
Vorherrschende Sprache
Go
Sterne
111k
Forks
14.3k
Ø Merge
2 T. 4 Std.
Gemergte PRs (30 T.)
132

Beschreibung

Search Terms

Suggestion

Argument types of functions with multiple declarations should be smarter.

Use Cases

As showed in example,b should be a number when we are sure that a is "b".But it still think b as a number|string.

Examples

http://www.typescriptlang.org/play/index.html#src=class%20test%7B%0D%0A%20%20%20%20public%20test(a%3A%20%22a%22)%3B%0D%0A%20%20%20%20public%20test(a%3A%20%22b%22%2C%20b%3A%20number)%3B%0D%0A%20%20%20%20public%20test(a%3A%20%22c%22%2C%20b%3A%20string)%3B%0D%0A%20%20%20%20public%20test(a%3A%20%22a%22%20%7C%20%22b%22%20%7C%20%22c%22%2C%20b%3F%3A%20number%20%7C%20string)%20%7B%0D%0A%20%20%20%20%20%20%20%20if%20(a%20%3D%3D%20%22a%22)%20%7B%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20a%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20b%0D%0A%20%20%20%20%20%20%20%20%7D%0D%0A%20%20%20%20%20%20%20%20else%20if%20(a%20%3D%3D%20%22b%22)%20%7B%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20a%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20b%0D%0A%20%20%20%20%20%20%20%20%7D%0D%0A%20%20%20%20%20%20%20%20else%20if%20(a%20%3D%3D%20%22c%22)%20%0D%0A%20%20%20%20%20%20%20%20%7B%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20a%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20b%0D%0A%20%20%20%20%20%20%20%20%7D%0D%0A%20%20%20%20%20%20%20%20else%20%7B%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20a%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20b%0D%0A%20%20%20%20%20%20%20%20%7D%0D%0A%20%20%20%20%7D%0D%0A%20%20%20%20public%20testf()%20%7B%0D%0A%20%20%20%20%20%20%20%20this.test(%22a%22)%3B%0D%0A%20%20%20%20%20%20%20%20this.test(%22b%22%2C%201)%3B%0D%0A%20%20%20%20%20%20%20%20this.test(%22c%22%2C%20%221%22)%3B%0D%0A%20%20%20%20%7D%0D%0A%7D

Checklist

My suggestion meets these guidelines:

  • This wouldn't be a breaking change in existing TypeScript/JavaScript code
  • This wouldn't change the runtime behavior of existing JavaScript code
  • This could be implemented without emitting different JS based on the types of the expressions
  • This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
  • This feature would agree with the rest of TypeScript's Design Goals.

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne damit, das Beispiel aus dem verlinkten TypeScript Playground zu reproduzieren, und untersuche, wie sich mehrere Deklarationen während der Control-Flow-Narrowing auf die Argumenttypen auswirken. Erledigt ist die Aufgabe, wenn die Implementierung und die zugehörigen Prüfungen dafür sorgen, dass b die ausgewählte Deklaration widerspiegelt, wenn a eingegrenzt wird, ohne das gezeigte Laufzeitverhalten zu ändern.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
typescript
Bereich
compilers
Issue-Typ
Feature
Schwierigkeit
5/5
Geschätzter Aufwand
Über eine Woche
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
25/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.