C++ 引用：& 引用与指针的区别

在 C++ 开发中，引用与指针都能间接操作变量数据，但它们的底层机制、使用场景与安全限制完全不同。掌握以下实操对比，可避免内存泄漏与空指针异常。

1. 基础声明与初始化操作

1. 添加 引用符号 &，紧跟 类型关键字与变量名。
2. 绑定 合法内存地址，确保 目标对象在作用域内已完成初始化。
3. 验证 编译期反馈，拦截 悬空引用或未初始化引用的错误代码。
4. 声明 指针变量，使用 * 符号标记地址容器。
5. 赋空值 初始指针，写入 nullptr 阻断野指针越界风险。

int target_value = 100;

// 引用初始化：必须立即绑定实体
int& safe_ref = target_value; 

// 指针初始化：允许置空或延迟赋值
int* ptr_data = &target_value;
int* empty_ptr = nullptr;

2. 内存布局与寻址验证

1. 提取 引用目标地址，输入 &ref_name 语法，获取 与原变量完全一致的内存编号。
2. 读取 指针自身地址，输入 &ptr_name 语法，定位 指针变量在栈区的独立存储位置。
3. 解引用 访问数据，使用 *ptr_name 语法，读取 指针所指向地址内的真实数值。
4. 测算 空间占用差异，调用 sizeof() 运算符，对比 引用（编译器优化后通常无额外开销）与指针（固定占用 4 或 8 字节）的物理成本。

对比维度如下：

1. 打印 地址一致性，执行 输出语句 std::cout << &original << " " << &ref_name;，核对 十六进制结果。
2. 测试 指针步长，定义 int arr[3]; 并计算 *(arr + 1)，确认 内存指针按 4 字节整型宽度偏移。
3. 添加 防御判断层，编写 if (ptr != nullptr) 分支逻辑，阻断 未初始化内存的读写操作。

3. 函数传参选型与最佳实践

1. 评估 参数空值可能性。若业务逻辑允许不传对象或传空，改用 指针类型接收参数。
2. 限定 数据读写权限。若仅需读取数据，添加 const 关键字，采用 const Type& 语法避免深拷贝性能损耗。
3. 处理 多返回值需求。若需通过参数向外传递多个计算结果，使用 非常量引用直接修改外部实参。
4. 移交 堆内存所有权。若函数负责动态分配内存并交由调用方管理，返回 裸指针或智能指针，明确 释放责任。
5. 支持 链式表达式。在重载运算符或流操作时，返回 对象自身引用 return *this;，维持 连续调用语法。

// 场景：安全只读大对象（零拷贝）
void render_scene(const SceneGraph& graph) {
    graph.draw(); // 无法修改原对象，高效传输
}

// 场景：允许参数缺失
void update_entity(Entity* ent) {
    if (!ent) return; // 运行期防御
    ent->tick();
}

// 场景：多值输出
void parse_payload(const std::string& raw, std::string& id_out, int& code_out) {
    id_out = "TX01";
    code_out = 200; // 直接改写外部传入的引用实参
}

// 场景：运算符重载链式调用
class Vector {
public:
    Vector& add(const Vector& other) {
        this->x += other.x;
        return *this; // 返回引用以支持 a.add(b).add(c)
    }
};

1. 审查 公共接口签名，替换 所有可能接收空值的引用参数为指针。
2. 前置 只读修饰符，标记 输入型参数为 const，激活 编译器静态检查拦截意外写入。
3. 封装 资源分配逻辑，结合 std::make_unique 替代 new 操作符，消除 手动 delete 引发的内存泄漏路径。