C ++ 'da SFINAE ve metaprogramlama kasıtlı mı yoksa şablonların bir yan ürünü müydü?

SFINAE ve templatemetaprogramlama harika şeyler yapabilir ve birçok kütüphane de bunları önemli ölçüde kullanır.

Tarihsel olarak bu "sihirli kavramların" her ikisi de C ++? Yoksa daha sonra orijinal templateprogramlamanın yararlı yan ürünleri (yan ürünler) olarak keşfedildiler mi?

Yaklaşık on yıl önce bir konferans gününden sonra kendimi Erwin Unruh ve bir kaç kişi ile birlikte bir barda buldum ve ona VJoviç'in bahsettiği program hakkında sorular sordum . O zamana kadar birkaç bira içtik, resmi olmayan bir toplantıydı ve on yıl boyunca kafamda yaşadı, bu yüzden bunu bir tane tahılla al, ama anılarıma göre:

STL'ye daha iyi hizmet verebilmek için şablon özellikleri eklediklerini söyledi. Ona göre, komitedeki bazı / birçok kişi tam yeteneklerini bilmeden bir şeyler yarattıklarını hissetti. Kendisi, tüm şablon şeylerin, özellikle de kısmi uzmanlaşmanın Turing-tam bir dil oluşturduğundan şüphelendi ve her zaman bunun resmi bir kanıtını yapmak istediğini, ancak bunu asla çözmediğini söyledi.

Bunun yerine bir gece bir standardizasyon toplantısında asal sayıları derleme sırasında hesapladığı hata mesajlarını (modern derleyicilerle çalışması gereken bir sürüm burada ) basan bu programla geldi. Şablon meta programı olarak bugünün standartlarına göre çok etkileyici değil, ama sonuçta bir ilkti. Birisi resmi bir ISO standardizasyon belgesi haline gelmek için resmi olarak sunarak şaka olarak gördüğü şeyi yaptı.

Ona özellikle Bjarne Stroustrup'un programa tepkisini sorduğumu hatırlıyorum ve yanıt olarak Erwin gözlerini eliyle kaplayarak onu taklit etti. :)

Geziden pişmanlık duydum , o konferansta da olan Todd Veldhuizen'e nasıl ifade şablonları bulduğunu sormamıştım . (Kesinlikle konuşmak için güzel bir adamdı.) Ama ondan çok daha gençtim ve yaşam boyu fırsatın geçmesine izin verdim.:(

1994 yılında, c ++ standardizasyon komitesinin bir toplantısında, E. Unruh şablonların derleme zamanında bir şeyi hesaplamak için kullanılabileceğini keşfetti. Asal sayıları basan bir program yazdı. Bu egzersizin ilgi çekici kısmı, asal sayıların üretiminin derleyici tarafından çalışma zamanında değil derleyici tarafından gerçekleştirilmesiydi. Bu program tamamen taşınabilir olmasa da, program şablon örnekleme mekanizmasının derleme zamanında önemsiz hesaplamalar yapabilen ilkel özyinelemeli bir dil olduğunu göstermiştir.

Bu alıntı Vandevoorde ve Josuttis tarafından "c ++ şablonlarından" alınmıştır (bölüm 17).

Gördüğünüz gibi, erken keşfedildi ve gücü hemen tanındı.