선언 없이 컴파일 타임에 C 11 표현식이 'constexpr'인지 확인할 수 있나요?

C 11에서 constexpr 활용: 상수 표현식 결정

질문:

가능합니까? C 11 표현식이 상수로 적합한지 확인하기 위해 선언에 의존하지 않고 컴파일 시간 동안 식(constexpr)을 사용합니까?

답변:

noException 연산자를 활용하면 다음 여부를 나타내는 컴파일 시간 부울을 생성할 수 있습니다. 표현은 다음을 구성한다 constexpr:

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

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

설명:

noException(e) 표현식은 다음 조건을 확인합니다.

• 함수 호출이 없음 던지지 않는 예외 사양 또는 상수 표현식을 구성하지 않는 변수 호출이 있는 경우.
• 존재하지 않음 "throw" 표현식.
• throwables 형태의 동적 캐스트나 typeid가 없습니다.

제한 사항:

보수적인 이유로 인해 "잠재적으로 평가되는" 표현식의 특성상 noexp가 거짓 부정을 제공할 수 있는 경우가 있을 수 있습니다. 예:

constexpr int a = (0 ? throw "fooled!" : 42);
constexpr bool atest = isprvalconstexpr((0 ? throw "fooled!" : 42)); // returns false

이 경우 a는 성공적으로 초기화되었지만 throw 표현식이 실행되지 않더라도 잠재적으로 평가되므로 atest는 false로 평가됩니다.

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