rvalue int 벡터의 요소에서 decltype (자동)의 유형 공제가 int & gt; 인 이유는 무엇입니까?

Question

다음 코드 결과 0100 (CLang, GNU ++ 14 준수). func는 rvalue 벡터를 매개 변수로 취하고 이후 forward (c) [0]은 int의 const 참조이므로 decltype (자동)의 유형 공제는 const int &이되어야합니다. 결과를 이해하도록 도와주세요. 감사!

template <typename T> 
decltype(auto) func(T&& c) 
{ 
    return forward<T>(c)[0]; 
} 

int main(int argc, const char * argv[]) 
{ 
    cout 
    << is_same< int, decltype(func(vector<int>{3}))>::value 
    << is_same< int&, decltype(func(vector<int>{3}))>::value 
    << is_same< const int, decltype(func(vector<int>{3}))>::value 
    << is_same< const int&, decltype(func(vector<int>{3}))>::value 
    << endl; 
    return 0; 
} 

출력 :

0100 

Answer 1

c r- 수치가 기준이다.

[]은 const이고 비 const 오버로드입니다. vector<T,A>&& 유형의 벡터를 전달할 때 선택된 과부하는 const입니다.

[]은 변경 될 수 있지만 (값 또는 rvalue를 반환하는 && 오버로드가 있음) 기존 코드를 손상시킬 수 있습니다. 따라서 적어도 std2까지는 발생하지 않으며 기존 코드를 손상시키지 않고 std에 개정판을 깨는 것을 허용합니다.