मैं सी # में अमूर्त स्थैतिक तरीकों क्यों नहीं कर सकता?

पिछले स्पष्टीकरण में जोड़ने के लिए, स्थिर विधि कॉल संकलन-समय पर एक विशिष्ट विधि से बंधी हुई हैं, जो कि पॉलिमॉर्फिक व्यवहार को नियंत्रित करती है।

स्टेटिक विधियां तत्काल जैसी नहीं हैं, वे केवल ऑब्जेक्ट संदर्भ के बिना उपलब्ध हैं।

एक क्लास विधि के माध्यम से एक क्लास नाम के माध्यम से किया जाता है, ऑब्जेक्ट संदर्भ के माध्यम से नहीं, और इसे कॉल करने के लिए आईएल कोड उस वर्ग के नाम के माध्यम से अमूर्त विधि को कॉल करेगा जो परिभाषित करता है, आवश्यक रूप से आपके द्वारा उपयोग की जाने वाली कक्षा का नाम नहीं ।

मुझे एक उदाहरण दिखाएं।

निम्नलिखित कोड के साथ:

public class A
{
    public static void Test()
    {
    }
}

public class B : A
{
}

यदि आप बी.टेस्ट को कॉल करते हैं, तो इस तरह:

class Program
{
    static void Main(string[] args)
    {
        B.Test();
    }
}

फिर मुख्य विधि के अंदर वास्तविक कोड निम्नानुसार है:

.entrypoint
.maxstack 8
L0000: nop 
L0001: call void ConsoleApplication1.A::Test()
L0006: nop 
L0007: ret 

जैसा कि आप देख सकते हैं, कॉल ए.टेस्ट को बनाया गया है, क्योंकि यह ए क्लास था जिसने इसे परिभाषित किया था, न कि बी.टेस्ट के लिए, भले ही आप इस तरह कोड लिख सकें।

यदि आपके पास वर्ग प्रकार था, जैसे डेल्फी में, जहां आप एक प्रकार का संदर्भ देने वाले चर को बना सकते हैं, न कि ऑब्जेक्ट, तो आपके पास वर्चुअल और इस प्रकार सार स्थिर विधियों (और रचनाकारों) के लिए अधिक उपयोग होगा, लेकिन वे उपलब्ध नहीं हैं और इस प्रकार स्थिर कॉल .NET में गैर-वर्चुअल हैं।

मुझे एहसास है कि आईएल डिजाइनर कोड को बी.टेस्ट पर कॉल करने के लिए संकलित करने की अनुमति दे सकते हैं, और रनटाइम पर कॉल को हल कर सकते हैं, लेकिन यह अभी भी वर्चुअल नहीं होगा, क्योंकि आपको अभी भी किसी प्रकार का क्लास नाम लिखना होगा।

वर्चुअल विधियां, और इस प्रकार सार तत्व, केवल तभी उपयोगी होते हैं जब आप चर का उपयोग कर रहे होते हैं, रनटाइम पर, कई अलग-अलग प्रकार की ऑब्जेक्ट्स हो सकती हैं, और आप इस प्रकार वेरिएबल में मौजूद वर्तमान ऑब्जेक्ट के लिए सही विधि को कॉल करना चाहते हैं। स्थैतिक तरीकों के साथ आपको किसी भी वर्ग के नाम से गुज़रने की ज़रूरत है, इसलिए कॉल करने की सटीक विधि संकलन समय पर जानी जाती है क्योंकि यह बदल नहीं सकती है और नहीं बदलेगी।

इस प्रकार, वर्चुअल / अमूर्त स्थैतिक विधियां .NET में उपलब्ध नहीं हैं।

हम वास्तव में स्थैतिक तरीकों (डेल्फी में) को ओवरराइड करते हैं, यह थोड़ा बदसूरत है, लेकिन यह हमारी आवश्यकताओं के लिए ठीक काम करता है।

हम इसका उपयोग करते हैं ताकि कक्षाएं कक्षा के उदाहरण के बिना उनकी उपलब्ध वस्तुओं की एक सूची हो सकती हैं, उदाहरण के लिए, हमारे पास ऐसा तरीका है जो इस तरह दिखता है:

class function AvailableObjects: string; override;
begin
  Result := 'Object1, Object2';
end; 

