C++'da, şablonlar C++98 standardında resmileşen ve bugün hala temel bir unsur olan iki aşamalı ad arama sürecine tabi tutulur. İlk aşama, şablon tanımını ayrıştırır ve bağımlı olmayan isimleri bağlar, ikinci aşama ise örneklendirme sırasında bağımlı isimleri çözümlemek için gerçekleşir. Bu ayrım, şablon parametrelerine dayanarak isimlerin doğru bağlamda değerlendirilmesini sağlar.
Bir sınıf şablonu, bir şablon parametresine bağlı olan bir temel sınıftan türetildiğinde—örneğin template<typename T> struct Derived : Base<T> {}—Base<T>'nin üyeleri bağımlı isimler olarak kabul edilir. İlk arama aşamasında derleyici, Base<T>'nin içeriğini belirleyemez çünkü spesifik uzmanlık, örneklendirme gerçekleşene kadar bilinmemektedir. Sonuç olarak, niteliksiz arama ile configure() gibi üye isimlerini bulmak, miras alınan üyeyi bulamayabilir ve bunun yerine global sembollere bağlanabilir veya derleme hatalarına neden olabilir.
Bu görünürlük sorununu çözmek için geliştiricilerin derleyiciye ismin bir şablon parametresine bağımlı olduğunu açıkça bildirmesi gerekir. Bu, üye ismini temel sınıf adı ile nitelendirerek—Base<T>::configure()—veya gösterici üye erişim sözdizimini kullanarak—this->configure()—sağlanır. Her iki teknik de derleyicinin isim çözümlemesini ikinci aşamaya ertelemesini zorlar; bu aşamada Base<T> tamamen örneklendirilmiş ve üyeleri erişilebilir hale gelir.
template<typename T> struct Base { void configure() {} }; template<typename T> struct Derived : Base<T> { void init() { // configure(); // Hata: niteliksiz arama başarısız this->configure(); // Tamam: bağımlı isim arama } };
Bir geliştirme ekibi, birden fazla sensör türünü içeren gömülü C++17 projesi için genel bir donanım soyutlama katmanı inşa ediyordu. TemperatureSensor veya PressureSensor gibi farklı sensör konfigürasyonlarını temsil eden T'nin temsil edildiği HAL::Device<T>'den miras alan bir şablon Logger<T> oluşturmuşlardı. Temel sınıf, donanım ayarları için bir configure() yöntemi sağlıyordu, ancak Logger<T>::init()'i uygularken, geliştirici miras alınan üye erişimini bekleyerek configure(); yazdı. GCC derleyicisi, configure'ın Logger<T> kapsamında tanımlanmadığını belirten bir hata üretti, oysa bu açıkça miras alınmış HAL::Device<T> arayüzünde mevcuttu.
Bir çözüm, temel üye ismini türetilmiş sınıf kapsamına using bildirimiyle sokmaktı, örneğin using Device<T>::configure; şeklinde Logger<T> sınıf gövdesine yerleştirmek. Bu yaklaşım, ismin ilk arama aşamasında görünür olmasını sağlar, ancak tüm overload'ların önceden bilinmesini gerektirir, temel sınıf arayüzüne sıkı bir bağ kurar ve Device<T> belirli bir T için üye imzasını kaldırdığında veya değiştirdiğinde başarısız olur.
Başka bir alternatif, çağrıyı gerçekleştirmeden önce this işaretçisini temel sınıf türüne açıkça cast etmekti; yani static_cast<Device<T>*>(this)->configure() yazmak. Bu yöntem, üye içeren sınıfı açıkça belirtir ve tüm şablon örneklendirmeleri arasında güvenilir bir şekilde çalışır. Ne yazık ki, bu durum, çağrının mantıksal amacını bulanıklaştıran ve miras hiyerarşisi değiştiğinde bakım riskleri getiren, uzun ve okunaksız bir kod üretir.
Ekip, sonuç olarak, bağımlı bir üye erişimini açıkça işaretlemek için this-> kullanarak üye çağrısını yazmayı seçti; yani this->configure(). Bu sözdizimi, açık tür isimleri veya içe aktarma bildirimleri gerektirmeden iki aşamalı arama yapılmasını zorunlu kılarak kodu temiz ve sürdürülebilir tutar. Bu, açıklık ve okunabilirlik arasında bir denge sağladığı, birden fazla bağımlı temel ile otomatik olarak ölçeklendiği ve modern C++ şablon en iyi uygulamalarıyla uyumlu olduğu için tercih edildi.
Bağımlı temel erişimi için tüm şablon üye işlevlerinin this-> nitelendirmesiyle yeniden tasarlandığına dair projede başarılı bir şekilde örnekleme yapıldı; ARM ve x86 hedefleri arasında artan derleme süreleri olmadan projeyi başarıyla derlenmiş oldu. Bu desen daha sonra ekibin kodlama standartları belgesine eklendi ve gelecekteki şablon geliştirme çalışmalarında bu sorunun tekrar yaşanmasını önledi. Geliştiriciler, iki aşamalı arama mekanizmasının daha derin bir takdirine sahip oldular ve sonraki sprintlerde daha az gizemli şablon derleme hatası ile sonuçlandılar.
Bağımlı bir temel sınıfın üye işlev şablonunu çağırırken neden template anahtar kelimesi zorunlu hâle gelir, this-> niteliği uygulandıktan sonra bile?
Bağımlı bir temelden process<int>() gibi bir üye şablonunu çağırırken, derleyici template anahtar kelimesini gerektirir—this->template process<int>()—sözdizimini ayırt etmek için. Bu anahtar kelime olmadan, derleyici < token'ını daha azdan daha fazla olan operatör olarak yorumlar, bu da ayrıştırma hatasına yol açar. Adaylar genellikle this->'in bağımlı isim aramasını ele aldığını, ancak template'in bağımlı şablon isimleri için gerekli sözdizimsel ayrıştırmayı ayrı olarak ele aldığını gözden kaçırır.
Bağımlı temel sınıf erişimi ile iç içe geçmiş tür tanımlarının elde edilmesinde typename anahtar kelimesinin rolü nedir ve neden class burada yetersizdir?
typename anahtar kelimesi, bağımlı nitelikli bir ismin bir türü ifade ettiğini derleyiciye belirtir; örneğin, typename Base<T>::value_type var; bu, bağımlı temellerde iç içe geçmiş typedef'lere veya takma isimlere erişim için gereklidir. class ve typename şablon parametre duyurularında yerinde değiştirilse de, class bağımlı nitelikli tür isimlerini şablonun gövdesinde ayrıştırırken typename yerine geçemez. Bu ayrım, geliştiricilerin anahtar kelimelerin evrensel olarak değiştirebilir olduğuna inandıkları için sık sık kafa karışıklığına neden olur ve derinlemesine iç içe geçmiş şablon hiyerarşilerinde belirsiz derleme hatalarına yol açar.
Niteliksiz aramanın kazara bir global varlığa bağlanmasından kaynaklanan ne gibi ince hatalar ortaya çıkar?
Eğer bir global işlev veya nesne, bağımlı temel bir üye ile aynı isme sahipse, ilk aşamada niteliksiz arama bu tanımlayıcıyı global varlığa bağlayabilir. Örnekleme sırasında, derleyici bu bağlamayı yeniden değerlendirmeyecek, bu da yanlış işlevin sessizce çağrılmasına veya türlerinin uyuşmazlığı durumunda tanımsız bir davranışa neden olabilir. Bu senaryo özellikle sinsi bir durumdur çünkü başarıyla derlenir, ancak yalnızca çalıştırma zamanında ortaya çıkan mantıksal hatalar üretir. Bu durum, en az sürpriz ilkesini ihlal eder ve bağımlı isimler için açık nitelendirmenin neden bu kadar kritik olduğunu gösterir.