C++ STL容器中不能存储引用类型的原因

C++ STL容器中不能存储引用类型的原因

在正式说明问题之前，先介绍一个概念：在 C++ 中，不能声明或定义指向引用的指针。

那为什么不能定义指向引用的指针呢？原因如下：

• 从设计目的上来讲，设计引用的目的是为了简化指针操作，避免指针造成的一系列问题，如果对引用再取地址的话，有违背设计初衷之意。

• 从实现角度来讲，引用常常为指针常量，对指针常量取地址（指向指针常量的二重指针）本身便没有意义。C/C++ 中定义二重指针往往是要对一重指针进行修改，而指针常量本身就不能修改，且倘若要访问引用所指变量的地址或者访问引用所指变量本身，直接可以通过引用完成，何必大费周折。

例：访问引用所指变量的地址及访问引用变量本身，定义指向引用的指针（报错）

main.cpp

#include <iostream>

using namespace std;

int main()
{
    int value = 0;
    int& ref = value; // ref 本质为指针常量

   // int&* ptr = ref; // C++中不允许定义指向引用的指针

    cout << "value address by reference = " << &ref /*编译器将其优化为&(*ref)*/ << endl;
    cout << "value address = " << &value << endl;
    cout << "value = " << ref /*编译器将其优化为(*ref)*/ << endl;
    return 0;
}

输出结果如下：

---

言归正传，那为什么在 STL 容器中不能存储引用类型呢？以vector为例，vector简化版代码是这样的：

template<typename T, typename Alloc = alloc>
class vector
{
public: 
   // traits
   using value_type = T;
   using pointer = value_type*; // notice
   using iterator = value_type*; // notice
   using reference = value_type&;
   using size_type = size_t;
   using difference_type = ptrdiff_t;

private:
   iterator start;
   iterator finish;
   iterator end;

   // otehr code
};

当定义一个存储引用的vector时，例如：

vector<int&> data;

根据传入vector模板中的参数为int&，因此 T和value_type为int&，pointer 和iterator 也会变成int&*，当用iterator声明 start / finish / end时，则会报错，因为 C++ 中，不允许声明或定义指向引用的指针。

本人才疏学浅，所写之处难免出现错误，如若各位朋友发现错误，欢迎在评论区留言指正。