상수 표현식을 위해 C Constexpr 함수에서 참조 매개변수를 사용할 수 있습니까?

Constexpr 함수 및 상수 표현식의 참조 매개변수

C에서 상수 표현식은 컴파일 시 상수 값으로 평가되는 표현식입니다. 시간. 다음 constexpr 함수를 고려하세요.

template <size_t S1, size_t S2>
auto concatenate(const std::array<uint8_t, S1> &data1,
                 const std::array<uint8_t, S2> &data2)
{
    std::array<uint8_t, data1.size() + data2.size()> result; // Possible error here

    return result;
}

-std=c 17과 함께 Clang 6.0을 사용하여 이 함수를 컴파일할 때 런타임 시 평가되는 data1.size() 표현식으로 인해 컴파일에 실패합니다. 이 오류는 매개변수가 참조인 경우에만 발생하며, 이는 constexpr 함수의 참조 매개변수 동작에 대한 잠재적인 오해를 나타냅니다.

C 표준([expr.const]/4)에 따르면 표현식은 핵심입니다. 상수 표현식에서 사용할 수 있는 이전 초기화가 없거나 핵심 상수 평가 내에서 수명이 시작된 경우를 제외하고 평가에 참조 유형의 변수 또는 데이터 멤버를 참조하는 id 표현식 평가가 포함되지 않는 경우 상수 표현식 표현식.

주어진 함수에서 참조 매개변수에는 선행 초기화가 없으므로 해당 size() 표현식이 일정하지 않게 렌더링됩니다. 따라서 상수 표현식에서 사용할 수 없으므로 컴파일 오류가 발생합니다.

문제를 해결하고 상수 표현식에서 참조 매개변수를 사용하려면 단순히 이전 초기화를 제공하거나 data1.size( ) 템플릿 매개변수 S1을 사용합니다.

위 내용은 상수 표현식을 위해 C Constexpr 함수에서 참조 매개변수를 사용할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!