Bagaimanakah std::enable_if Berfungsi dengan Jenis Pulangan Bersyarat dan Parameter Templat?

Memahami std::enable_if

Memahami std::enable_if memerlukan pemahaman tentang Kegagalan Penggantian Bukan Satu Ralat.

Takrifan std::enable_if

std::enable_if ialah templat khusus yang ditakrifkan sebagai:

<code class="cpp">template&lt;bool Cond, class T = void&gt; struct enable_if {};
template&lt;class T&gt; struct enable_if&lt;true, T&gt; { typedef T type; };</code>

Yang penting, definisi jenis T typedef hanya dicetuskan apabila bool Cond adalah benar.

Penggunaan dalam Jenis Pulangan Bersyarat

Pertimbangkan contoh:

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

Di sini, jenis pemulangan ditakrifkan oleh:

<code class="cpp">std::enable_if&lt;std::numeric_limits&lt;T&gt;::is_integer, void&gt;::type</code>

Penggunaan enable_if memastikan bahawa foo mempunyai jenis pulangan yang sah hanya jika is_integer adalah benar untuk T.

Menjalankan Lalai Parameter Templat Kedua

Dalam contoh:

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

Parameter templat kedua ditetapkan secara lalai kepada 0. Ini membolehkan foo dipanggil dengan satu parameter templat, mis. foo<int>(1);.

Atas ialah kandungan terperinci Bagaimanakah std::enable_if Berfungsi dengan Jenis Pulangan Bersyarat dan Parameter Templat?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!