Bagaimanakah `std::enable_if` Berfungsi: Membongkar Misteri Pelaksanaan dan Penggunaannya?

Memahami std::enable_if: Mentafsir Tujuan dan Pelaksanaannya

Walaupun sifat std::enable_if difahami dalam konteks tertentu, ia selok-belok, terutamanya hujah kedua dan tugasan kepada std::enable_if dalam pernyataan templat, kekal misteri. Menggali lebih mendalam tentang cara kerjanya akan membongkar misteri ini.

Kepentingan std::enable_if

std::enable_if ialah templat khusus yang ditakrifkan seperti berikut:

<code class="cpp">template<bool cond class t="void"> struct enable_if {};
template<class t> struct enable_if<true t> { typedef T type; };</true></class></bool></code>

Yang penting, jenis alias typedef jenis T hanya ditakrifkan apabila Cond adalah benar.

Menyingkap Penggunaan

Pertimbangkan pengisytiharan berikut:

<code class="cpp">template<typename t>
typename std::enable_if<:numeric_limits>::is_integer, void>::type foo(const T &bar) { isInt(bar); }</:numeric_limits></typename></code>

Di sini, jenis kembalian foo ditakrifkan oleh std::enable_if<:numeric_limits>::is_integer, void>::type. Memandangkan std::numeric_limits::is_integer ialah keadaan boolean, jenis pulangan ini hanya akan ditakrifkan jika keadaan itu benar.

Menjelaskan Argumen Kedua

Dalam tatatanda:

<code class="cpp">template<typename t typename std::enable_if>::value, int>::type = 0>
void foo(const T& bar) { isInt(); }</typename></code>

= 0 digunakan untuk lalai parameter templat kedua. Ini membenarkan kedua-dua pilihan digunakan menggunakan foo(1), berbanding dengan memerlukan dua parameter templat jika parameter std::enable_if tidak lalai.

Butiran Yang Perlu Diperhatikan

• Menaip nama taip std::enable_if<:condition secara eksplisit t>::type meningkatkan kejelasan.
• Dalam C 14, enable_if_t ialah jenis yang ditetapkan yang harus digunakan untuk jenis pulangan, memudahkannya kepada std::enable_if_t.
• Untuk versi Visual Studio sebelum 2013, hanya jenis return boleh menggunakan enable_if.

Atas ialah kandungan terperinci Bagaimanakah `std::enable_if` Berfungsi: Membongkar Misteri Pelaksanaan dan Penggunaannya?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!