`std::enable_if` は関数の戻り値の型を条件付きで定義し、関数の解決を有効にするのにどのように役立ちますか?

std::enable_if が条件付き関数の解決を容易にする方法

置換の失敗がエラーではないことを理解することは、std::enable_if を理解するために重要です。 std::enable_if は次のように定義された特殊なテンプレートです:

<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>

重要なのは、型は条件が true の場合にのみ定義されるということです。

次の関数を考えてみましょう:

<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>

std::enable_if は関数の戻り値の型を条件付きで定義するために使用され、条件が false の場合はコンパイル エラーが発生します。

コード スニペット内:

<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>

2 番目のテンプレート パラメーターのデフォルト値 (0) は、呼び出し foo(1); を有効にするためだけに提供されています。これがないと、関数には 1 つではなく 2 つのテンプレート パラメーターが必要になります。

注: C 14 では、enable_if_t は定義された型であり、わかりやすくするために使用する必要があります。したがって、戻り値の型は std::enable_if_t<std::numeric_limits<T>::is_integer> に圧縮できます。 Visual Studio の古いバージョンでは、既定のテンプレート パラメーターがサポートされていないため、「条件としての std::numeric_limits」の例に示すように、 std::enable_if は関数の戻り値でのみ使用できます。

以上が`std::enable_if` は関数の戻り値の型を条件付きで定義し、関数の解決を有効にするのにどのように役立ちますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。