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

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

소개

C 17에서는 if constexpr을 도입했습니다. 키워드, 컴파일 타임 상수를 기반으로 조건부 컴파일을 허용합니다. 그러나 템플릿이 아닌 함수에서 if constexpr을 사용하면 예기치 않은 오류가 발생할 수 있습니다. 이 문서에서는 이러한 문제를 살펴보고 해결 방법을 제공합니다.

코드 예

다음 코드를 고려하세요.

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

int main() {
  auto value = 100;
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl; // Error
  else
    std::cout << "Ref to " << value << std::endl;
}

컴파일 오류

이 코드는 if constexpr 문이 기본 함수 내에 있을 때 컴파일 오류를 생성합니다.

main.cpp:8:32: error: invalid type argument of unary ‘*’ (have ‘int’)
std::cout << "Ptr to " << *value << std::endl;

설명

If constexpr only 컴파일러가 컴파일 타임에 가져오지 않은 분기를 인스턴스화하는 것을 피할 수 있기 때문에 템플릿 함수에서 작동합니다. 이러한 최적화는 효율적인 템플릿 메타프로그래밍에 필수적입니다.

템플릿이 아닌 함수에서 유형이 decltype에 의해 추론되더라도 constexpr이 여전히 두 분기를 모두 평가하는 경우. 이는 위 코드의 오류가 if 분기에서 int 값을 역참조하려는 시도로 인해 발생했음을 의미합니다.

해결 방법

이 문제를 해결하려면 다음을 수행하세요. if constexpr 문을 템플릿 함수로 이동합니다. 예:

<code class="cpp">template <typename T>
void print(T value) {
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl;
  else
    std::cout << "Ref to " << value << std::endl;
}

int main() {
  auto value = 100;
  print(value);
}</code>

이 수정된 코드는 예상되는 출력을 컴파일하고 인쇄합니다.

Ref to 100

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