C++中能否实现可重新赋值且非空的类引用成员？

当然可以实现！不过原生C++的引用确实有个硬限制——一旦绑定到某个对象，就再也没法更改它的指向了。所以我们得自己封装一个小工具类，或者直接用标准库现成的东西，来满足你「可重绑定、用.调用成员、禁止为空」的需求。

我们可以用一个持有指针的模板类来模拟这种行为，通过重载运算符让它的使用语法和原生引用完全一致：

#include <cassert>
#include <utility>

template<typename T>
class RebindableRef {
public:
    // 构造时必须绑定非空对象，杜绝空引用
    explicit RebindableRef(T& obj) : ptr_(&obj) {
        assert(ptr_ != nullptr && "RebindableRef 不能绑定到空对象！");
    }

    // 支持重新绑定到另一个非空对象
    RebindableRef& operator=(T& new_obj) {
        ptr_ = &new_obj;
        assert(ptr_ != nullptr && "RebindableRef 不能绑定到空对象！");
        return *this;
    }

    // 禁止赋值为nullptr，从编译层面杜绝空引用
    RebindableRef& operator=(std::nullptr_t) = delete;

    // 重载解引用，返回原生引用，支持直接用.调用成员
    T& operator*() const {
        return *ptr_;
    }

    // 可选：重载箭头，兼容->调用语法（如果你偶尔需要的话）
    T* operator->() const {
        return ptr_;
    }

    // 隐式转换为原生T&，方便在需要原生引用的场景使用
    operator T&() const {
        return *ptr_;
    }

private:
    T* ptr_; // 内部用指针存储目标地址，实现可重绑定
};

使用示例 #

#include <iostream>
#include <string>

int main() {
    std::string str1 = "Hello";
    std::string str2 = "World";

    // 初始化绑定到str1
    RebindableRef<std::string> ref(str1);
    std::cout << *ref << std::endl; // 输出 Hello
    std::cout << ref.size() << std::endl; // 直接用.调用成员，输出5

    // 重新绑定到str2
    ref = str2;
    std::cout << *ref << std::endl; // 输出 World
    std::cout << ref.size() << std::endl; // 输出5

    // 尝试绑定nullptr会编译报错
    // ref = nullptr; // 编译错误：operator=(nullptr_t)已被删除

    return 0;
}

其实C++标准库已经提供了类似的工具——std::reference_wrapper，它完全满足你的需求：

• 支持重新绑定
• 可以用.调用成员（通过隐式转换或get()方法）
• 不能绑定空对象

#include <functional>
#include <string>
#include <iostream>

int main() {
    std::string a = "foo", b = "bar";
    std::reference_wrapper<std::string> ref(a);
    
    std::cout << ref.get() << std::endl; // 输出 foo
    std::cout << ref.size() << std::endl; // 直接用.调用成员，输出3

    // 重新绑定到b
    ref = b;
    std::cout << ref.get() << std::endl; // 输出 bar
}

std::reference_wrapper的优势是无需自己维护代码，而且能和标准库的其他组件（比如容器、算法）很好地配合——毕竟原生引用不能作为容器元素，但std::reference_wrapper可以。

两种方案的本质都是用指针存储目标地址，通过封装隐藏指针的->调用语法，对外暴露和原生引用一致的.调用方式。同时通过构造/赋值逻辑确保永远不会绑定到空对象，满足你的非空要求。

内容的提问来源于stack exchange，提问作者random