class y { عام: صريح y (size_t num = 0) {} } ؛ int main () { y (1) = y (0) ؛ // ماذا؟!؟ العودة 0 ؛ }

من المستغرب ، أن هذا الرمز يجمع بنجاح ، على الرغم من أن الكائن الذي تم إرجاعه بواسطة المنشئ y (1) هو rvalue. تستكشف هذه المقالة الأسباب الكامنة وراء هذا السلوك غير المتوقع. بالنسبة للفئات التي لا تحدد بشكل صريح مشغل المهمة ، يقوم المترجم بإنشاء مشغل تعيين افتراضي. هذا المشغل الافتراضي هو وظيفة عضو يأخذ مرجعًا إلى كائن من نفس الفئة مثل المعلمة. هذا يعني أنه يمكن تطبيقه على كل من LValues ​​(الكائنات المشار إليها) و RValues ​​(الكائنات غير المرجعية). يتم تدمير هذا الكائن المؤقت تلقائيًا في نهاية البيان الذي تم إنشاؤه فيه. ومع ذلك ، في حالة إرجاع المُنشئ من نوع الفئة من نوع الفئة ، يمكن لمشغل المهمة المتوازنة تمديد عمر الكائن المؤقت. هو السكر النحوي للرمز التالي:

class Y {
public:
    explicit Y(size_t num = 0) {}
};

int main() {
    Y(1) = Y(0); // WHAT?!?
    return 0;
}