내 C 20 `constexpr` `std::Vector` 및 `std::string`이 작동하지 않는 이유는 무엇입니까?

C 20 constexpr 벡터 및 문자열이 작동하지 않음

이 문제에서 프로그래머는 std::string 및 std의 constexpr 개체를 생성하려고 시도합니다. ::벡터를 실행했지만 표현식에 상수 값이 있어야 한다는 컴파일러 오류가 발생했습니다. constexpr 문자열과 벡터를 지원하는 최신 Microsoft Visual Studio 2019 버전을 사용하는데도 불구하고 문제가 발생합니다.

문제 설명

이 오류는 제한된 constexpr 할당 지원으로 인해 발생합니다. C 20은 임시 할당만 허용합니다. 임시 할당에서는 상수 평가가 끝날 때까지 할당된 메모리를 완전히 할당 해제해야 합니다.

잘못된 코드의 예

다음 예는 오류를 보여줍니다.

int main() {
    constexpr std::vector<int> v = {1, 2, 3};
}

여기서 v에 대한 할당은 지속되므로 일시적이지 않습니다. v가 상수 평가 중에 힙 할당을 유지하므로 컴파일러는 식이 상수로 평가되지 않았다는 오류를 올바르게 생성합니다.

유효 코드 예

그러나 , 임시 할당을 사용하면 constexpr 시간 동안 std::Vector를 사용할 수 있습니다.

constexpr int f() {
    std::vector<int> v = {1, 2, 3};
    return v.size();
}

static_assert(f() == 3);

이 예에서 v의 할당은 다음과 같습니다. f()가 반환될 때 메모리 할당이 취소되므로 일시적입니다. 이를 통해 constexpr 시간 동안 std::Vector를 사용할 수 있습니다.

위 내용은 내 C 20 `constexpr` `std::Vector` 및 `std::string`이 작동하지 않는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!