를 rvalue 참조로 const를 좌변 참조를 전달

Question

가 나는를 rvalue 참조 허용하는 기능이 있습니다 좌변 참조 받아

template<typename... Ts> 
void foo(std::tuple<Ts...>&& t) 
{ 
    processFoo(std::forward<std::tuple<Ts...>>(t)); 
} 

다른 기능 :

template<typename T> 
void bar(const T& t); 

을 나는 bar이 할 수 있도록하려면 lvalues와 rvalues ​​둘 다로 바인딩하기 때문에 서명은 괜찮습니다. 그런 다음 에 t으로 전화하고 싶습니다. 이 코드의 경우 :

는

template<typename T> 
void bar(const T& t); 
{ 
    foo(t); 
} 

내 컴파일러는 정당하게 호환되지 않는 이력서 - 예선을 std::tuple<_blahblahblah>로하고 const std::tuple<_blah>, foo(...)에 호출 일치하는 기능이 없음을 뿌려줍니다.

template<typename T> 
void bar(const T& t); 
{ 
    foo(std::forward<T>(const_cast<T&>(t))); 
} 

하지만 const_cast은 해결과 같다 : 그래서 다음을 수행합니다!

위의 전달 코드는 정상적으로 보이며 관용적입니까? 아마도 다른 참조 유형과 cv-qualifier에 대해 foo을 오버로드하는 것이 더 좋을까요? 또는 const_cast을 없애는 데 도움이되는 "더 보편적 인"참조가 있습니까?

Answer 1

std::tuple<Ts...> &&이 하지 전달 참조되기 전에, 그것은 단순한를 rvalue 참조입니다 작동하지 않을 수 있습니다 당신은 const를 좌변-REF를 rvalue-REF에 바인딩 할 수없는 -에 코드를 변경합니다

template<typename Tuple> 
void foo(Tuple&& t) { 
    processFoo(std::forward<Tuple>(t)); 
} 

그러면 실제 전달 참조가 생겨 코드가 작동합니다.