Pendekatan berfungsi SFINAE di C ++

Saya menggunakan fungsi SFINAE dalam suatu proyek dan saya tidak yakin apakah ada perbedaan antara dua pendekatan berikut (selain gaya):

#include <cstdlib>
#include <type_traits>
#include <iostream>

template <class T, class = std::enable_if_t<std::is_same_v<T, int>>>
void foo()
{
    std::cout << "method 1" << std::endl;
}

template <class T, std::enable_if_t<std::is_same_v<T, double>>* = 0>
void foo()
{
    std::cout << "method 2" << std::endl;
}

int main()
{
    foo<int>();
    foo<double>();

    std::cout << "Done...";
    std::getchar();

    return EXIT_SUCCESS;
}

Output program seperti yang diharapkan:

method 1
method 2
Done...

Saya telah melihat metode 2 lebih sering digunakan dalam stackoverflow, tetapi saya lebih suka metode 1.

Apakah ada keadaan ketika kedua pendekatan ini berbeda?

Saya telah melihat metode 2 lebih sering digunakan dalam stackoverflow, tetapi saya lebih suka metode 1.

Saran: lebih suka metode 2.

Kedua metode bekerja dengan fungsi tunggal. Masalah muncul ketika Anda memiliki lebih dari satu fungsi, dengan tanda tangan yang sama, dan Anda ingin mengaktifkan hanya satu fungsi dari set.

Misalkan Anda ingin mengaktifkan foo(), versi 1, ketika bar<T>()(berpura-pura itu adalah constexprfungsi) adalah true, dan foo(), versi 2, ketika bar<T>()adalah false.

Dengan

template <typename T, typename = std::enable_if_t<true == bar<T>()>>
void foo () // version 1
 { }

template <typename T, typename = std::enable_if_t<false == bar<T>()>>
void foo () // version 2
 { }

Anda mendapatkan kesalahan kompilasi karena Anda memiliki ambiguitas: dua foo()fungsi dengan tanda tangan yang sama (parameter templat default tidak mengubah tanda tangan).

Namun solusi berikut

template <typename T, std::enable_if_t<true == bar<T>(), bool> = true>
void foo () // version 1
 { }

template <typename T, std::enable_if_t<false == bar<T>(), bool> = true>
void foo () // version 2
 { }

berfungsi, karena SFINAE memodifikasi tanda tangan fungsi.

Pengamatan yang tidak terkait: ada juga metode ketiga: aktifkan / nonaktifkan tipe kembali (kecuali untuk konstruktor kelas / struktur, jelas)

template <typename T>
std::enable_if_t<true == bar<T>()> foo () // version 1
 { }

template <typename T>
std::enable_if_t<false == bar<T>()> foo () // version 2
 { }

Sebagai metode 2, metode 3 kompatibel dengan pemilihan fungsi alternatif dengan tanda tangan yang sama.

Selain jawaban max66 , alasan lain untuk memilih metode 2 adalah bahwa dengan metode 1, Anda dapat (secara tidak sengaja) melewati parameter tipe eksplisit sebagai argumen templat kedua dan mengalahkan mekanisme SFINAE sepenuhnya. Ini bisa terjadi sebagai kesalahan ketik, kesalahan salin / tempel, atau sebagai kekeliruan dalam mekanisme templat yang lebih besar.

#include <cstdlib>
#include <type_traits>
#include <iostream>

// NOTE: foo should only accept T=int
template <class T, class = std::enable_if_t<std::is_same_v<T, int>>>
void foo(){
    std::cout << "method 1" << std::endl;
}

int main(){

    // works fine
    foo<int>();

    // ERROR: subsitution failure, as expected
    // foo<double>();

    // Oops! also works, even though T != int :(
    foo<double, double>();

    return 0;
}

Demo langsung di sini