SFINAE dalam C : Jenis Pulangan lwn. Jenis Parameter untuk Pengkhususan Templat Bersyarat?

SFINAE dalam Jenis Pengembalian Templat lwn. Parameter

Penerangan Masalah

Dalam C , SFINAE (Kegagalan Penggantian Bukan Ralat) boleh digunakan untuk dayakan atau lumpuhkan pengkhususan templat secara bersyarat berdasarkan ciri jenis. Walau bagaimanapun, isu biasa timbul apabila SFINAE digunakan secara berbeza dalam jenis pengembalian templat dan parameter templat.

Pertimbangkan fungsi utama berikut:

int main()
{
    foo(5);
    foo(3.4);
}

Pelaksanaan Bersalah Menggunakan SFINAE dalam Parameter Templat

Apabila SFINAE diletakkan dalam parameter templat, seperti yang ditunjukkan di bawah, ia gagal untuk menyusun dengan ralat:

template<typename t typename="typename" std::enable_if>::value>::type>
auto foo(T) -> void
{
    std::cout ::value>::type>
auto foo(T) -> void
{
    std::cout <h3 id="Pelaksanaan-Betul-Menggunakan-SFINAE-dalam-Jenis-Pulangan">Pelaksanaan Betul Menggunakan SFINAE dalam Jenis Pulangan</h3>
<p>Bagaimanapun, pelaksanaan ini berfungsi dengan betul:</p>
<pre class="brush:php;toolbar:false">template<typename t>
auto foo(T) -> typename std::enable_if<:is_integral>::value>::type
{
    std::cout 
auto foo(T) -> typename std::enable_if<:is_floating_point>::value>::type
{
    std::cout <h3 id="Penjelasan">Penjelasan</h3>
<p>Perbezaan terletak pada cara lebihan templat fungsi ditakrifkan dalam standard C (14.5.6.1). Templat terlebih beban adalah setara jika ia mempunyai nama fungsi yang sama, bilangan parameter yang sama dan jenis parameter yang sama. Walau bagaimanapun, hujah templat lalai tidak dipertimbangkan dalam perbandingan ini.</p>
<p>Dalam pelaksanaan yang rosak, syarat SFINAE disertakan sebagai hujah templat lalai, menghasilkan dua templat fungsi yang sama ditakrifkan dua kali. Ini mencetuskan ralat penyusunan.</p>
<p>Dalam pelaksanaan yang betul, keadaan SFINAE digunakan sebagai sebahagian daripada jenis pengembalian templat. Memandangkan ini melibatkan parameter templat yang merujuk ungkapan, kedua-dua fungsi mempunyai tandatangan yang berbeza dan dengan itu membolehkan SFINAE berfungsi seperti yang dimaksudkan.</p></:is_floating_point></:is_integral></typename>

Atas ialah kandungan terperinci SFINAE dalam C : Jenis Pulangan lwn. Jenis Parameter untuk Pengkhususan Templat Bersyarat?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!