تعبر عن المخاوف من أن Microsoft Visual C (MSVC) تكافح من خلال تنفيذ مثيل للقالب ثنائي الطور بشكل صحيح. ما هي الجوانب المحددة للآلية تفشل في العمل كما هو متوقع؟ ومع ذلك ، تنشأ الشكوك فيما يتعلق بما إذا كان هذا الشيك يتحقق مما إذا كان يتم الإعلان عن الأسماء المستخدمة في القوالب بشكل مناسب. فشل في التحقق من وجود أسماء معلنة ، مما يؤدي إلى مشكلات التجميع عندما تفتقر الأسماء إلى الإعلانات المناسبة.

لتوضيح ذلك ، فكر في المثال التالي:

قالب struct s { s () {int i = foo (0) ؛ } } ؛ void foo (int) ؛ int main () { s s ؛ }

من شأن المترجم المتوافق مع المعيار حل استدعاء FOO (0) أثناء المرحلة الأولى وربطه بـ foo (void*). ومع ذلك ، تقوم MSVC بتأجيل هذه العملية إلى المرحلة الثانية ، وربط FOO (0) بشكل غير صحيح بـ FOO (int) وينتج عن خطأ.

علاوة :

التي تكون مرئية فقط خلال المرحلة الثانية.

مساحة الاسم n { هيكل s {} ؛ } شريط void (void *) {} قالب & lt ؛ typename t & gt ؛ void foo (t *t) { شريط (t) ؛ } شريط void (n :: s *s) {} int main () { n :: s ؛ foo (& amp ؛ s) ؛ }

في كلتا الحالتين ، يخالف سلوك MSVC الفصل المحدد بين المرحلتين الأولى والثانية من إنشاء إنشاء القالب. يستمر هذا التنفيذ غير الصحيح في Visual Studio 2015.