क्यों भाषाएं वापसी मूल्य से विधियों को ओवरलोड करने की अनुमति नहीं देती हैं?

Question

सी, जावा और कई अन्य भाषाएं वापसी मूल्यों पर ध्यान नहीं देती हैं।

int i = func() 
float f = func() 
int func() { return 5 } 
float func() { return 1.3} 

उपरोक्त कानूनी क्यों नहीं है? क्या यह प्रोग्राम

int i = func(func(func(func2(func3())))) //you dont know what you are getting 

क्या यह एक कंपाइलर लिखना मुश्किल है? क्या वहां और भाषा असंबद्धता है? क्या कोई ऐसी भाषा है जो उपर्युक्त कर सकती है?

Answer 1

मान लें कि यह अनुमति दी गई थी चलो, जो एक होगा इस कॉल:

func(); 

कि नहीं हो सकता पूरा जवाब है, लेकिन मुझे विश्वास है कि एक कारण है कि यह कानूनी नहीं है।

Answer 2

इस मामले के बारे में क्या?

class A implements Foo { /*...*/ } 
class B implements Foo { /*...*/ } 

A func() { return new A(); } 
B func() { return new B(); } 

Foo v = func(); // which do you call?! 

अस्पष्टता के साथ पहले से ही समस्याएं हैं जब आप एक ही फ़ंक्शन नाम को ओवरलोड करने की अनुमति देते हैं जो विभिन्न तर्क लेते हैं। वापसी प्रकार की जांच करने के साथ-साथ सही कार्य को हल करना बहुत कठिन होगा।

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

Answer 3

एक सी ++ उदाहरण के लिए, पर विचार करें:

void g(int x); 
void g(float x); 
g(func()); 

अतिभारित g() कार्यों में से कौन सा ही कहा जाता है?

Answer 4

अधिकांश भाषाएं स्वचालित जबरन (जैसे फ्लोट + इंट) के साथ मिश्रित-मोड संचालन की अनुमति देती हैं, जहां कई व्याख्याएं कानूनी होती हैं। जबरन बिना, कई संख्यात्मक प्रकारों (लघु, int, लंबे, फ्लोट, डबल) के साथ काम करना बहुत बोझिल हो जाएगा; जबरदस्ती के साथ, रिटर्न-टाइप आधारित असंबद्धता से समझने में कठिनाई होगी।

Answer 5

इन्हें अनुमति देना समस्याएं पेश कर सकता है। उदाहरण के लिए:

int i = func2(func()); 
int func() { return 5; } 
float func() { return 1.3; } 
int func2(float a) { return a; } 
int func2(int a) { return a; } 

यह संदिग्ध है।

Answer 6

पर्ल रिटर्न प्रकार भिन्नता की एक निश्चित डिग्री की अनुमति देता है, उस कार्य में यह बता सकता है कि किस प्रकार के संदर्भ का मूल्यांकन किया जा रहा है। उदाहरण के लिए, एक ऐसा फ़ंक्शन जो किसी सरणी को वापस कर सकता है, देख सकता है कि यह स्केलर संदर्भ में चल रहा है, और इसकी लम्बाई पाने के लिए सरणी के आवंटन और प्रारंभिकरण को छोड़कर, सीधे लेटेक्टिव लम्बाई वापस कर दें।

Answer 7

हां, रिटर्न प्रकारों पर ओवरलोडिंग की अनुमति एक भाषा को जटिल बनाती है। यह अधिभारित पहचानकर्ताओं (जैसे फ़ंक्शन नाम) के समाधान को जटिल बनाता है। लेकिन यह असंभव नहीं है, उदा। हास्केल उनके रिटर्न प्रकार के आधार पर फ़ंक्शन ओवरलोड करने की अनुमति देता है।

class Num a where 
    fromInteger :: Integer -> a 
    ... 

Num एक विधि fromInteger कहा जाता है एक मनमाना प्रकार है जो Num का एक उदाहरण है करने के लिए मनमाने ढंग से आकार Integer से एक समारोह है, जिसके साथ हास्केल में एक प्रकार वर्ग है। हास्केल प्रकार वर्ग तंत्र वस्तु-उन्मुख भाषाओं की कक्षा अवधारणा से अलग है। इसलिए मेरी व्याख्या अजीब लग सकती है।

लेकिन परिणाम यह है कि मैं इंटेगर से फ़ंक्शन का उपयोग कर सकता हूं और कॉलिंग संदर्भ के आधार पर, विभिन्न कार्यान्वयन संकलन समय पर chooen हैं।

टाइप सिस्टम पर शोध की एक पूरी श्रृंखला है, जिसने इस सुविधा को संभव बनाया है। इसलिए, मैं कहूंगा कि यह स्थिर रूप से टाइप की गई भाषाओं में काम करने योग्य है। गतिशील रूप से टाइप की गई भाषाओं को या तो समय-यात्रा या कुछ चालाक विचारों की आवश्यकता होगी।

Answer 8

अस्पष्टता से बचने के लिए।

a(int) 
a(bool) 
int b() 
bool b() 

a(b()) -- Which b? 

यहां टाइप अनुमान में चक्रीय निर्भरता है। कौन सा ba पर निर्भर करता है, लेकिन कौन सा ab पर निर्भर करता है, इसलिए यह अटक जाता है।

रिटर्न प्रकारों के अधिभार को अस्वीकार करने से यह सुनिश्चित होता है कि टाइप अनुमान अनुमानित है। रिटर्न प्रकार हमेशा पैरामीटर प्रकारों द्वारा निर्धारित किया जा सकता है, लेकिन पैरामीटर प्रकार रिटर्न प्रकार द्वारा निर्धारित नहीं किए जा सकते हैं, क्योंकि वे बदले में पैरामीटर प्रकारों द्वारा निर्धारित किए जा सकते हैं जिन्हें आप ढूंढने की कोशिश कर रहे हैं।