Senarai Parameter Templat Lewah dalam Pembina Templat Kelas dalam C 20
Kesahihan pembina templat kelas yang mempunyai senarai parameter templat berlebihan telah dibahaskan sejak pengenalan C 20. Berikut ialah isu dan penyelesaiannya:
Dalam C 17, kod di bawah dianggap terbentuk dengan baik:
template<typename T> struct S { S<T>(); };
Walau bagaimanapun, dalam C 20, kod yang sama mencetuskan ralat dalam sesetengah penyusun (cth., gcc trunk) di bawah -std=c 20:
error: expected unqualified-id before ')' token 3 | S<T>(); ^
Perubahan dalam C 20
Piawaian C 20 mewajibkan perubahan dalam sintaks pengisytiharan pembina templat kelas. Delta berikut dalam bahagian keserasian standard menyerlahkan perkara ini:
[diff.cpp17.class] ... Change: A simple-template-id is no longer valid as the declarator-id of a constructor or destructor. Rationale: Remove potentially error-prone option for redundancy. ...
Pada asasnya, senarai parameter templat "berlebihan", S
template<typename T> struct S { S(); // CORRECT C++20 syntax };
Rasional
Rasional untuk perubahan ini adalah untuk mengurangkan risiko ralat dengan tidak membenarkan penggunaan ID templat mudah. Dengan menguatkuasakan penggunaan eksplisit nama kelas yang disuntik, pengkompil boleh menyelesaikan pembina yang dimaksudkan dengan lebih tepat.
Kesimpulan
Perubahan dalam C 20 ini tidak membentuk pepijat , melainkan perubahan pemecahan yang disengajakan untuk meningkatkan kejelasan dan ketepatan perisytiharan pembina templat kelas. Walaupun ini boleh menyebabkan isu keserasian dengan kod sedia ada bergantung pada sintaks sebelumnya, ia akhirnya meningkatkan keselamatan dan kebolehpercayaan keseluruhan aplikasi C.
Atas ialah kandungan terperinci Adakah Penyenaraian Parameter Templat Berlebihan dalam Pembina Templat Kelas C 20 Dibenarkan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!