यह बदसूरत लेकिन जरूरी है, इस तरह हम केवल उपलब्ध वस्तुओं को खोजने के लिए तत्काल सभी वर्गों को तत्काल रखने की बजाय, केवल वही चीज़ों को तुरंत चालू कर सकते हैं।

यह एक साधारण उदाहरण था, लेकिन एप्लिकेशन स्वयं क्लाइंट-सर्वर एप्लिकेशन है जिसमें सभी वर्ग केवल एक सर्वर में उपलब्ध हैं, और कई अलग-अलग क्लाइंट जिन्हें सर्वर की हर चीज की आवश्यकता नहीं हो सकती है और कभी ऑब्जेक्ट इंस्टेंस की आवश्यकता नहीं होगी।

इसलिए प्रत्येक क्लाइंट के लिए एक अलग सर्वर एप्लिकेशन होने से बनाए रखना बहुत आसान है।

उम्मीद है कि उदाहरण स्पष्ट था।

एक अन्य उत्तरदाता (मैकडॉवेल) ने कहा कि बहुरूपता केवल ऑब्जेक्ट उदाहरणों के लिए काम करती है। यह योग्य होना चाहिए; ऐसी भाषाएं हैं जो वर्गों को "कक्षा" या "मेटाक्लास" प्रकार के उदाहरण के रूप में मानती हैं। ये भाषाएं उदाहरण और कक्षा (स्थैतिक) दोनों विधियों के लिए बहुरूपता का समर्थन करती हैं।

सी #, जावा और सी ++ की तरह पहले, ऐसी भाषा नहीं है; static कीवर्ड स्पष्ट रूप से यह इंगित करने के लिए उपयोग किया जाता है कि विधि गतिशील / वर्चुअल के बजाय स्थिर रूप से बाध्य है।

स्टेटिक विधियों को विरासत में नहीं लिया जा सकता है या ओवरराइड नहीं किया जा सकता है, और यही कारण है कि वे अमूर्त नहीं हो सकते हैं। चूंकि स्थिर तरीकों को इस प्रकार के प्रकार पर परिभाषित किया गया है, उदाहरण के लिए, किसी वर्ग के, उन्हें स्पष्ट रूप से उस प्रकार पर नहीं कहा जाना चाहिए। तो जब आप किसी बच्चे वर्ग पर कोई विधि कॉल करना चाहते हैं, तो आपको इसे कॉल करने के लिए इसका नाम उपयोग करना होगा। यह विरासत अप्रासंगिक बनाता है।

मान लीजिए कि आप एक पल के लिए स्थैतिक तरीकों का वारिस कर सकते हैं। इस परिदृश्य की कल्पना करो:

public static class Base
{
    public static virtual int GetNumber() { return 5; }
}

public static class Child1 : Base
{
    public static override int GetNumber() { return 1; }
}

public static class Child2 : Base
{
    public static override int GetNumber() { return 2; }
}

यदि आप Base.GetNumber() को कॉल करते हैं, तो कौन सी विधि कहा जाएगा? कौन सा मूल्य लौटाया? यह देखना बहुत आसान है कि वस्तुओं के उदाहरण बनाये बिना, विरासत बल्कि कठिन है। विरासत के बिना सार विधियां केवल वे विधियां हैं जिनके पास शरीर नहीं है, इसलिए उन्हें नहीं कहा जा सकता है।

अमूर्त विधियां पूरी तरह आभासी हैं। सार विधियों को एक उदाहरण की आवश्यकता होती है, लेकिन स्थिर विधियों में कोई उदाहरण नहीं है। तो, आप एक अमूर्त वर्ग में एक स्थिर विधि हो सकती है, यह स्थिर स्थिर (या सार स्थिर) नहीं हो सकता है।

यहां एक ऐसी स्थिति है जहां स्थैतिक क्षेत्रों और विधियों के लिए निश्चित रूप से विरासत की आवश्यकता है:

abstract class Animal
{
  protected static string[] legs;

  static Animal() {
    legs=new string[0];
  }

  public static void printLegs()
  {
    foreach (string leg in legs) {
      print(leg);
    }
  }
}


class Human: Animal
{
  static Human() {
    legs=new string[] {"left leg", "right leg"};
  }
}


class Dog: Animal
{
  static Dog() {
    legs=new string[] {"left foreleg", "right foreleg", "left hindleg", "right hindleg"};
  }
}


public static void main() {
  Dog.printLegs();
  Human.printLegs();
}


//what is the output?
//does each subclass get its own copy of the array "legs"?