Rumah > pembangunan bahagian belakang > C++ > Adakah Instantiasi Templat Dua Fasa Microsoft Visual C Benar-Benar Rusak, dan Jika Ya, Bagaimana?

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

Linda Hamilton
Lepaskan: 2024-12-07 12:13:10
asal
846 orang telah melayarinya

Is Microsoft Visual C  's Two-Phase Template Instantiation Truly Broken, and If So, How?

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);
Salin selepas log masuk

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) {}
Salin selepas log masuk

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!

sumber:php.cn
Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Artikel terbaru oleh pengarang
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan