引用是另一个变量的别名，而指针保存变量的内存地址。引用通常用作函数参数，因此传递的对象不是副本而是对象本身。

    void fun(int &a, int &b); // A common usage of references.
    int a = 0;
    int &b = a; // b is an alias for a. Not so common to use. 

我觉得还有一点还没有在这里讨论。

与指针不同，引用在语法上等同于它们所引用的对象，即可以应用于对象的任何操作都适用于引用，并且具有完全相同的语法（当然，初始化是例外）。

虽然这可能看起来很肤浅，但我认为这一特性对于一些C++特性来说至关重要，例如：

模板。因为模板参数是鸭子类型的，所以类型的语法财产才是最重要的，所以通常同一个模板可以同时用于T和T&。（或std:：reference_wrapper＜T＞，它仍然依赖于隐式转换至T&）覆盖T&和T&&的模板更为常见。L值。考虑语句str[0]=“X”；如果没有引用，它只适用于c字符串（char*str）。通过引用返回字符允许用户定义的类具有相同的符号。复制构造函数。从语法上讲，将对象传递给复制构造函数是有意义的，而不是传递给对象的指针。但复制构造函数无法按值获取对象，这将导致对同一复制构造函数的递归调用。这将引用作为此处的唯一选项。操作员过载。通过引用，可以在保留相同的中缀符号的同时，将间接指向引入运算符调用，例如运算符+（const T&a，const T&b）。这也适用于常规重载函数。

这些点赋予了C++和标准库相当大的一部分权力，因此这是参考文献的一个重要属性。

如果遵循传递给函数的参数的约定，则可以使用引用和指针之间的差异。Const引用用于传递到函数中的数据，指针用于传递出函数的数据。在其他语言中，您可以使用诸如In和out之类的关键字来明确表示这一点。在C++中，您可以（按照约定）声明等价的。例如

void DoSomething(const Foo& thisIsAnInput, Foo* thisIsAnOutput)
{
   if (thisIsAnOuput)
      *thisIsAnOutput = thisIsAnInput;
}

使用引用作为输入和指针作为输出是Google风格指南的一部分。

它占用多少空间并不重要，因为你实际上看不到它占用的任何空间的任何副作用（不执行代码）。

另一方面，引用和指针之间的一个主要区别是，分配给常量引用的临时变量在常量引用超出范围之前一直有效。

例如：

class scope_test
{
public:
    ~scope_test() { printf("scope_test done!\n"); }
};

...

{
    const scope_test &test= scope_test();
    printf("in scope\n");
}

将打印：

in scope
scope_test done!

这是允许ScopeGuard工作的语言机制。

此外，作为内联函数的参数的引用的处理方式可能与指针不同。

void increment(int *ptrint) { (*ptrint)++; }
void increment(int &refint) { refint++; }
void incptrtest()
{
    int testptr=0;
    increment(&testptr);
}
void increftest()
{
    int testref=0;
    increment(testref);
}

许多编译器在内联指针版本1时实际上会强制写入内存（我们显式地获取地址）。然而，他们会将引用保留在更优化的寄存器中。

当然，对于未内联的函数，指针和引用生成相同的代码，如果函数未修改和返回内部函数，则通过值传递内部函数总是比通过引用传递内部函数更好。

指针和引用之间的差异

指针可以初始化为0，而引用不能初始化。事实上，引用也必须引用对象，但指针可以是空指针：

int* p = 0;

但我们不能有int&p=0；以及int&p＝5；。

事实上，要正确执行此操作，我们必须首先声明并定义了一个对象，然后才能引用该对象，因此前面代码的正确实现将是：

Int x = 0;
Int y = 5;
Int& p = x;
Int& p1 = y;

另一个重要的点是，我们可以在不初始化的情况下声明指针，但是在引用的情况下，不能这样做，因为引用必须始终引用变量或对象。然而，这样使用指针是有风险的，因此通常我们检查指针是否确实指向某个对象。在引用的情况下，不需要这样的检查，因为我们已经知道在声明期间引用对象是强制性的。

另一个区别是指针可以指向另一个对象，但是引用总是引用同一个对象

Int a = 6, b = 5;
Int& rf = a;

Cout << rf << endl; // The result we will get is 6, because rf is referencing to the value of a.

rf = b;
cout << a << endl; // The result will be 5 because the value of b now will be stored into the address of a so the former value of a will be erased

另一点：当我们有一个类似STL模板的模板时，此类类模板将始终返回一个引用，而不是指针，以便使用运算符[]轻松读取或分配新值：

Std ::vector<int>v(10); // Initialize a vector with 10 elements
V[5] = 5; // Writing the value 5 into the 6 element of our vector, so if the returned type of operator [] was a pointer and not a reference we should write this *v[5]=5, by making a reference we overwrite the element by using the assignment "="