임시 CONST 배열이를 rvalue 참조에 바인딩하지

Question

나는 다음과 같은 테스트 프로그램이 있습니다

#include <iostream> 
#include <type_traits> 
#include <utility> 

template<typename Ty, std::size_t N> 
void foo(Ty (&&)[N]) 
{ 
    std::cout << "Ty (&&)[" << N << "]\t" << std::is_const<Ty>::value << '\n'; 
} 

template<typename Ty, std::size_t N> 
void foo(Ty (&)[N]) 
{ 
    std::cout << "Ty (&)[" << N << "]\t" << std::is_const<Ty>::value << '\n'; 
} 

template<typename Ty> 
using id = Ty; 

int main() 
{ 
    std::cout.setf(std::cout.boolalpha); 

    foo(id<int[]>{1, 2, 3, 4, 5}); 
    foo(id<int const[]>{1, 2, 3, 4, 5}); // <-- HERE. 
    int xs[]{1, 2, 3, 4, 5}; 
    foo(xs); 
    int const ys[]{1, 2, 3, 4, 5}; 
    foo(ys); 
    foo(std::move(xs)); 
    foo(std::move(ys)); 
} 

내가 라인 바로 위에 const가 아닌 전화와 같은를 rvalue 과부하를 부를 것이다 화살표로 표시된 것으로 기대를하지만, 그렇지 않습니다.

이것은 GCC의 버그일까요? 아니면 lvalue 오버로드를 선택하게하는 표준에 뭔가가 있습니까?

Answer 1

에 따르면 §12.2 [class.temporary] 표준 :

클래스 타입의 임시 변수는 다양한 상황에서 작성된

:하는 prvalue (6.6.3)를 반환하는 prvalue (8.5.3)에 을 참조 바인딩 (15.3) 예외를 던지고 핸들러 (15.3)를 입력하고 일부 초기화 (8.5)를 던져서 prvalue (4.1, 5.2.9, 5.2.11, 5.4)를 생성합니다.

그래서 id<int const[]>{1, 2, 3, 4, 5} 임시이며, 따라서 prvalue §3.10 [basic.lval]입니다 :

이

(우변은 할당 식의 오른쪽에 나타날 수 있기 때문에, 역사적라고 함)를 rvalue가있다 임시 개체 (12.2) 또는 그 하위 개체 또는 개체와 연결된 이 아닌 값.

prvalue ("순수"rvalue)는 xvalue가 아닌 rvalue입니다.

따라서 rvalue 참조 인수로 오버로드 된 함수를 선택해야합니다.