내 C 20 `constexpr` `std::Vector` 및 `std::string`이 컴파일에 실패하는 이유는 무엇입니까?

C 20 Constexpr 벡터와 문자열이 작동하지 않나요? 임시 할당 이야기

constexpr std::string 및 std::Vector 객체를 생성하려고 시도할 때 수수께끼 같은 컴파일러 오류가 발생할 수 있습니다. 지원되는 최신 Visual Studio 버전을 사용했음에도 불구하고 "식은 상수 값을 가져야 합니다."라는 오류 메시지가 나타납니다.

문제

제공된 코드는 다음을 활용합니다.

constexpr std::string cs{ "hello" };
constexpr std::vector cv{ 1, 2, 3 };

그러나 컴파일러는 세부 사항이 누락되었다고 불평합니다.

The 해결 방법

이 문제는 C 20의 constexpr 할당 지원이 제한되어 있기 때문에 발생합니다. 특히 임시 할당이 필요합니다. 즉, 상수 평가 중에 할당된 모든 메모리는 평가가 완료되기 전에 할당이 취소되어야 합니다.

동적 메모리 할당의 특성상 벡터는 평가 후에도 메모리가 유지되므로 상수로 저장할 수 없습니다. 따라서 "상수 평가 중에 힙에 할당된 메모리를 가리킨다"는 오류가 발생합니다.

임시 할당의 예

벡터는 상수로 선언할 수 없지만 벡터는 상수로 선언할 수 있습니다. 임시 할당이 있는 constexpr 함수 중에 사용됩니다.

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

static_assert(f() == 3);

이 코드에서는 벡터의 메모리 할당이 해제됩니다. f()가 반환되면 할당을 일시적으로 만들고 constexpr 함수에서 사용할 수 있도록 합니다.

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