Kas ir SFINAE (Substitution Failure Is Not An Error) C++-ā?

SFINAE (Substitution Failure Is Not An Error) — tas noteikums C++ valodā, kas saka, ka, ja kompilators mēģina aizstāt šablona argumentus funkcijas vai klases parakstā, un šī aizstāšana noved pie nepareiza koda (piemēram, mēģinājums izmantot locekli, kas šāda tipa gadījumā nepastāv), tas netiek uzskatīts par kompilācijas kļūdu uzreiz. Tā vietā, kompilators vienkārši ignorē šo šablona piemēru, risinot vai specializējot.

Šis noteikums tiek izmantots metaprogrammēšanā kompilācijas posmā, ļaujot izveidot šablonus, kuru uzvedība ir atkarīga no argumentu īpašībām.

SFINAE piemēri:

• Izvēle starp pārklātām funkcijām vai šablona klases specializācijām atkarībā no noteiktiem locekļiem vai atbalstītām operācijām.
• Konceptu (līdz C++20, kur parādījās skaidri koncepti) īstenošana tipu ierobežošanai.
• Tipa īpašību (type traits) izveide.

SFINAE piemērs ar std::enable_if:

#include <iostream>
#include <type_traits> // std::enable_if

// Šablona funkcija, kas tiek kompilēta tikai veselos tipos
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Veselis tips: " << value << std::endl;
}

// Šablona funkcija, kas tiek kompilēta tikai ar peldošā punkta tipiem
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Peldošā punkta tips: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Izsauc pirmo funkciju
    print_if_floating_point(3.14); // Izsauc otro funkciju
    // print_if_integral("sveiki"); // Kļūda — aizvietošana neizdevās, funkcijas tiek ignorētas

    return 0;
}

Šajā piemērā std::enable_if tiek izmantots kā atgriešanas tips. Ja nosacījums std::is_integral<T>::value ir patiesi, tad std::enable_if nodrošina tipu void. Ja nosacījums ir nepatiesi, std::enable_if nesniedz type locekli, kas noved pie aizvietošanas neveiksmes funkcijas parakstā, un kompilators ignorē šo specializāciju.