컴파일 타임에 C 11 표현식이 'consexpr'인지 어떻게 확인할 수 있나요?

C 11에서 Constexpr 표현식 결정

질문: C 11 표현식이 상수 표현식(consexpr) 컴파일 시간?

답변: 예, 다음 기술을 사용하면 가능합니다.

template<typename T>
constexpr typename remove_reference<T>::type makeprval(T&& t) {
  return t;
}

#define isprvalconstexpr(e) noexcept(makeprval(e))

설명:

isprvalconstexpr 매크로는 표현식 e를 취하고 e가 prvalue 상수 표현식이면 true를 반환합니다. (즉, 컴파일 타임에 평가할 수 있습니다) 이는 예외를 발생시키지 않는 사양, 발생 표현식 또는 발생 가능한 동적 캐스트 또는 유형 ID가 없는 잠재적으로 평가된 함수 호출이 e에 포함된 경우 false를 반환하는 noException 연산자를 사용하여 결정됩니다.

제한 사항:

이 기술에는 제한이 있다는 점에 유의하는 것이 중요합니다. noException 연산자는 때때로 거짓 부정을 제공할 수 있습니다. 즉, 표현식이 상수 표현식임에도 불구하고 이를 보고할 수 있음을 의미합니다. 이는 e 내의 "잠재적으로 평가된" 식이 실제로 평가되지 않을 때 발생하며, 공식적으로 잠재적으로 평가된 것으로 간주되더라도 특정 상황에서 발생할 수 있습니다.

위 내용은 컴파일 타임에 C 11 표현식이 'consexpr'인지 어떻게 확인할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!