C++'ta SFINAE (Substitution Failure Is Not An Error) nedir?

SFINAE (Substitution Failure Is Not An Error) — C++ dilinde bir kuraldır ve eğer derleyici bir şablonun argümanlarını bir fonksiyon veya sınıfın imzasına yerleştirmeye çalışıyorsa ve bu yerleştirme hatalı koda yol açıyorsa (örneğin, bu türe ait olmayan bir üye kullanmaya çalışmak gibi), bu hemen derleme hatası olarak kabul edilmez. Bunun yerine, derleyici bu şablon örneğini göz ardı ederken, overload çözümlemesi veya uzmanlaşma sırasında bu durumu dikkate almaz.

Bu kural, derleme zamanında metaprogramlama için kullanılır ve şablonların davranışlarının şablon argümanlarının özelliklerine bağlı olmasını sağlar.

SFINAE kullanımı örnekleri:

• Belirli üyelerin veya desteklenen işlemlerin varlığına bağlı olarak aşırı yüklenmiş fonksiyonlar veya sınıf şablonlarının uzmanlaşması arasındaki seçim.
• (C++20 öncesinde, açık kavramların ortaya çıkmasından önce) kavramların (concepts) uygulanması ve şablon türlerinin sınırlandırılması.
• Tür özelliklerinin (type traits) oluşturulması.

std::enable_if ile SFINAE kullanımı örneği:

#include <iostream>
#include <type_traits> // std::enable_if için

// Sadece tam sayı türleri için derlenen fonksiyon şablonu
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Tam sayı tipi: " << value << std::endl;
}

// Sadece kayan nokta türleri için derlenen fonksiyon şablonu
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Kayan nokta tipi: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // İlk fonksiyonu çağırır
    print_if_floating_point(3.14); // İkinci fonksiyonu çağırır
    // print_if_integral("merhaba"); // Derleme hatası - yerleştirme başarısız, fonksiyonlar göz ardı edilir

    return 0;
}

Bu örnekte, std::enable_if dönüş tipi olarak kullanılmıştır. Eğer std::is_integral<T>::value doğruysa, std::enable_if void tipini sağlar. Eğer yanlışsa, std::enable_if type üyesini sağlamaz, bu da fonksiyonun imzasında yer değiştirme hatasına yol açar ve derleyici bu fonksiyonun uzmanlaşmasını göz ardı eder.