c++ - 通过属性 getter 访问 std::map 返回垃圾值

Question

我在一个项目中遇到过这个问题，并将其归结为以下示例代码:

#import <map>

typedef std::map<int, int> exampleMap;
@interface ViewController ()

@property (nonatomic, assign) exampleMap map;
@end

@implementation ViewController

- (IBAction)iterateWithSelf:(id)sender
{
    for (exampleMap::iterator iter = self.map.begin(); iter != self.map.end(); ++iter)
    {
        NSLog(@"We should never hit this line as map is empty");
    }
}
- (IBAction)iterateWithIVar:(id)sender
{
    for (exampleMap::iterator iter = _map.begin(); iter != _map.end(); ++iter)
    {
        NSLog(@"We should never hit this line as map is empty");
    }
}

@end

- iterateWithIVar:执行正常，没有任何内容记录到控制台。 - iterateWithSelf:进入 for 循环，向控制台打印一行，然后崩溃 EXC_BAD_ACCESS

然后我尝试插入... self.map.insert(std::pair<int, int>(0, 1)); _map.insert(std::pair<int, int>(0, 1)); 时似乎没有任何影响向 iterateWithIvar 添加迭代

有什么想法吗？

Answer 1

需要注意的重要一点是 self.map 发送消息(即调用方法)。 它不访问结构成员。就像下面的 C++ 代码:

class ViewController {
public:
  typedef std::map<int, int> ExampleMap;

private:
  ExampleMap _map;

public:
  ExampleMap map() { return _map; }
  setMap(const ExampleMap &o) { _map = o; }
};

其次是

for (auto iter = vc.map().begin(); iter != vc.map().end(); ++iter) {
  std::cerr << "We should never hit this line as map is empty" << std::endl;
}

既然如此，这就是“预期行为”。 C++ 对象按值复制。这意味着每次您调用 self.map 时，您都会得到一份 map 的新拷贝。由于使用一个映射中的迭代器迭代第二个映射是无效的 C++，因此会发生崩溃。

在第二种情况下，您直接访问实例变量，因此您每次都在处理同一个对象。有几种解决方法:

1. 重写您的类以提供直接访问 ivar 的访问器(例如 -(int) numberOfItemsInMap、-mapItemForKey: 等)。

2. 将访问器更改为不再复制:对映射使用一个ivar，手动编写自己的getter 以返回一个指针或对映射的引用(如果使用指针，则可以将访问器声明为指针属性无论如何，然后使用 operator new 在您的构造函数中创建它)。

3. 重写 -iterateWithSelf: 以获取 map 的显式拷贝，然后对其进行迭代(这可能效率低下，假设 std::map 是您的用例的高效容器)。

第一种方法可能是最干净的方法，因为它还确保您的 ObjC 对象始终知道对底层 map 所做的访问/更改，而直接公开指向 map 的指针允许任何人在您不知情的情况下修改它。