Typescript: तीसरा बनाने के लिए दो सामान्य परिमों के अंतर को समतुल्य नहीं माना जाता है

को निर्मित 13 जन॰ 2019 · 3टिप्पणियाँ · स्रोत: microsoft/TypeScript

टाइपस्क्रिप्ट संस्करण: 3.3.0-dev.201xxxxx

खोज शब्द:

जेनेरिक का अंतर

कोड

let connect = <R1,R2, R = R1&R2 >(mapState2Props: (state) => R1, mapDispatch2Props: (dispatch: any) => R2): R => {
  let state = {};
  let dispatch = () => { };
  return { ...mapState2Props(state), ...mapDispatch2Props(dispatch)}
}

अपेक्षित् व्यवहार:
मुझे उम्मीद है कि यह मान्य होगा क्योंकि मैंने सामान्य हस्ताक्षर में R = R1&R2 को परिभाषित किया है।

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

रिटर्न स्टेटमेंट पर Type 'R1 & R2' is not assignable to type 'R'. एक त्रुटि प्राप्त करें। मैंने R extends R1&R2 भी प्रयास किया है और मुझे वही त्रुटि मिली है।

खेल का मैदान लिंक:

संपर्क

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

https://github.com/Microsoft/TypeScript/issues/5823

Question

स्रोत

ChuckJonas

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

मेरा मानना है कि त्रुटि यहीं है। हां R1 & R2 R के डिफ़ॉल्ट के लिए असाइन किया गया है, लेकिन R को _more_ विशिष्ट प्रकार के साथ तत्काल किया जा सकता है। निम्नलिखित तात्कालिकता पर विचार करें।

connect<{ x: number; }, { y: number; }, { x: number, y: number, z: number }>( ... );

यह R1 , R2 , और R का एक मान्य तात्कालिकता है, लेकिन R1 & R2 _not_ R क्योंकि यह गायब है z पैरामीटर।

आपके उदाहरण में R पैरामीटर वास्तव में आवश्यक नहीं है (हालांकि आपका वास्तविक उपयोग-मामला अधिक जटिल हो सकता है)। यह काम:

let connect = <R1,R2>(mapState2Props: (state) => R1, mapDispatch2Props: (dispatch: any) => R2): R1 & R2 => {
  let state = {};
  let dispatch = () => { };
  return { ...mapState2Props(state), ...mapDispatch2Props(dispatch)}
}

jack-williams 14 जन॰ 2019

👍3

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

connect<{ x: number; }, { y: number; }, { x: number, y: number, z: number }>( ... );

let connect = <R1,R2>(mapState2Props: (state) => R1, mapDispatch2Props: (dispatch: any) => R2): R1 & R2 => {
  let state = {};
  let dispatch = () => { };
  return { ...mapState2Props(state), ...mapDispatch2Props(dispatch)}
}

jack-williams 14 जन॰ 2019

👍3

हम्म हां यह एक अच्छी बात है। यहाँ लक्ष्य यह था कि अंततः आपको वह स्थान मिले जहाँ आप केवल R रिटर्न टाइप कर सकते हैं और प्रकार की सुरक्षा प्राप्त कर सकते हैं कि mapState2Props & mapDispatch2Props एक वैध R परिणाम होगा।

ईजी:

interface IComponentProps{
  foo: string;
  doFoo: ()=>void
}
let props: IComponentProps = connect<IComponentProps>(
  (state) => { foo: state.foo },
  (dispatch) => {doFoo: () => dispatch('FOO')}
)

हालांकि ... मुझे यकीन नहीं है कि अगर यह भी संभव है ... तो जैसे आप को R1 & R2 को R कुछ सबसेट के रूप में परिभाषित करने की आवश्यकता होगी, लेकिन वे एक-दूसरे पर निर्भर हैं ...

ChuckJonas 14 जन॰ 2019

ध्यान दें कि R भी पूरी तरह से असंबंधित प्रकार हो सकता है। जेनरिक में डिफ़ॉल्ट प्रकार के तर्क अड़चन नहीं हैं।

connect<{ a: string }, { b: number }, { c: boolean[] }>(() => ({ a: "a" }), () => ({ b: 3 }))

nmain 14 जन॰ 2019

❤1 👍1

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

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