C++静态成员函数能否实现对象关联？为何代码未达预期？

失效核心原因 #

你的静态函数link失效和静态成员函数本身无关，是两个C++基础语法问题导致的：

1. 值传递操作的是对象副本：函数参数obj parent, obj child采用值传递，函数内部的parent和child都是外部原对象的拷贝。修改child.parent只是改动了副本的成员变量，和外部的a、b对象完全无关，自然看不到原对象的变化。
2. 悬空指针隐患：就算参数传递改对了，当前代码里child.parent = &parent取的是函数内副本的地址，函数执行完毕后这个副本会被销毁，child.parent会变成悬空指针，后续访问会触发未定义行为。

你熟悉的Java和C在此处有本质区别：Java中所有对象类型的参数都是传递对象引用的副本，方法内修改对象成员会影响原对象；但C默认是值传递，必须显式用引用（&）或指针（*）才能直接操作原对象。

用静态成员函数实现对象关联的正确方式 #

只需将函数参数改为指针或引用，就能实现预期的对象关联功能：

方案1：使用指针参数 #

struct obj {
    obj *parent;
    int id;

    obj(int id) {
        this->id = id;
        parent = this;
    }

    static void link(obj* parent, obj* child) {
        child->parent = parent;
    }
};

int main() {
    obj a = obj(1);
    obj b = obj(2);

    obj::link(&a, &b);

    std::cout << "parent of a = " << a.parent->id << std::endl;
    std::cout << "parent of b = " << b.parent->id << std::endl;

    a.parent = &b;

    std::cout << "parent of a = " << a.parent->id << std::endl;
    std::cout << "parent of b = " << b.parent->id << std::endl;

    return 0;
}

方案2：使用引用参数 #

struct obj {
    obj *parent;
    int id;

    obj(int id) {
        this->id = id;
        parent = this;
    }

    static void link(obj& parent, obj& child) {
        child.parent = &parent;
    }
};

int main() {
    obj a = obj(1);
    obj b = obj(2);

    obj::link(a, b);

    std::cout << "parent of a = " << a.parent->id << std::endl;
    std::cout << "parent of b = " << b.parent->id << std::endl;

    a.parent = &b;

    std::cout << "parent of a = " << a.parent->id << std::endl;
    std::cout << "parent of b = " << b.parent->id << std::endl;

    return 0;
}

修改后运行结果 #

parent of a = 1
parent of b = 1
parent of a = 2
parent of b = 1

此时link函数能正确将b的parent指向a，符合预期效果。

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