'if constexpr'이 C 17의 비템플릿 함수에서 컴파일 오류를 일으키는 이유는 무엇입니까?

C 17의 비템플릿 함수에서 "If constexpr" 사용 오류

C 17에서 "if constexpr" 문은 다음을 허용합니다. 상수 표현식을 기반으로 코드를 조건부로 평가하고 컴파일합니다. 하지만 이 기능은 템플릿이 아닌 함수에서 사용할 경우 제한이 있습니다.

코드:

<code class="cpp">#include <iostream>
#include <type_traits>

void print(auto value)
{
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl;
  else
    std::cout << "Ref to " << value << std::endl;
}</code>

문제:

위와 같이 템플릿이 아닌 함수에서 "if constexpr"을 사용하는 경우 포인터가 아닌 값을 역참조하려고 하면 컴파일 오류가 발생합니다. 이 오류는 템플릿 함수와 달리 템플릿이 아닌 함수의 "if constexpr"이 사용되지 않은 코드 경로의 컴파일을 방해하지 않기 때문에 발생합니다.

설명:

템플릿 함수에서 "if constexpr"을 사용하면 템플릿 매개변수 값에 따라 코드를 조건부로 컴파일할 수 있습니다. 이 경우 컴파일러는 컴파일 시간에 템플릿이 특정 전문화에 유효한지 확인하고 필요한 코드 경로만 인스턴스화할 수 있습니다.

그러나 템플릿이 아닌 함수에서 "if constexpr"은 런타임 시 조건문. 컴파일러는 여전히 조건문의 두 분기를 모두 분석하며, 가져오지 않은 분기의 코드가 유효하지 않은 경우 컴파일 오류가 발생합니다.

해결책:

이 오류를 방지하려면 유형이 컴파일 타임에 알려지고 조건문의 두 분기 모두에 대해 유효하다고 보장되는 템플릿 함수 또는 비템플릿 함수에서만 "if constexpr"을 사용하세요.

위 내용은 'if constexpr'이 C 17의 비템플릿 함수에서 컴파일 오류를 일으키는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!