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：背景については、次の2つの参照（主にアレキ）を参照してください？

主な違いの1つは、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 

あなたの考えは？どんな提案/コメント/ヘルプも感謝しています！右辺値参照の

Answer 1

過負荷：

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