टाइपस्क्रिप्ट: शून्य वापसी प्रकार किसी भी प्रकार में परिवर्तित?

Question

मैं समझने में सक्षम नहीं होने लगते हैं क्यों निम्नलिखित कोड त्रुटि उठाना नहीं करता है:

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

मैं स्पष्ट रूप से उल्लेख है कि प्रकार कार्यों कि void लौटने की एक सरणी होना चाहिए, फिर भी मैं वहाँ एक समारोह है कि रिटर्न धक्का एक string और फिर भी संकलक शिकायत नहीं करता है। अगर मैं

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

को rg की परिभाषा बदल संकलक शिकायत करने के लिए शुरू होता है।

यह एक बग है या कैसे शून्य वापसी प्रकार काम करने के लिए माना जाता है यह नहीं है (यानी कुछ भी हो जाता है तो void प्रयोग किया जाता है, मूल रूप से यह वापसी प्रकार any के रूप में ही कर रही है)?

Answer 1

के लिए खोलना चाहिए यह डिज़ाइन द्वारा है (मैं समझाऊंगा कि यह जल्द ही क्यों अच्छा डिज़ाइन है)। कल्पना का कहना है (खंड 3.6.3, स्पष्टता के लिए संक्षिप्त में):

A type S is assignable to a type T, and T is assignable from S, if one of the following is true...

• S and T are object types and, for each member M in T, one of the following is true:

  • M is a call, construct or index signature and S contains a call, construct or index signature N where

    • the result type of M is Void, or the result type of N is assignable to that of M.

इस मामले में, हम अगर () => string() => void को आबंटित है परीक्षण कर रहे हैं। तो string को void (यह नहीं है) को असाइन करने योग्य होना चाहिए, या voidvoid (यह है) होना चाहिए।

---

वास्तव में, नियम यहाँ है आप वापसी मान, जो कैसे उदा के साथ संगत है फेंक करने की अनुमति है सी ++ टेम्पलेट रिज़ॉल्यूशन में void का इलाज करता है।

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? 

हम change के प्रकार विवश जब (widget) => void होने के लिए, हम इसे कर रहे हैं ताकि आप दूसरा तर्क हालांकि यह एक वापसी मान, लेकिन अभी भी लगता है कि जब हम बन गया है के रूप में decrementWidgetHeight पारित कर सकते हैं applyToManyWidgets के शरीर को लिखें, हम गलती से कहीं भी change के वापसी मूल्य का उपयोग नहीं करते हैं।

ध्यान दें कि void क्योंकि यह अनुचित है अभी भी any तुलना में अलग है:

function f() { } 
var x = f(); // Disallowed, f() is of type 'void' 

Answer 2

यह एक बग की तरह दिखता है। आपको को