为什么C++既有指针又有引用？

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;    // 分配给引用