सी 11 प्रकार-जेनेरिक एक्सप्रेशन - क्यों न केवल फ़ंक्शन ओवरलोडिंग जोड़ें?

Question

मैं सिर्फ C11 पर विकिपीडिया लेख, सी मानक दिसंबर 2011 में प्रदर्शित के नए संस्करण पढ़ रहा था, और मैंने देखा कि अतिरिक्त विशेषताओं में से एक था "टाइप-सामान्य भाव":

टाइप-सामान्य _Generic कीवर्ड का उपयोग कर अभिव्यक्तियां। उदाहरण के लिए, मैक्रो cbrt (एक्स) निम्नलिखित (एक्स), cbrt (एक्स) या cbrtf (एक्स) एक्स के प्रकार पर निर्भर cbrtl करने के लिए अनुवाद:

#define cbrt(X) _Generic((X), long double: cbrtl, \ 
           default: cbrt, \ 
           float: cbrtf)(X) 

यह मेरे लिए बहुत भयानक लग रहा है - अगर वे वैसे भी भाषा बदलने के लिए जा रहे हैं, क्यों नहीं बस समारोह ओवरलोडिंग सी ++ में जोड़ने की तरह?

Answer 1

सी के बाहरी प्रतीकों के लिए एक नामस्थान है, और ओडीआर (एक परिभाषा नियम) लागू करता है जैसे दो extern दो अनुवाद इकाइयों में समान नाम वाले ऑब्जेक्ट्स में एक ही परिभाषा होनी चाहिए।

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

TGE (के रूप में पुस्तकालय द्वारा प्रयुक्त) सिर्फ नाम mangling की एक मैन्युअल रूप से संचालित संस्करण है। यह गणित-गहन आंतरिक लूपों की पीढ़ी को नियंत्रित करने के लिए typedef घोषणाओं की अनुमति देने के लिए, जो संभवतः बहुत दूर भविष्य में काम करता है (या करेगा)। जिन लोगों को सी ++ जैसी भाषा की विशेषताओं की आवश्यकता होती है उन्हें सी ++ में बंदरगाह होना चाहिए।