引用运算符是用来建立变量的别名。在程序中，当使用一个已定义变量的名字来初始化另一个变量时，后者成为前者的引用。因此，引用本质上是目标变量的一个别名，对引用的修改实际上是对目标变量的修改。举例来说，如果有一个普通整型变量a等于4，然后定义一个引用变量b，使得b是a的引用，那么无论修改a还是b，它们的值始终同步变化。需要注意的是，C语言不支持引用类型，这在实现抽象数据类型（ADT）时可能会带来一些问题。