Cevap

SFINAE (Substitution Failure Is Not An Error) — C++'da şablon uzmanlaşmasının temel mekanizmasıdır. Şablon seçildiğinde tanım geçersiz hale gelirse (örneğin, türün yerleştirilmesi şablon seçim aşamasında hata ile sonuçlanıyorsa), bu derleme hatası değil, sadece şablonu seçmek için erişilemez hale getirir.

SFINAE, std::enable_if, çeşitli tür tespitçileri (type traits) gibi araçların temelini oluşturur ve tag dispatching desenini uygular.

Doğru örnek:

#include <type_traits>

// Tam sayılar için
template<typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type foo(T) {
    std::cout << "Tam sayı
";
}
// Diğerleri için
template<typename T>
typename std::enable_if<!std::is_integral<T>::value, void>::type foo(T) {
    std::cout << "Tam sayı değil
";
}

Yanlış kullanım: Yanlışlıkla çağrıda belirsizlik (ambiguous overload) elde edilebilir veya koşulları dikkatli tanımlamazsak derleme hatası alabiliriz, std::enable_if veya uzmanlaşmalar için.

Kandırmaca soru

SFINAE'yi normal (şablonsuz) işlevler arasındaki seçim için kullanabilir miyiz?

Cevap: Hayır, SFINAE sadece işlevler veya sınıflar için şablonlarda uygulanır. Normal aşırı yüklenmiş işlevler için SFINAE işlemez. Sıkça std::enable_if'i normal bir işlevin parametrelerinde yazmaya çalışırken yanlışlıkla yaparız, bu seçim yapmaya neden olmaz, sadece imzanın belirsiz olmasına yol açar.

Yanlış bir seçenek örneği:

void foo(int, typename std::enable_if<true, int>::type* = nullptr) {} // Hata: şablon değil

Konuyla ilgili bilgi eksikliğinden kaynaklanan gerçek hata örnekleri

---

Hikaye

Serileştirme kütüphanesinde SFINAE ile şablon işlevleri uygulanırken, iki uzmanlaşmanın koşullarının kesişimi dikkate alınmadı. Sonuç — belirsiz aşırı yüklenme durumu ve yeni bir veri türü ortaya çıktığında modülün derlenememesi.

---

---

Hikaye

Eski boost::asio kütüphanesinde yanlış SFINAE uygulaması (dependent false üzerinden static_assert) nedeniyle okunmayan hata mesajları belirdi: derleyici tüm şablonları açtı, geçersiz seçenekleri kaldırmak yerine. İmza düzeyinde ayrı enable_if'ler ile düzeltildi.

---

---

Hikaye

SFINAE ile türlere göre algoritmaların aranmasının eski bir derleyiciye (MSVC 2012) taşınması sırasında ekip, türlerin ayrıştırılmasının hatalı gerçekleştirildiği ve seçilen şablonun yanlış türü kabul ettiği ile karşılaştı. Kontrol, tür özellikleri aracılığıyla derleme öncesinde çözüldü ve şablondaki yerleştirme ortadan kaldırıldı.

---