1 ফর্ম একটি ফাংশন সংজ্ঞা:
attribute-specifier-seq opt decl-specifier-seq opt declarator virt-specifier-seq opt = default ;
একে সুস্পষ্টভাবে খেলাপী সংজ্ঞা বলা হয়। একটি ফাংশন যা স্পষ্টতই খেলাপি হয় shall
(1.1) - একটি বিশেষ সদস্য ফাংশন হতে,
(১.২) - একই ঘোষিত ফাংশন ধরণের (সম্ভবত পৃথক পৃথক রেফ-কোয়ালিফায়ার ব্যতীত এবং একটি অনুলিপি নির্মাণকারী বা অনুলিপি অ্যাসাইনমেন্ট অপারেটরের ক্ষেত্রে, প্যারামিটারের ধরনটি "নন-কনস্ট্যান্ট টি-এর রেফারেন্স" হতে পারে, যেখানে টি সদস্য ফাংশনের শ্রেণীর নাম) যেন এটি স্পষ্টভাবে ঘোষণা করা হয়েছে এবং
(1.3) - ডিফল্ট আর্গুমেন্ট নেই।
2 একটি সুস্পষ্টভাবে ডিফল্ট ফাংশন যা মুছে ফেলা হিসাবে সংজ্ঞায়িত করা হয় না কেবল তখনই এটি কনস্টেক্সপ্র হিসাবে ঘোষিত হতে পারে যদি তা স্পষ্টভাবে কনস্টেক্সপ্র হিসাবে ঘোষণা করা হত। যদি কোনও ক্রিয়াকলাপটি তার প্রথম ঘোষণার ক্ষেত্রে স্পষ্টতই খেলাপি হয়, তবে অন্তর্নিহিত ঘোষণাপত্রটি যদি তা স্পষ্টতই কনস্টেক্সার্প হিসাবে বিবেচিত হয়।
3 যদি কোনও ফাংশন যা স্পষ্টভাবে খেলাপি হয়, তাকে নোসেপ্ট-স্পেসিফায়ার দিয়ে ঘোষণা করা হয় যা অন্তর্নিহিত ঘোষণার (18.4) এর মতো ব্যতিক্রম স্পেসিফিকেশন তৈরি করে না, তবে
(৩.১) - যদি ফাংশনটি তার প্রথম ঘোষণায় স্পষ্টতই খেলাপি হয়, তবে এটি মুছে ফেলা হিসাবে সংজ্ঞায়িত করা হয়;
(3.2) - অন্যথায়, প্রোগ্রামটি দুর্গঠিত।
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), যার অর্থ তাদের মুছে ফেলা হিসাবে সংজ্ঞায়িত করা হতে পারে। কোনও ফাংশনটি ব্যবহারকারী-সরবরাহিত হয় যদি এটি ব্যবহারকারী-ঘোষিত হয় এবং তার প্রথম ঘোষণায় স্পষ্টতই খেলাপি বা মুছে ফেলা হয় না। একটি ব্যবহারকারী দ্বারা সরবরাহিত স্পষ্টতই-খেলাপী কার্য (যেমন, তার প্রথম ঘোষণার পরে স্পষ্টতই খেলাপী) এমন স্থানে সংজ্ঞায়িত হয় যেখানে এটি স্পষ্টতই খেলাপি হয়; যদি এই জাতীয় কোনও ফাংশন স্পষ্টভাবে মুছে ফেলা হিসাবে সংজ্ঞায়িত করা হয়, তবে প্রোগ্রামটি গঠনযুক্ত। [দ্রষ্টব্য: কোনও ক্রিয়াকলাপটিকে তার প্রথম ঘোষণার পরে খেলাপি হিসাবে ঘোষিত করা একটি কার্যকর কোড বেসে স্থিতিশীল বাইনারি ইন্টারফেস সক্ষম করার সময় কার্যকর কার্যকরকরণ এবং সংক্ষিপ্ত সংজ্ঞা প্রদান করতে পারে। - শেষ নোট]
[[উদাহরণ:
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
- শেষ উদাহরণ]
তারপরে প্রশ্নটি হল অবশ্যই কোন কার্যগুলি সুস্পষ্টভাবে ঘোষণা করা যেতে পারে এবং কখন তা ঘটে, যা আমি এখানে ব্যাখ্যা করেছি: