संकल्पना (सामान्य प्रोग्रामिंग)

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

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

C++ 1998 मानक में, कॉन्सेप्ट शब्द को विशेष प्रकार की आवश्यकताओं का एक सरल विवरण देने के लिए पेश किया गया था, जो आमतौर पर एक टेम्पलेट पैरामीटर होता है। इसे भाषा में स्पष्ट रूप से एन्कोड नहीं किया गया था - अवधारणा केवल इस बात से व्यक्त की गई थी कि उस प्रकार की वस्तुओं पर किस प्रकार के संचालन का प्रयास किया जाता है और क्या काम करने की उम्मीद की जाती है (अर्थात, सही ढंग से संकलित करना)। C++11 में एक स्पष्ट भाषा सुविधा के रूप में कॉन्सेप्ट्स (C++) को जोड़ने का प्रस्ताव था, हालांकि इसे तैयार नहीं होने के कारण अस्वीकार कर दिया गया था। C++20 ने अंततः अवधारणा के परिष्कृत डिज़ाइन को स्वीकार कर लिया।

चूंकि जावा (प्रोग्रामिंग भाषा) और सी शार्प (प्रोग्रामिंग भाषा)|सी# में जेनेरिक में सी++ के टेम्पलेट (सी++)सी++) से कुछ समानताएं हैं, इसलिए वहां अवधारणाओं की भूमिका प्रोटोकॉल (वस्तु-उन्मुख प्रोग्रामिंग)  द्वारा निभाई जाती है। हालाँकि, अवधारणाओं और इंटरफेस के बीच एक महत्वपूर्ण अंतर है: जब किसी विशेष इंटरफ़ेस को लागू करने के लिए टेम्पलेट पैरामीटर की आवश्यकता होती है, तो मिलान प्रकार केवल एक वर्ग हो सकता है जो उस इंटरफ़ेस को (स्पष्ट रूप से) लागू करता है। अवधारणाएँ अधिक लचीलापन लाती हैं क्योंकि उन्हें दो तरीकों से संतुष्ट किया जा सकता है:
 * अवधारणा मानचित्र का उपयोग करके स्पष्ट रूप से संतुष्ट के रूप में परिभाषित किया गया है (इंटरफ़ेस के विपरीत, प्रकार को अलग से परिभाषित किया गया है)
 * ऑटो अवधारणाओं के लिए स्पष्ट रूप से परिभाषित, जिसका उपयोग अंतर्निहित प्रकारों और अन्य प्रकारों के लिए भी किया जा सकता है जो इस उपयोग के लिए पूर्वनिर्धारित नहीं थे

लेकिन C# भाषा में कई संरचनाएं हैं जहां उपयोग किए गए प्रकार को परिभाषित इंटरफ़ेस को स्पष्ट रूप से लागू करने की आवश्यकता नहीं है, इसे केवल संबंधित पैटर्न से मेल खाना आवश्यक है (हालांकि, इन पैटर्न को अवधारणाएं नहीं कहा जाता है)। जैसे फ़ोरैच लूप| पुनरावृत्ति कथन पुनरावृत्त वस्तु को किसी भी प्रकार का होने की अनुमति देता है, जब तक कि यह एक उपयुक्त कार्यान्वयन करता है  तरीका। (तुलना करें   वह कथन जिसे कार्यान्वित करने के लिए संसाधन की आवश्यकता होती है   इंटरफेस। )

निम (प्रोग्रामिंग भाषा) मनमाने ढंग से संकलन-समय बूलियन विधेय की एक श्रृंखला के रूप में अवधारणाओं को लागू करता है। अवधारणाओं के समान कुछ लागू करने वाली एक अन्य भाषा हास्केल (प्रोग्रामिंग भाषा) है, जहां फीचर को प्रकार वर्ग  कहा जाता है।

कुल ऑर्डर
कुल ऑर्डरिंग अवधारणा के शब्दार्थ का वर्णन करती है  ऑपरेटर। एक प्रकार पूरी तरह से आदेश दिया जाता है जब  एक द्विआधारी विधेय है और निम्नलिखित गुणों को संतुष्ट करता है:
 * प्रति-प्रतिक्रियाशील:  किसी भी मूल्य के लिए.
 * सकर्मक: यदि  और   तब.
 * विरोधी सममिति: यदि  तब.
 * कुल: यदि  तब   या.

कई एल्गोरिदम ठीक से काम करने के लिए इन गुणों पर भरोसा करते हैं। उदाहरण के लिए  फ़ंक्शन को पूरी तरह से ऑर्डर किए गए प्रकारों पर सुरक्षित रूप से परिभाषित किया जा सकता है:

इटरेटर
यदि एक प्रकार  C++ में ट्रिवियल इटरेटर अवधारणा को संतुष्ट करता है, और   प्रकार का है , निम्नलिखित संगत शब्दार्थ के साथ मान्य अभिव्यक्तियाँ हैं:
 * डिफ़ॉल्ट निर्माण.
 * किसी प्रकार में परिवर्तनीय होना चाहिए.
 * यदि मान्य है  है।

यह भी देखें

 * प्रोटोकॉल (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग)
 * अवधारणाएँ (C++)
 * इंटरफ़ेस (जावा)
 * क्लास टाइप करें

बाहरी संबंध

 * Boost Generic Programming Techniques
 * Douglas Gregor, et al. Concepts: Linguistic Support for Generic Programming in C++
 * Doug Gregor talk on Concepts at Google (video)
 * A comparison of C++ concepts and Haskell type classes

コンセプト (C++)