Constexpr 함수에 Constexpr이 아닌 인수를 전달할 수 없는 이유는 무엇입니까?

상수 표현식에서 Constexpr 함수 매개변수의 제한

코드 조각을 고려하세요.

static constexpr int make_const(const int i){
    return i;
}

void t1(const int i)
{
    constexpr int ii = make_const(i);  // error occurs here (i is not a constant expression)
    std::cout<<ii;
}

오류 세부 정보

i가 상수 표현식이 아니기 때문에 make_const(i)로 ii를 초기화하려고 하면 코드에서 오류가 발생합니다. 그 이유는 다음과 같습니다.

• constexpr 변수는 컴파일 타임에 사용이 보장되는 값을 가진 변수입니다.
• constexpr 함수는 다음과 같이 제공될 때 컴파일 타임에 평가하는 함수입니다. constexpr 인수.

consexpr이 아닌 매개변수를 constexpr 함수에 전달해도 constexpr 출력이 생성되지 않습니다. 그러나 constexpr 함수는 입력 매개변수의 constexprness를 상속하고 전파할 수 있습니다.

허용되는 시나리오

다음 코드는 t1()과 make_const()가 모두 작동하므로 작동합니다. constexpr 매개변수가 있는 constexpr 함수:

constexpr int t1(const int i)
{
    return make_const(i);
}

제한 사항

make_const()가 다음과 같더라도 do_something()은 constexpr 함수가 아니기 때문에 다음 코드는 실패합니다.

template<int i>
constexpr bool do_something(){
    return i;
}

constexpr int t1(const int i)
{
    return do_something<make_const(i)>();   // error occurs here (i is not a constant expression)
}

결론

이러한 오류를 방지하려면 constexpr 함수와 변수의 차이점을 이해하는 것이 중요합니다. Constexpr 함수는 컴파일 타임과 런타임 모두에서 평가할 수 있는 유연성을 제공하지만 constexpr 인수를 통해서만 가능합니다.

위 내용은 Constexpr 함수에 Constexpr이 아닌 인수를 전달할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!