C++ 从 C 继承了指针,所以我不能在不导致严重的兼容性问题的情况下删除它们。 引用在很多方面都很有用,但我在 C++ 中引入它们的直接原因是为了支持运算符重载。 例如:
void f1(const complex* x, const complex* y) // without references
{
complex z = *x+*y; // ugly
// ...
}
void f2(const complex& x, const complex& y) // with references
{
complex z = x+y; // better
// ...
}
更一般地说,如果你想同时拥有指针的功能和引用的功能,你需要两种不同的类型(如在 C++ 中)或对一种类型的两组不同的操作。 例如,对于单一类型,您既需要分配给所引用对象的操作,也需要分配给引用/指针的操作。 这可以使用单独的运算符来完成(如在 Simula 中)。 例如:
Ref<My_type> r :- new My_type;
r := 7; // 分配给对象
r :- new My_type; // 分配给引用
或者,您可以依赖类型检查(重载)。例如:
Ref<My_type> r = new My_type;
r = 7; // 分配给对象
r = new My_type; // 分配给引用