`std::enable_if`는 어떻게 작동합니까? 구현 및 사용법의 미스터리를 풀고 있습니까?

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 유형은 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>

여기서 foo의 반환 유형은 std::enable_if::is_integer, void>::type으로 정의됩니다. std::numeric_limits::is_integer는 부울 조건이므로 이 반환 유형은 조건이 true인 경우에만 정의됩니다.

두 번째 인수 명확화

표기법:

<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은 두 번째 템플릿 매개변수의 기본값으로 사용됩니다. 이렇게 하면 std::enable_if 매개변수가 기본값이 아닌 경우 두 개의 템플릿 매개변수를 요구하는 것과는 반대로 foo(1)를 사용하여 두 옵션을 모두 호출할 수 있습니다.

주목할 만한 세부 정보

• 유형 이름 std::enable_if::type을 명시적으로 입력하면 명확성이 향상됩니다.
• C 14에서 활성화_if_t는 다음 작업에 사용해야 하는 확립된 유형입니다. 반환 유형을 std::enable_if_t으로 단순화합니다.
• 2013년 이전 Visual Studio 버전의 경우 반환 유형만 활성화_if를 사용할 수 있습니다.

위 내용은 `std::enable_if`는 어떻게 작동합니까? 구현 및 사용법의 미스터리를 풀고 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!