هل يؤدي إرجاع متغير محلي إلى إرجاع نسخة وتدمير الأصل (NRVO)؟

المقدمة:
]يفحص السؤال سلوك إرجاع متغير محلي في لغة C. على وجه التحديد، يستكشف ما إذا كان الكائن الذي تم إرجاعه هو نسخة أم كائن أصلي، وكيف يؤثر ذلك على تدمير المتغير المحلي.

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

مثال مع تمكين NRVO:
ضع في اعتبارك الكود التالي:

class Test {
public:
    Test(int p) { std::cout  
 مع تمكين NRVO، سيكون الإخراج:
 
Constructor called
Destructor called
 
 في هذه الحالة، يقوم NRVO بتحسين بيان الإرجاع وإنشاء الكائن o مباشرةً في مخزن المتغير المحلي t. يتم استدعاء المُنشئ مرة واحدة، ويتم استدعاء مُدمر واحد فقط للكائن o.
 
  مثال مع تعطيل NRVO:  
 ومع ذلك، يمكن تعطيل NRVO باستخدام -fno-elide- علم المترجم للمصممين. بدون NRVO، سيقوم المترجم بتنفيذ خطوات إنشاء النسخة وتدميرها بشكل صريح.
Constructor called
Constructor called
Destructor called
Destructor called
 
 في هذه الحالة، يتم استدعاء المنشئ مرتين (للمتغير المحلي t والكائن المرتجع o). بالإضافة إلى ذلك، يتم تدمير كل من المتغير المحلي t وكائن الإرجاع o بشكل منفصل. 
 
 الاستنتاج:   يعتمد سلوك إرجاع المتغير المحلي على ما إذا كان NRVO ممكّنًا أو معطلاً. مع تمكين NRVO، يتم تحسين المتغير المحلي، ويتم استدعاء المنشئ والمدمر مرة واحدة فقط لكائن الإرجاع. بدون NRVO، يتم تنفيذ خطوات إنشاء النسخة وتدميرها بشكل صريح، مما قد يؤدي إلى استدعاء المنشئ والمدمر عدة مرات.