C++ 및 임시 바인딩 문제에 대한 const 참조 (C++ 0X에서 값으로 및 참조 규칙에 따라 D 언어 전달 구현)

Question

값으로 전달 및 전달을 위해 D 언어 규칙을 모방하는 것이 가능한지 궁금합니다. C++에서 참조 규칙에 따라.

http://bartoszmilewski.wordpress.com/category/d-programming-language/page/2/

및

http://groups.google.com/group/comp.std.c++/msg/303e3bf2407a7609 : 배경은 다음 두 개의 참조 (대부분 Alexandrescu의)를 참조하십시오?

주요 차이점 중 하나는 D에서 const 참조가 임시가 아닌 (const가 아닌 것과 같이) 바인딩되지 않는다는 것입니다.

그러나, 나는 다음과 같은 코드를 컴파일 실패하는 방식으로 일반적인 클래스 X를 정의 할 수있는 방법을 인식하지 오전 :

void f(const X& x) {...} 
f(X()); //Cannot disable binding of const ref to X 

하나의 가능성은 FA 템플릿 기능을 할 수 체크 rvalue/lvalue-ness가 전달 된 인수 (C++ 0X에서 가능)와 disable_if를 사용하지만 코드가 너무 많아 확장이 잘되지 않습니다.

또 다른 가능성은

template<class T> Ref<T> : public T {...} //D-style ref, does not bind to temporaries! 

같은 템플릿 클래스를 소개하고, 그러나 나는 다음과 같이 참조를 복용 템플릿 함수를 작성하는 능력을 잃어 이런 식으로

void f(Ref<const X> x) {...} //Does not look bad.... 
f(X()); //Compile error here is doable, I checked a similar example already... 

를 사용할 수하지 않습니다 컴파일 ...

template<class T> void ft(Ref<const T> x) {...} 
ft(X()); //Template deduction error 

귀하의 의견은 무엇입니까? 모든 제안/의견/도움을 주시면 감사하겠습니다! 를 rvalue 참조에

Answer 1

과부하 :

void f(X&&); // undefined 
void f(const X& x) {...} 
f(X()); // error: f(X&&) undefined