Adakah Instantiasi Templat Dua Fasa Microsoft Visual C Benar-Benar Rusak, dan Jika Ya, Bagaimana?

Microsoft Visual C 's Salah Faham "Rosak" Instantiasi Templat Dua Fasa

Pengenalan

Microsoft Visual C (MSVC ) sering dikritik kerana dakwaan pelaksanaan templat dua fasa yang salah. Artikel ini menyelidiki secara spesifik kritikan ini, meneliti isu yang mendasari dan memberikan penjelasan terperinci.

Kontroversi Instalasi Templat Dua Fasa

Semerta templat dua fasa ialah proses dalam C di mana kelas dan fungsi templat pertama kali diperiksa secara sintaksis untuk memastikan ketepatannya, dan kemudian lengkapkan instantiasi berlaku di tapak penggunaan kemudian. Walau bagaimanapun, dakwaan telah dibuat bahawa MSVC tidak melaksanakan mekanisme ini dengan betul.

Pemahaman Awal Isu

Pada mulanya, dipercayai bahawa MSVC hanya melakukan semakan sintaks asas pada definisi templat, mengabaikan sama ada nama yang digunakan dalam templat telah diisytiharkan. Walau bagaimanapun, pemahaman ini tidak lengkap.

Sifat Sebenar Isu

Isu sebenar dengan instantiasi templat dua fasa MSVC terdiri daripada dua lapisan yang saling berkaitan:

Lapisan 1: Fasa Pertama Salah Carian

MSVC gagal melakukan carian awal (fasa pertama) untuk ungkapan tidak bergantung, seperti dalam contoh:

int foo(void*);

template<typename T> struct S {
  S() { int i = foo(0); }
};

void foo(int);

MSVC menangguhkan carian ini ke fasa kedua, di mana ia tersilap mengikat ungkapan kepada 'foo(int)', mengakibatkan ralat.

Lapisan 2: Carian Fasa Kedua Salah

Fasa kedua carian templat dalam MSVC juga cacat. Walaupun piawaian C menyatakan bahawa ruang nama yang dicalonkan ADL dilanjutkan dalam fasa kedua, MSVC tersilap memanjangkan carian bukan ADL juga.

Ini boleh digambarkan dengan contoh berikut:

namespace N {
  struct S {};
}

void bar(void *) {}

template <typename T> void foo(T *t) {
  bar(t);
}

void bar(N::S *s) {}

Walaupun bergantung, panggilan ke bar(t) diselesaikan secara salah untuk membatalkan bar(N::S *s), menunjukkan tingkah laku yang tidak betul bagi carian fasa kedua MSVC.

Kesimpulan

Pelaksanaan Microsoft Visual C bagi instantiasi templat dua fasa sememangnya cacat, tetapi tidak mengikut cara yang mudah pada asalnya faham. Isunya ialah interaksi kompleks antara carian fasa pertama dan kedua yang salah yang boleh mengakibatkan ralat atau tingkah laku yang salah untuk pembinaan kod tertentu.

Atas ialah kandungan terperinci Adakah Instantiasi Templat Dua Fasa Microsoft Visual C Benar-Benar Rusak, dan Jika Ya, Bagaimana?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!