SFINAE dalam C : Parameter Templat lwn. Jenis Pulangan – Apakah Perbezaannya?

SFINAE dalam Jenis Pulangan vs Parameter Templat: Perbandingan

Dalam C , simpulan bahasa Kegagalan Gantian Bukan Ralat (SFINAE) membenarkan bersyarat penyusunan berdasarkan ketersediaan jenis. Walau bagaimanapun, tingkah lakunya boleh berbeza-beza apabila diletakkan dalam kedudukan berbeza dalam templat.

SFINAE dalam Parameter Templat

Dalam kod di bawah, SFINAE digunakan sebagai parameter templat untuk dayakan atau lumpuhkan lebihan fungsi templat tertentu.

template<typename t typename="typename" std::enable_if>::value>::type>
auto foo(T) -> void { /* ... */ }

template<typename t typename="typename" std::enable_if>::value>::type>
auto foo(T) -> void { /* ... */ }</typename></typename>

Dalam kes ini, SFINAE digunakan pada parameter templat kedua, iaitu pemegang tempat dengan berkesan. Ralat berlaku apabila cuba memanggil foo(3.4) kerana pengisytiharan fungsi templat kedua dengan std::enable_if<:is_floating_point>::value> tidak ditakrifkan, mengakibatkan beban berlebihan hilang.

SFINAE dalam Jenis Pemulangan

Sebaliknya, kod berikut menggunakan SFINAE dalam jenis pemulangan:

template<typename t>
auto foo(T) -> typename std::enable_if<:is_integral>::value>::type { /* ... */ }

template<typename t>
auto foo(T) -> typename std::enable_if<:is_floating_point>::value>::type { /* ... */ }</:is_floating_point></typename></:is_integral></typename>

Dalam kes ini, SFINAE digunakan pada jenis pulangan, yang membolehkan pengkompil membezakan antara dua fungsi templat berdasarkan pada jenis hujah yang disediakan.

Mengapa Perbezaan?

Perbezaan dalam tingkah laku berpunca daripada penggunaan hujah templat lalai. Dalam contoh pertama, parameter templat kedua adalah lalai kepada typename std::enable_if<:is_integral>::value>::type, yang menjadikan pengisytiharan fungsi templat setara.

Walau bagaimanapun, dalam contoh kedua, jenis pulangan menggunakan SFINAE dalam ungkapan, yang merupakan sebahagian daripada tandatangan fungsi. Ini memastikan bahawa fungsi templat mempunyai tandatangan yang berbeza dan membolehkan SFINAE berfungsi seperti yang diharapkan.

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