1 फार्म की एक कार्य परिभाषा:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
को स्पष्ट रूप से डिफ़ॉल्ट परिभाषा कहा जाता है। एक फ़ंक्शन जिसे स्पष्ट रूप से डिफ़ॉल्ट किया जाएगा
(1.1) - एक विशेष सदस्य कार्य हो,
(1.2) - समान घोषित फ़ंक्शन प्रकार (संभवतः अलग-अलग रेफरी-क्वालीफायर को छोड़कर और कॉपी कंस्ट्रक्टर या कॉपी असाइनमेंट ऑपरेटर के मामले में, इसके अलावा, पैरामीटर प्रकार "नॉन-कॉस्ट टी के संदर्भ में" हो सकता है, जहां टी है) सदस्य फ़ंक्शन का नाम) जैसे कि इसे स्पष्ट रूप से घोषित किया गया हो, और
(१.३) - डिफ़ॉल्ट तर्क नहीं हैं।
2 स्पष्ट रूप से डिफॉल्ट किया गया फ़ंक्शन जिसे डिलीट के रूप में परिभाषित नहीं किया गया है, केवल तभी कॉन्स्ट्रेक्स घोषित किया जा सकता है, जब इसे स्पष्ट रूप से कॉन्स्टैक्स के रूप में घोषित किया गया हो। यदि किसी फ़ंक्शन को स्पष्ट रूप से इसकी पहली घोषणा पर डिफ़ॉल्ट रूप से परिभाषित किया गया है, तो यह निहित रूप से माना जाता है कि यदि अंतर्निहित घोषणा होगी।
3 यदि कोई फ़ंक्शन जो स्पष्ट रूप से डिफ़ॉल्ट रूप से डिफ़ॉल्ट है, एक noexcept-Specier के साथ घोषित किया गया है जो अंतर्निहित घोषणा (18.4) के समान अपवाद विनिर्देश का उत्पादन नहीं करता है, तो
(3.1) - यदि फ़ंक्शन अपनी पहली घोषणा पर स्पष्ट रूप से डिफ़ॉल्ट है, तो इसे हटाए जाने के रूप में परिभाषित किया गया है;
(३.२) - अन्यथा, कार्यक्रम बीमार है।
4 [उदाहरण:
struct S {
constexpr S() = default; // ill-formed: implicit S() is not constexpr
S(int a = 0) = default; // ill-formed: default argument
void operator=(const S&) = default; // ill-formed: non-matching return type
~ S() noexcept(false) = default; // deleted: exception specification does not match
private:
int i; // OK: private copy constructor
S(S&);
};
S::S(S&) = default; // OK: defines copy constructor
- अंतिम उदाहरण]
5 स्पष्ट रूप से डिफॉल्ट किए गए फ़ंक्शंस और निहित रूप से घोषित फ़ंक्शंस को सामूहिक रूप से डिफॉल्ट फ़ंक्शंस कहा जाता है, और कार्यान्वयन उनके लिए निहित परिभाषाएं प्रदान करेगा (15.1 15.4, 15.8), जिसका अर्थ हो सकता है कि उन्हें हटाए जाने के रूप में परिभाषित किया जाए। एक फ़ंक्शन उपयोगकर्ता-प्रदान किया गया है यदि यह उपयोगकर्ता-घोषित है और इसकी पहली घोषणा पर स्पष्ट रूप से डिफ़ॉल्ट या हटा नहीं है। एक उपयोगकर्ता द्वारा प्रदान किया गया स्पष्ट रूप से डिफ़ॉल्ट रूप से फ़ंक्शन (यानी, इसकी पहली घोषणा के बाद स्पष्ट रूप से डिफ़ॉल्ट) उस बिंदु पर परिभाषित किया गया है जहां यह स्पष्ट रूप से डिफ़ॉल्ट रूप से डिफ़ॉल्ट है; यदि इस तरह के फ़ंक्शन को स्पष्ट रूप से हटाए जाने के रूप में परिभाषित किया गया है, तो प्रोग्राम बीमार है। [नोट: किसी फ़ंक्शन को पहले घोषणा के बाद डिफ़ॉल्ट के रूप में घोषित करना एक कुशल कोड बेस के लिए एक स्थिर बाइनरी इंटरफ़ेस को सक्षम करते हुए कुशल निष्पादन और संक्षिप्त परिभाषा प्रदान कर सकता है। - अंतिम नोट]
6 [उदाहरण:
struct trivial {
trivial() = default;
trivial(const trivial&) = default;
trivial(trivial&&) = default;
trivial& operator=(const trivial&) = default;
trivial& operator=(trivial&&) = default;
~ trivial() = default;
};
struct nontrivial1 {
nontrivial1();
};
nontrivial1::nontrivial1() = default; // not first declaration
- अंतिम उदाहरण]
फिर सवाल यह है कि कौन से कार्य स्पष्ट रूप से घोषित किए जा सकते हैं और ऐसा कब होता है, जो मैंने यहां बताया है: