constexpr 함수는 언제 컴파일 타임에 평가됩니까?

constexpr 함수는 언제 컴파일 타임에 평가됩니까?

---

constexpr로 선언 된 함수가 런타임 중에 호출 될 수 있기 때문에 컴파일러는 어떤 기준에 따라 컴파일 타임 또는 런타임 중에 계산할지 여부를 결정합니까?

template<typename base_t, typename expo_t>
constexpr base_t POW(base_t base, expo_t expo)
{
    return (expo != 0 )? base * POW(base, expo -1) : 1;
}

int main(int argc, char** argv)
{
    int i = 0;
    std::cin >> i;

    std::cout << POW(i, 2) << std::endl;
    return 0;
}

이 경우, i는 컴파일 타임에 알 수 없으므로 컴파일러가 POW ()를 런타임에 호출되는 일반 함수로 취급하는 이유 일 것입니다. 그러나 이러한 역학은 편리해 보일 수 있지만 비실용적 인 의미를 가지고 있습니다. 예를 들어, 컴파일러가 컴파일 타임 동안에 constexpr 함수를 계산하기를 원하는 경우가있을 수 있는데, 컴파일러가 컴파일 타임에도 작동했을 때 대신 일반 함수로 처리하기로 결정하는 경우가 있습니까? 알려진 일반적인 함정이 있습니까?

---

constexpr함수 는 모든 인수가 상수 표현식이고 그 결과가 상수 표현식에서도 사용되는 컴파일 타임에 평가됩니다. 상수 표현식은 리터럴 (예 :) , 42유형이 아닌 템플릿 인수 (예 : Nin template<class T, size_t N> class array;), enum요소 선언 (예 : Bluein enum Color { Red, Blue, Green };, 선언 된 다른 변수 constexpr 등)이 될 수 있습니다.

그들은 수있는 모든 인수가 상수 표현식이며 결과가 될 때 평가 될 수 없는 상수 표현에 사용하지만, 그 구현에 달려있다.

---

함수는 상수 표현식이 필요할 때 컴파일 타임에 평가되어야합니다.

이를 보장하는 가장 간단한 방법은 constexpr값 을 사용하는 것입니다 std::integral_constant.

constexpr auto result = POW(i, 2); // this should not compile since i is not a constant expression
std::cout << result << std::endl;

또는:

std::cout << std::integral_constant<int, POW(i, 2)>::value << std::endl;

또는

#define POW_C(base, power) (std::integral_constant<decltype(POW((base), (power)), POW((base), (power))>::value)

std::cout << POW_C(63, 2) << std::endl;

또는

template<int base, int power>
struct POW_C {
  static constexpr int value = POW(base, power);
};

std::cout << POW_C<2, 63>::value << std::endl;

참조 URL : https://stackoverflow.com/questions/14248235/when-does-a-constexpr-function-get-evaluated-at-compile-time