C++ 和对临时绑定问题的 const 引用（在 C++0X 中实现 D 语言按值传递和按引用规则）

Question

我想知道在 C++ 中模仿 D 语言规则以按值传递和按引用传递规则的可能性有多大。有关背景，请参阅以下两个参考资料（主要是 Alexandrescu）：

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

和

http://groups.google.com/group/comp.std.c++/msg/303e3bf2407a7609?

其中一个关键区别在于 D 中的 const 引用不会（作为非 const 引用）绑定到临时对象。

但是，我不知道有什么方法可以定义泛型类 X，从而导致以下代码无法编译：

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

一种可能性是制作 fa 模板函数，检查传递的参数的右值/左值性（可能在 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...

但是，这样我就失去了编写带有 Ref 的模板函数的能力，因为以下将无法编译...

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