类中Foo数组元素与返回值引用不匹配的原因排查

我来帮你排查几个最常见的问题——毕竟你预期它们指向同一个内存实例，却出现不相等的情况，大概率是语法或者返回逻辑上的小疏漏：

1. 返回的是值拷贝而非指针/引用 #

这是最常见的坑！如果你的返回函数是这么写的：

Foo GetFirstFoo() {
    return m_Foos[0]; // 这里返回的是m_Foos[0]的副本，不是原指针指向的实例
}

然后调用时用对象接收：

Foo returnValue = GetFirstFoo();

这时returnValue是一个全新的Foo对象，和m_Foos[0]完全是两个不同的内存实例，地址自然不相等。你应该返回指针或者引用：

// 返回指针的写法
Foo* GetFirstFoo() {
    return &m_Foos[0]; // 或者直接return m_Foos; 因为数组名本身就是首元素指针
}
// 或者返回引用的写法
Foo& GetFirstFoo() {
    return m_Foos[0];
}

调用时对应接收指针或引用：

Foo* returnValuePtr = GetFirstFoo(); // 此时returnValuePtr和m_Foos[0]地址完全相同
// 或者
Foo& returnValueRef = GetFirstFoo(); // 引用直接绑定到原实例，地址一致

2. 错误地将指针和对象实例直接比较 #

如果你写了类似这样的代码：

Foo* fooPtr = m_Foos; // 指向首元素的指针
Foo returnValue = *fooPtr;
// 然后错误地比较指针和对象？
if (fooPtr == returnValue) { ... } // 这是语法错误！类型完全不匹配

编译器应该会直接报错，因为你在把Foo*类型和Foo类型做比较，根本不是一回事。正确的比较逻辑应该是：

• 如果returnValue是指针：if (&m_Foos[0] == returnValue) 或者 if (m_Foos[0] == *returnValue)
• 如果returnValue是引用：if (&m_Foos[0] == &returnValue)

3. 数组被意外重新分配或移动了内存 #

如果在获取returnValue之前，m_Foos数组被重新分配（比如用new重新申请内存、或者容器扩容），那原来的m_Foos[0]地址就失效了，新数组的首元素地址和之前保存的returnValue（如果是旧指针）自然不相等。比如：

// 初始分配
m_Foos = new Foo[5];
Foo* returnValue = m_Foos;
// 后续重新分配内存
delete[] m_Foos;
m_Foos = new Foo[10];
// 此时returnValue指向旧内存，和新的m_Foos[0]地址完全不同

4. 不小心创建了临时对象 #

有时候隐式类型转换会偷偷创建临时对象。比如如果Foo有一个单参数的构造函数，可能会出现意外的转换：

class Foo {
public:
    Foo(int x) { ... } // 单参数构造函数
    bool IsSet;
};
// 如果返回逻辑不小心写成这样
Foo GetFirstFoo() {
    return 0; // 隐式调用Foo(0)创建临时对象，和m_Foos[0]毫无关系
}

这种情况也会导致returnValue是全新对象，和原实例无关。

你可以先检查一下你的返回函数实现和returnValue的定义方式，这几个场景是最容易踩坑的点。

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