संकल्पना (सामान्य प्रोग्रामिंग): Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
[[सामान्य प्रोग्रामिंग]] में, | [[सामान्य प्रोग्रामिंग|'''सामान्य प्रोग्रामिंग''']] में, अवधारणा ऐसा समर्थित संचालन का विवरण है, जिसमें वाक्यविन्यास और शब्दार्थ सम्मिलित हैं। इस प्रकार, अवधारणाएँ [[अमूर्त प्रकार|अमूर्त प्रकारों]] से संबंधित होती हैं किंतु अवधारणाओं को उपप्रकार संबंध की आवश्यकता नहीं होती है। | ||
== | ==लैंग्वेज प्रयोग== | ||
यह शब्द [[मानक टेम्पलेट लाइब्रेरी]] के लिए 1998 से ही प्रयोग में था,<ref>Austern, M.H. ''Generic programming and the STL: using and extending the C++ Standard Template Library''. 1998. pp 17–18</ref> क्योंकि यह उन पहले | यह शब्द [[मानक टेम्पलेट लाइब्रेरी]] के लिए 1998 से ही प्रयोग में था,<ref>Austern, M.H. ''Generic programming and the STL: using and extending the C++ Standard Template Library''. 1998. pp 17–18</ref> क्योंकि यह उन पहले लाइब्रेरी में से था जो बड़े पैमाने पर टेम्पलेट्स का उपयोग करता था। अवधारणा शब्द (और इसकी लोकप्रियता) का श्रेय [[अलेक्जेंडर स्टेपानोव]] को दिया जाता है,<ref>[https://isocpp.org/blog/2016/02/a-bit-of-background-for-concepts-and-cpp17-bjarne-stroustrup a bit of background for concepts and C++17—Bjarne Stroustrup], by Bjarne Stroustrup | Feb 26, 2016</ref><ref>[https://isocpp.org/blog/2016/01/alex-stepanov Alex Stepanov], by Bjarne Stroustrup | Jan 21, 2016</ref> जो एसटीएल के प्राथमिक डिजाइनर थे। | ||
सी++ 1998 मानक में, कॉन्सेप्ट शब्द को विशेष प्रकार की आवश्यकताओं का सरल विवरण देने के लिए प्रस्तुत किया गया था, जो सामान्यतः टेम्पलेट पैरामीटर होता है। इसे लैंग्वेज में स्पष्ट रूप से एन्कोड नहीं किया गया था अवधारणा केवल इस सम्बन्ध में व्यक्त की गई थी कि उस प्रकार की वस्तुओं पर किस प्रकार के संचालन का प्रयास किया जाता है और क्या कार्य करने की आशा की जाती है (अर्थात, उत्तम रूप से संकलित करना)। [[C++11|सी++11]] में स्पष्ट लैंग्वेज सुविधा के रूप में कॉन्सेप्ट्स (सी++) को जोड़ने का प्रस्ताव था, चूँकि इसे तैयार नहीं होने के कारण अस्वीकार कर दिया गया था। [[C++20|सी++20]] ने अंततः अवधारणा के परिष्कृत डिज़ाइन को स्वीकार कर लिया। | |||
चूंकि [[जावा (प्रोग्रामिंग भाषा)]] और सी | चूंकि [[जावा (प्रोग्रामिंग भाषा)|जावा (प्रोग्रामिंग लैंग्वेज)]] और सी में जेनेरिक में [[सी++]] के [[टेम्पलेट (सी++)]]सी++) से कुछ समानताएं हैं, इसलिए वहां अवधारणाओं की भूमिका [[ प्रोटोकॉल (वस्तु-उन्मुख प्रोग्रामिंग) |प्रोटोकॉल (वस्तु-उन्मुख प्रोग्रामिंग)]] द्वारा निभाई जाती है। चूँकि, अवधारणाओं और इंटरफेस के मध्य महत्वपूर्ण अंतर है: जब किसी विशेष इंटरफ़ेस को प्रारम्भ करने के लिए टेम्पलेट पैरामीटर की आवश्यकता होती है, तो मैचिंग टाइप केवल क्लासेज हो सकता है जो उस इंटरफ़ेस को (स्पष्ट रूप से) प्रारम्भ करता है। अवधारणाएँ अधिक फ्लेक्स्बिल हैं क्योंकि उन्हें दो विधियों से संतुष्ट किया जा सकता है: | ||
* अवधारणा मानचित्र का उपयोग करके स्पष्ट रूप से संतुष्ट के रूप में परिभाषित किया गया है (इंटरफ़ेस के विपरीत, प्रकार को | * अवधारणा मानचित्र का उपयोग करके स्पष्ट रूप से संतुष्ट के रूप में परिभाषित किया गया है (इंटरफ़ेस के विपरीत, प्रकार को भिन्न से परिभाषित किया गया है)। | ||
* ऑटो अवधारणाओं के लिए स्पष्ट रूप से परिभाषित, जिसका उपयोग अंतर्निहित प्रकारों और अन्य प्रकारों के लिए भी किया जा सकता है जो इस उपयोग के लिए पूर्वनिर्धारित नहीं | * ऑटो अवधारणाओं के लिए स्पष्ट रूप से परिभाषित, जिसका उपयोग अंतर्निहित प्रकारों और अन्य प्रकारों के लिए भी किया जा सकता है जो इस उपयोग के लिए पूर्वनिर्धारित नहीं थे। | ||
किंतु सी लैंग्वेज में कई संरचनाएं हैं जहां उपयोग किए गए प्रकार को परिभाषित इंटरफ़ेस को स्पष्ट रूप से प्रारम्भ करने की आवश्यकता नहीं है, इसे केवल संबंधित पैटर्न से मैच करना आवश्यक है (चूँकि, इन पैटर्न को अवधारणाएं नहीं कहा जाता है)। जैसे <code>foreach</code> पुनरावृत्ति कथन पुनरावृत्त वस्तु को किसी भी प्रकार की होने की अनुमति देते है, जब तक कि यह उपयुक्त <code>GetEnumerator</code> विधि प्रारंभ करता है।<ref>[https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/statements#the-foreach-statement ''C# 6.0 draft specification'', ''The foreach statement'']</ref> (उपयोग कथन के साथ तुलना करें जिसके लिए <code>System.IDisposable</code> को प्रारंभ करने के लिए संसाधन की आवश्यकता होती है।<ref>[https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/statements#the-using-statement ''C# 6.0 draft specification'', ''The using statement'']</ref>) | |||
[[निम (प्रोग्रामिंग भाषा)]] | [[निम (प्रोग्रामिंग भाषा)|निम (प्रोग्रामिंग लैंग्वेज)]] संकलन-समय बूलियन विधेय की श्रृंखला के रूप में अवधारणाओं को प्रारम्भ करता है।<ref>{{Cite web |title=निम प्रायोगिक विशेषताएं|url=https://nim-lang.org/docs/manual_experimental.html#concepts |access-date=2023-06-19 |website=nim-lang.org}}</ref> | ||
अवधारणाओं के समान कुछ | |||
अवधारणाओं के समान कुछ प्रारम्भ करने वाली अन्य लैंग्वेज [[हास्केल (प्रोग्रामिंग भाषा)|हास्केल (प्रोग्रामिंग लैंग्वेज)]] है, जहां फीचर को [[ प्रकार वर्ग |टाइप क्लासेज]] कहा जाता है। | |||
==उदाहरण== | ==उदाहरण== | ||
Line 19: | Line 20: | ||
=== कुल ऑर्डर === | === कुल ऑर्डर === | ||
कुल ऑर्डरिंग | कुल ऑर्डरिंग <code><</code> ऑपरेटर के शब्दार्थ का वर्णन करती है। एक प्रकार पूर्ण रूप से तब व्यवस्थित होता है जब <code><</code> द्विआधारी विधेय होता है और निम्नलिखित गुणों को संतुष्ट करता है:<ref>{{cite book |last=Stepanov |first=Alexander |date=2009 |title=प्रोग्रामिंग के तत्व|publisher=Addison-Wesley Professional |page=49 |isbn=9780321635372}}</ref><ref>[https://www.jmeiners.com/efficient-programming-with-components/06_min_max.html#Reviewing-Total-Orderings Total Orderings - Efficient Programming with Components]</ref> | ||
प्रकार | *एंटी-रिफ्लेक्टिव: <code>!(a < a)</code> किसी भी मान के लिए <code>a</code> है। | ||
* | * ट्रांजिटिव: यदि <code>a < b</code> और <code>b < c</code> तब <code>a < c</code> | ||
* | * एंटी सिमेट्रिक: यदि <code>a < b</code> तब <code>!(b < a)</code> | ||
* | * कुल: यदि <code>a!= b</code> तब <code>a < b</code> या <code>b < a</code> है। | ||
* कुल: यदि <code>a != b</code> तब <code>a < b</code> या <code>b < a</code> | |||
कई एल्गोरिदम | कई एल्गोरिदम उत्तम रूप से कार्य करने के लिए इन गुणों पर आशा करते हैं। उदाहरण के लिए <code>min</code> फ़ंक्शन को पूर्ण रूप से ऑर्डर किए गए प्रकारों पर सुरक्षित रूप से परिभाषित किया जा सकता है: | ||
उदाहरण के लिए <code>min</code> फ़ंक्शन को | <syntaxhighlight lang="cpp"> | ||
// requires: T satisfies Totally Ordered | // requires: T satisfies Totally Ordered | ||
template <typename T> | template <typename T> | ||
Line 44: | Line 43: | ||
'''इटरेटर''' | '''इटरेटर''' | ||
यदि | यदि प्रकार <code>I</code> सी++ में ट्रिवियल इटरेटर अवधारणा को संतुष्ट करता है, और <code>i</code> प्रकार का है <code>I</code>, निम्नलिखित संगत शब्दार्थ के साथ मान्य अभिव्यक्तियाँ हैं:<ref>[http://www.martinbroadhurst.com/stl/trivial.html Trivial Iterator<!-- Bot generated title -->]</ref> | ||
* <code>I i</code> डिफ़ॉल्ट | * <code>I i</code> डिफ़ॉल्ट कंस्ट्रक्शन | ||
* <code>*i</code> किसी प्रकार | * <code>*i</code> किसी प्रकार <code>T</code> में परिवर्तनीय होना चाहिए। | ||
* <code>i->m</code> | * <code>i->m</code> मान्य है यदि <code>(*i).m</code> है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
* प्रोटोकॉल (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग) | * प्रोटोकॉल (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग) | ||
* अवधारणाएँ ( | * अवधारणाएँ (सी++) | ||
* [[इंटरफ़ेस (जावा)]] | * [[इंटरफ़ेस (जावा)]] | ||
* क्लास टाइप करें | * क्लास टाइप करें | ||
Line 61: | Line 60: | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
* [http://www.boost.org/more/generic_programming.html Boost Generic Programming Techniques] | * [http://www.boost.org/more/generic_programming.html Boost Generic Programming Techniques] | ||
* [[Douglas Gregor]], et al. ''[http://www.research.att.com/~bs/oopsla06.pdf | * [[Douglas Gregor]], et al. ''[http://www.research.att.com/~bs/oopsla06.pdf सीoncepts: Linguistic Support for Generic Programming in सी++]'' | ||
* [https://www.youtube.com/watch?v=oZhixOWljWI Doug Gregor talk on | * [https://www.youtube.com/watch?v=oZhixOWljWI Doug Gregor talk on सीoncepts at Google] (video) | ||
* [http://sms.cs.chalmers.se/publications/papers/2008-WGP.pdf A comparison of | * [http://sms.cs.chalmers.se/publications/papers/2008-WGP.pdf A comparison of सी++ concepts and Haskell type classes] | ||
<!-- with 'class' not of the programming kind --> | <!-- with 'class' not of the programming kind --> | ||
[[ja:コンセプト (C++)]] | [[ja:コンセプト (C++)]] | ||
[[Category:Created On 25/07/2023]] | [[Category:Created On 25/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:सामान्य प्रोग्रामिंग]] |
Latest revision as of 13:56, 14 August 2023
सामान्य प्रोग्रामिंग में, अवधारणा ऐसा समर्थित संचालन का विवरण है, जिसमें वाक्यविन्यास और शब्दार्थ सम्मिलित हैं। इस प्रकार, अवधारणाएँ अमूर्त प्रकारों से संबंधित होती हैं किंतु अवधारणाओं को उपप्रकार संबंध की आवश्यकता नहीं होती है।
लैंग्वेज प्रयोग
यह शब्द मानक टेम्पलेट लाइब्रेरी के लिए 1998 से ही प्रयोग में था,[1] क्योंकि यह उन पहले लाइब्रेरी में से था जो बड़े पैमाने पर टेम्पलेट्स का उपयोग करता था। अवधारणा शब्द (और इसकी लोकप्रियता) का श्रेय अलेक्जेंडर स्टेपानोव को दिया जाता है,[2][3] जो एसटीएल के प्राथमिक डिजाइनर थे।
सी++ 1998 मानक में, कॉन्सेप्ट शब्द को विशेष प्रकार की आवश्यकताओं का सरल विवरण देने के लिए प्रस्तुत किया गया था, जो सामान्यतः टेम्पलेट पैरामीटर होता है। इसे लैंग्वेज में स्पष्ट रूप से एन्कोड नहीं किया गया था अवधारणा केवल इस सम्बन्ध में व्यक्त की गई थी कि उस प्रकार की वस्तुओं पर किस प्रकार के संचालन का प्रयास किया जाता है और क्या कार्य करने की आशा की जाती है (अर्थात, उत्तम रूप से संकलित करना)। सी++11 में स्पष्ट लैंग्वेज सुविधा के रूप में कॉन्सेप्ट्स (सी++) को जोड़ने का प्रस्ताव था, चूँकि इसे तैयार नहीं होने के कारण अस्वीकार कर दिया गया था। सी++20 ने अंततः अवधारणा के परिष्कृत डिज़ाइन को स्वीकार कर लिया।
चूंकि जावा (प्रोग्रामिंग लैंग्वेज) और सी में जेनेरिक में सी++ के टेम्पलेट (सी++)सी++) से कुछ समानताएं हैं, इसलिए वहां अवधारणाओं की भूमिका प्रोटोकॉल (वस्तु-उन्मुख प्रोग्रामिंग) द्वारा निभाई जाती है। चूँकि, अवधारणाओं और इंटरफेस के मध्य महत्वपूर्ण अंतर है: जब किसी विशेष इंटरफ़ेस को प्रारम्भ करने के लिए टेम्पलेट पैरामीटर की आवश्यकता होती है, तो मैचिंग टाइप केवल क्लासेज हो सकता है जो उस इंटरफ़ेस को (स्पष्ट रूप से) प्रारम्भ करता है। अवधारणाएँ अधिक फ्लेक्स्बिल हैं क्योंकि उन्हें दो विधियों से संतुष्ट किया जा सकता है:
- अवधारणा मानचित्र का उपयोग करके स्पष्ट रूप से संतुष्ट के रूप में परिभाषित किया गया है (इंटरफ़ेस के विपरीत, प्रकार को भिन्न से परिभाषित किया गया है)।
- ऑटो अवधारणाओं के लिए स्पष्ट रूप से परिभाषित, जिसका उपयोग अंतर्निहित प्रकारों और अन्य प्रकारों के लिए भी किया जा सकता है जो इस उपयोग के लिए पूर्वनिर्धारित नहीं थे।
किंतु सी लैंग्वेज में कई संरचनाएं हैं जहां उपयोग किए गए प्रकार को परिभाषित इंटरफ़ेस को स्पष्ट रूप से प्रारम्भ करने की आवश्यकता नहीं है, इसे केवल संबंधित पैटर्न से मैच करना आवश्यक है (चूँकि, इन पैटर्न को अवधारणाएं नहीं कहा जाता है)। जैसे foreach
पुनरावृत्ति कथन पुनरावृत्त वस्तु को किसी भी प्रकार की होने की अनुमति देते है, जब तक कि यह उपयुक्त GetEnumerator
विधि प्रारंभ करता है।[4] (उपयोग कथन के साथ तुलना करें जिसके लिए System.IDisposable
को प्रारंभ करने के लिए संसाधन की आवश्यकता होती है।[5])
निम (प्रोग्रामिंग लैंग्वेज) संकलन-समय बूलियन विधेय की श्रृंखला के रूप में अवधारणाओं को प्रारम्भ करता है।[6]
अवधारणाओं के समान कुछ प्रारम्भ करने वाली अन्य लैंग्वेज हास्केल (प्रोग्रामिंग लैंग्वेज) है, जहां फीचर को टाइप क्लासेज कहा जाता है।
उदाहरण
कुल ऑर्डर
कुल ऑर्डरिंग <
ऑपरेटर के शब्दार्थ का वर्णन करती है। एक प्रकार पूर्ण रूप से तब व्यवस्थित होता है जब <
द्विआधारी विधेय होता है और निम्नलिखित गुणों को संतुष्ट करता है:[7][8]
- एंटी-रिफ्लेक्टिव:
!(a < a)
किसी भी मान के लिएa
है। - ट्रांजिटिव: यदि
a < b
औरb < c
तबa < c
- एंटी सिमेट्रिक: यदि
a < b
तब!(b < a)
- कुल: यदि
a!= b
तबa < b
याb < a
है।
कई एल्गोरिदम उत्तम रूप से कार्य करने के लिए इन गुणों पर आशा करते हैं। उदाहरण के लिए min
फ़ंक्शन को पूर्ण रूप से ऑर्डर किए गए प्रकारों पर सुरक्षित रूप से परिभाषित किया जा सकता है:
// requires: T satisfies Totally Ordered
template <typename T>
T min(T a, T b) {
// < is defined.
if (b < a) {
return b;
} else {
// !(b < a) implies a == b or a < b
return a;
}
}
इटरेटर
यदि प्रकार I
सी++ में ट्रिवियल इटरेटर अवधारणा को संतुष्ट करता है, और i
प्रकार का है I
, निम्नलिखित संगत शब्दार्थ के साथ मान्य अभिव्यक्तियाँ हैं:[9]
I i
डिफ़ॉल्ट कंस्ट्रक्शन*i
किसी प्रकारT
में परिवर्तनीय होना चाहिए।i->m
मान्य है यदि(*i).m
है।
यह भी देखें
- प्रोटोकॉल (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग)
- अवधारणाएँ (सी++)
- इंटरफ़ेस (जावा)
- क्लास टाइप करें
संदर्भ
- ↑ Austern, M.H. Generic programming and the STL: using and extending the C++ Standard Template Library. 1998. pp 17–18
- ↑ a bit of background for concepts and C++17—Bjarne Stroustrup, by Bjarne Stroustrup | Feb 26, 2016
- ↑ Alex Stepanov, by Bjarne Stroustrup | Jan 21, 2016
- ↑ C# 6.0 draft specification, The foreach statement
- ↑ C# 6.0 draft specification, The using statement
- ↑ "निम प्रायोगिक विशेषताएं". nim-lang.org. Retrieved 2023-06-19.
- ↑ Stepanov, Alexander (2009). प्रोग्रामिंग के तत्व. Addison-Wesley Professional. p. 49. ISBN 9780321635372.
- ↑ Total Orderings - Efficient Programming with Components
- ↑ Trivial Iterator