C 17의 템플릿이 아닌 함수에서 `if constexpr`이 작동하지 않는 이유는 무엇입니까?

if constexpr이 C 17의 비템플릿 함수에서 예상대로 작동하지 않는 경우

C 17에서 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;
}</code>

이 코드를 컴파일하면 오류가 발생합니다. if constexpr 문 내에서 '값'을 역참조하려고 시도하는 줄에서 발생합니다. 이는 템플릿이 아닌 함수에서는 constexpr이 지원되지 않기 때문입니다.

왜 템플릿만 사용해야 할까요?

이 동작은 의도적으로 설계된 것입니다. constexpr이 특정 전문화를 기반으로 잘못된 템플릿 코드의 인스턴스화를 방지하려는 경우. 제공된 예에서 템플릿이 아닌 함수는 std::is_pointer_v를 사용하여 'value'가 포인터인지 확인합니다. 그러나 조건이 false인 경우에도 컴파일러는 유효하지 않은 정수 '값'을 역참조하려고 시도합니다.

해결책

if constexpr을 비-조건에서 사용하려면 템플릿 기반 컨텍스트의 경우 코드를 템플릿 함수로 래핑하거나 컴파일 타임에 다르게 동작하는 매크로를 사용하는 것을 고려하세요. 예:

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

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

int main()
{
  auto n = 1000;
  print(n);

  int *ptr = &n;
  print(ptr);
}</code>

이 경우 인쇄 기능이 템플릿이므로 템플릿 매개변수를 기반으로 constexpr 동작이 올바르게 적용됩니다.

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