"कक्षा ए: IX" से सामान्य "टी कहां टी: IX" की अनुमति क्यों नहीं है?

Question

निम्नलिखित संकलन त्रुटि का कारण क्यों है?

interface IX {} 
interface IY {} 
class XY : IX, IY {} 

void Foo<T>() where T : IX, IY 
{ 
    T xy = new XY(); 
    … // ^^^^^^^^ 
}  // error: "Implicit conversion of type 'XY' to 'T' is not possible." 

---

नोट: यदि class XY : IX और where T : IX एक ही त्रुटि तब आ जाएगा। हालांकि, मैं एक अधिक जटिल उदाहरण को चुना है क्योंकि एक सरल एक तरह के रूप में, circumventive जवाब उकसाया हो सकता है, "बस IX करने के लिए T से xy के प्रकार में परिवर्तन" जो का जवाब नहीं क्यों इस रूपांतरण विफल रहता है।

Answer 1

class ABC : IX, IY { } और Foo<ABC> दिए गए, तो क्या आप new XY() का उपयोग करने में सक्षम होने की उम्मीद करेंगे? क्योंकि आपको वह उम्मीद नहीं होनी चाहिए। कंपाइलर, या तो नहीं होगा।

टी हमेशा XY होने वाला नहीं है। टी एबीसी, डीईएफ, या कुछ और होने जा रहा है जो आपके दो इंटरफेस को कार्यान्वित कर सकता है और इसलिए आपके पास मौजूद बाधाओं को पूरा कर सकता है। एक्सवाई एबीसी, डीईएफ, या में टी के लिए असीमित संभावनाओं में से कोई भी परिवर्तनीय नहीं है, और इसलिए आपके पास आपका त्रुटि संदेश है: XY से T का निहित रूपांतरण संभव नहीं है।

क्या कानूनी है बस new T() होगा, और यह सच केवल अगर विधि इसे समर्थन करने के लिए विवश किया जाता है।

void Foo<T>() where T : IX, IY, new() 
{ 
    T obj = new T(); 
} 

Answer 2

क्योंकि है कि अगर कानूनी थे तो आप ऐसा कर सकते हैं:

interface IPet {} 
interface IMammal {} 
class Dog : IPet, IMammal {} 
class Cat : IPet, IMammal {} 
T Foo<T>() where T : IPet, IMammal 
{  
    return new Dog(); 
} 
... 
Cat cat = Foo<Cat>(); // Assigns a Dog to a variable of type Cat.