सी # कोड का निम्न भाग संकलन नहीं करता है:बेस क्लास विनिर्देश का अर्थ फिर से सी # में क्यों निर्भर नहीं हो सकता है?
public class A
{
public interface B { }
}
public class C
: A,
C.B // Error given here: The type name 'B' does not exist in the type 'C'.
{ }
public class D : C.B // Compiles without problems if we comment out 'C.B' above.
{ }
यह व्यवहार सही सी # 4.0 विनिर्देश के अनुसार (पैरा 10.1.4.1) है: प्रत्यक्ष आधार का अर्थ निर्धारित करते समय
कक्षा विनिर्देश ए कक्षा बी का ए, बी का प्रत्यक्ष आधार वर्ग अस्थायी रूप से ऑब्जेक्ट माना जाता है। सहजता से यह सुनिश्चित करता है कि बेस क्लास विनिर्देश का अर्थ पुन: प्रयास नहीं कर सकता है।
मेरा प्रश्न है: इस व्यवहार की अनुमति क्यों नहीं है?
इंटेलिसेंस में इसके साथ कोई समस्या नहीं है - हालांकि मुझे पता है कि विजुअल स्टूडियो क्रैश को देखने के बाद इंटेलिजेंस कुछ बुरा वर्ग संयोजन को समझने की कोशिश करता है जब वेरिएंट जेनरिक के साथ कुछ बुरा वर्ग संयोजन को समझने की कोशिश करता है।
विनिर्देश से उपरोक्त उद्धरण के लिए इंटरनेट खोजना कुछ भी नहीं पैदा करता है, इसलिए मुझे लगता है कि यह अभी तक कहीं भी नहीं लाया गया है।
मुझे परवाह क्यों है? मैंने कोड के निम्नलिखित भाग को डिज़ाइन किया:
// The next three classes should really be interfaces,
// but I'm going to override a method later on to prove my point.
// This is a container class, that does nothing except contain two classes.
public class IBagContainer<Bag, Pointer>
where Bag : IBagContainer<Bag, Pointer>.IBag
where Pointer : IBagContainer<Bag, Pointer>.IPointer
{
// This could be an interface for any type of collection.
public class IBag
{
// Insert some object, and return a pointer object to it.
// The pointer object could be used to speed up certain operations,
// so you don't have to search for the object again.
public virtual Pointer Insert(object o) { return null; }
}
// This is a pointer type that points somewhere insice an IBag.
public class IPointer
{
// Returns the Bag it belongs to.
public Bag GetSet() { return null; }
}
}
// This is another container class, that implements a specific type of IBag.
public class BinarySearchTreeContainer<Tree, Node> : IBagContainer<Tree, Node>
where Tree : BinarySearchTreeContainer<Tree, Node>.BinarySearchTree
where Node : BinarySearchTreeContainer<Tree, Node>.BinarySearchTreeNode
{
// This is your basic binary search tree.
public class BinarySearchTree : IBagContainer<Tree, Node>.IBag
{
// We can search for objects we've put in the tree.
public Node Search(object o) { return null; }
// See what I did here? Insert doesn't return a Pointer or IPointer,
// it returns a Node! Covariant return types!
public override Node Insert(object o) { return null; }
}
// A node in the binary tree. This is a basic example of an IPointer.
public class BinarySearchTreeNode : IBagContainer<Tree, Node>.IPointer
{
// Moar covariant return types!
public override Tree GetSet() { return null; }
// If we maintain next and prev pointers in every node,
// these operations are O(1). You can't expect every IBag
// to support these operations.
public Node GetNext() { return null; }
public Node GetPrev() { return null; }
}
}
देखो, हमने कॉन्वेंट रिटर्न प्रकार प्राप्त किए हैं! हालांकि एक छोटी सी जानकारी है।
बाइनरीशर्च ट्री को तुरंत चालू करने का प्रयास करें। ऐसा करने के लिए, हमें कुछ उपयुक्त वृक्ष और नोड कक्षाओं के लिए BinarySearchTreeContainer.BinarySearchTree निर्दिष्ट करने की आवश्यकता है। वृक्ष के लिए, हम बाइनरीशर्च ट्री का उपयोग करना चाहते हैं, जिसके लिए हमें बाइनरीशर्च ट्रीकंटनर निर्दिष्ट करना होगा। बाइनरीशर्च ट्री ... और हम अटक गए हैं।
यह अनिवार्य रूप से curiously recurring template pattern (सीआरटीपी) है। दुर्भाग्य से, हम यह CRTP में के रूप में ठीक नहीं कर सकते:
public class BinarySearchTreeContainer
: BinarySearchTreeContainer
<BinarySearchTreeContainer.BinarySearchTree,
BinarySearchTreeContainer.BinarySearchTreeNode> { }
public class IBagContainer
: IBagContainer
<IBagContainer.IBag,
IBagContainer.IPointer> { }
(...)
BinarySearchTreeContainer.BinarySearchTree tree
= new BinarySearchTreeContainer.BinarySearchTree();
tree.Search(null);
IBagContainer.IBag bag = tree; // No cast!
//bag.Search(null); // Invalid!
//BinarySearchTreeContainer.BinarySearchTreeNode node
// = bag.Insert(null); // Invalid!
और हम वापस अपने मूल प्रश्न के कर रहे हैं: शीर्ष दो वर्ग परिभाषाओं सी # विनिर्देश द्वारा अनुमति नहीं है। यदि इस वर्ग की परिभाषा की अनुमति थी, तो मेरे बाइनरी खोज पेड़ उपयोग योग्य होंगे। अभी, वे केवल संकलित करते हैं: उनका उपयोग नहीं किया जा सकता है।
+1 सीआरटीपी के रूप में दिलचस्प है ... मूर्ख प्रकार के सिस्टम :) दिलचस्प सवाल, हालांकि। यह सुनिश्चित नहीं है कि पोस्ट में एम्बेड किए गए व्यक्तिपरक ध्वनि वाले प्रश्न के साथ यह कैसे उचित होगा, हालांकि ऐसा लगता है कि बहुत सारे उद्देश्य उत्तर हैं। –
यह वास्तव में उपयोगी होगा यदि नेस्टेड कक्षाओं को अपने बाहरी वर्गों के आंतरिक लोगों तक पहुंच की आवश्यकता हो ... जब तक ऐसा नहीं होता है, तब तक आप अपने युक्त कक्षाओं के बाहर नेस्टेड कक्षाएं घोषित कर सकते हैं और आप कर चुके हैं। – Nuffin