type-inference पर टैग किए गए जवाब

एक प्रकार की प्रणाली द्वारा परिभाषित नियमों का उपयोग करते हुए, प्रकार का निष्कर्ष प्रोग्रामों के लिए स्वचालित रूप से प्रकारों को संदर्भित करने की प्रक्रिया है।

2
क्यों उच्च स्तर की विशेषता सीमा में 'st :: :: mem :: drop` बिल्कुल बंद होने के समान नहीं है? _ ()?
का कार्यान्वयन std::mem::dropनिम्नलिखित होने के लिए प्रलेखित है: pub fn drop<T>(_x: T) { } जैसे, मैं दोनों दिशाओं में संभावित 1: 1 प्रतिस्थापन के लिए क्लोजर |_| ()( टॉयलेट क्लोजर के रूप में जाना जाता है ) को बंद करने की उम्मीद करूंगा drop। हालांकि, नीचे दिए गए कोड से …

1
क्यों एक प्रकार का पैरामीटर मजबूत है तो एक विधि पैरामीटर
यही वजह है कि public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} अधिक सख्त public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} यह अनुवर्ती समय पर जाँच नहीं किए जाने वाले लंबोदर रिटर्न टाइप क्यों है पर एक अनुवर्ती है । मैंने withX()जैसे विधि का …

1
पैटर्न मिलान में विधि और वर्ग प्रकार के मापदंडों के प्रकार के बीच अंतर
जब एक पैरामीटर संलग्नक वर्ग से आता है तो पैटर्न मिलान कार्य अलग-अलग तरीके से क्यों होता है? उदाहरण के लिए, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) => 42 } } } त्रुटि देता है …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.