समझौता स्केला किसी भी बनाम के _/कुछ भी नहीं

Question

एक वर्ग एक convariant प्रकार पैरामीटर Iterable[+A] रूप में इस तरह है, तो वहाँ

def foo(bar: Iterable[_]) 

और

def foo(bar: Iterable[Any]) 

की घोषणा के बीच कोई अंतर है?

---

एक वर्ग एक contravariant प्रकार पैरामीटर Growable[-A] रूप में इस तरह है, तो वहाँ

def foo(bar: Growable[_]) 

और

def foo(bar: Growable[Nothing]) 

की घोषणा के बीच कोई अंतर है?

Answer 1

जेनेरिक पैरामीटर बाध्य होने पर यह थोड़ा अंतर बनाता है। उदाहरण के लिए, यदि आप

class BoundedIterable[+A <: Something] 
class BoundedGrowable[-A >: Something] 

था तो BoundedIterable[Any] टाइप करें और BoundedGrowable[Nothing] अवैध होगा।

मुझे नहीं पता कि कोई अन्य अंतर है या नहीं, लेकिन मैं यह सुनिश्चित कर सकता हूं कि जहां भी संभव हो, आपको वाइल्डकार्ड-कम संस्करण पसंद करना चाहिए। इसका कारण यह है कि, वास्तव में, घोषणापत्र-साइट प्रकार भिन्नता का उद्देश्य उद्देश्य वाइल्डकार्ड से छुटकारा पाने के लिए है (जो उपयोग-साइट भिन्नता का एक रूप है)। जब आप List[Any] कहते हैं तो "कुछ भी सूची" का मतलब है, लेकिन जब आप List[_] कहते हैं तो आपका मतलब है "हम जो नहीं जानते हैं" क्या है। तो पूर्व सिर्फ एक और तरीका स्पष्ट है, भले ही वे किसी विशेष मामले में समकक्ष हो।