Typescript: प्रकार चेकर के लिए प्रकार खो देता है

को निर्मित 8 नव॰ 2016 · 3टिप्पणियाँ · स्रोत: microsoft/TypeScript

टाइपस्क्रिप्ट संस्करण: 2.0.8

कोड

// test.ts
interface Type {
  type: number;
}

interface TypeExt extends Type {
  arr: Type[];
}

const guard = (arg: Type): arg is TypeExt => arg.type === 1;
const otherFunc = (arg1: Type, arg2: TypeExt): void => {};

export function y(arg: Type): void {
  if (guard(arg)) {
    for (const ITEM/* error is here */ of arg.arr) {
      if (otherFunc(ITEM, arg)) {
      }
    }
  }
}

Cmd के साथ संकलित: tsc --noImplicitAny test.ts

अपेक्षित व्यवहार:
त्रुटियाँ नहीं

वास्तविक व्यवहार:

test.ts(14,16): error TS7022: 'ITEM' implicitly has type 'any' because it does not have a type annotation and is referenced directly or indirectly in its own initializer.

Bug Fixed

स्रोत

arusakov

👍1

सबसे उपयोगी टिप्पणी

यह एक नियंत्रण प्रवाह विश्लेषण मुद्दा है। आदेश के लिए एक प्रकार का अनुमान लगाने के लिए में ITEM हम का नियंत्रण प्रवाह प्रकार यह पता लगाने की जरूरत arg.arr । बदले में इसका मतलब है कि हमें उन निर्माणों को देखना होगा जो arg के प्रकार को प्रभावित करते हैं। इसमें otherFunc का कॉल शामिल है, जो ऐसा लगता है कि यह _could_ उपयोगकर्ता परिभाषित प्रकार के लिए समर्पित हो। यह निर्धारित करने के लिए कि यह _is_ एक प्रकार की भविष्यवाणी करता है, हम कॉल एक्सप्रेशन को हल करते हैं, जो तर्क के भावों को हल करने के लिए मजबूर करता है, जिससे हमें ITEM का प्रकार जानने की आवश्यकता होती है। यह एक गोलाकारता का निर्माण करता है जिसे हम हल नहीं कर सकते हैं, इसलिए हम एक निहित any प्रकार के लिए वापस आते हैं।

हम इसे पहले से पहचानने के प्रकार का तर्क तर्क द्वारा हल कर सकते हैं, फ़ंक्शन ऑब्जेक्ट के प्रकार को हल करें और कॉल हस्ताक्षर के सभी की जांच करें। यदि उनमें से कोई भी उपयोगकर्ता परिभाषित प्रकार की भविष्यवाणी नहीं करता है, तो हम कॉल तर्क अभिव्यक्तियों को हल किए बिना जल्दी से बाहर निकल सकते हैं, जो कि परिपत्रता से बचा जाता है।

इस बीच, आप केवल otherFunc कॉल में arg कोष्ठक जोड़कर वृत्ताकारता को तोड़ सकते हैं। दूसरे शब्दों में, कॉल को otherFunc(ITEM, (arg)) बदलें। यह कंट्रोल फ़्लो एनालाइज़र के कारण कॉल को एक संभावित उपयोगकर्ता परिभाषित प्रकार विधेय आह्वान नहीं मानता है।

ahejlsberg 9 नव॰ 2016

👍2

सभी 3 टिप्पणियाँ

ahejlsberg 9 नव॰ 2016

👍2

@ हेजेल्सबर्ग
लघुकोष्ठक समाधान के लिए धन्यवाद।
मैं इसका पता लगाना चाहता हूं। पीआर स्वीकार्य है, है ना?

arusakov 9 नव॰ 2016

@ आर्यसकोव अब मास्टर में ठीक करें!

ahejlsberg 13 नव॰ 2016

क्या यह पृष्ठ उपयोगी था?

0 / 5 - 0 रेटिंग्स

Typescript: प्रकार चेकर के लिए प्रकार खो देता है

सबसे उपयोगी टिप्पणी

सभी 3 टिप्पणियाँ

संबंधित मुद्दों