std::enable_if는 조건부 반환 유형 및 템플릿 매개변수와 어떻게 작동합니까?

std::enable_if 이해

std::enable_if를 이해하려면 대체 실패는 오류가 아님을 이해해야 합니다.

std::enable_if의 정의

std::enable_if는 다음과 같이 정의된 특수 템플릿입니다.

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

결정적으로 typedef T 유형 정의는 다음과 같은 경우에만 트리거됩니다. bool Cond는 true입니다.

조건부 반환 유형의 사용법

예를 고려하세요.

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

여기에서 반환 유형은 다음과 같이 정의됩니다.

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

enable_if를 사용하면 T에 대해 is_integer가 true인 경우에만 foo의 유효한 반환 유형이 보장됩니다.

두 번째 템플릿 매개변수 기본값 설정

예제에서:

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

두 번째 템플릿 매개변수의 기본값은 0입니다. 이를 통해 단일 템플릿 매개변수로 foo를 호출할 수 있습니다. foo(1);.

위 내용은 std::enable_if는 조건부 반환 유형 및 템플릿 매개변수와 어떻게 작동합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!