如何在Octave中判断containers.Map是否为同一对象？

问题背景 #

Octave中的containers.Map是句柄对象，支持引用传递——将一个containers.Map变量赋值给另一个变量时，两个变量指向同一对象。但Octave没有内置方法直接判断两个变量是否指向同一对象实例：

• isequal仅验证两个Map的内容是否一致，无法区分同一对象的引用和内容相同的不同对象；
• Matlab中可用的==（eq运算符）在Octave中未实现，会抛出eq method not defined for containers.Map class错误。

以下代码可复现问题：

user@computer:~$ octave -q
octave:1> original_map = containers.Map({'name'}, {'Alice'});
octave:2> copy_map = original_map; % 指向同一对象
octave:3> new_map = containers.Map({'name'}, {'Alice'}); % 内容相同的新对象
octave:4> isequal(original_map, copy_map)
ans = 1
octave:5> isequal(original_map, new_map)
ans = 1
octave:6> original_map('name') = 'Bob';
octave:7> isequal(original_map, copy_map)
ans = 1 % 同一对象内容同步更新
octave:8> isequal(original_map, new_map)
ans = 0 % 新对象内容未变化
octave:9> eq(new_map, original_map)
error: eq method not defined for containers.Map class

需要实现一个eqtest函数，要求：

• eqtest(original_map, copy_map)返回true（同一对象引用）
• eqtest(original_map, new_map)返回false（不同对象，即使内容相同）

原方案的缺陷 #

你提出的方案通过临时添加键值对验证对象同一性，但存在严重脆弱性：

function equality = eqtest(map1, map2)
  map1('testKey') = 'Alpha';
  map2('testKey') = 'Beta';
  equality = isequal(map1, map2);
  remove(map1, 'testKey');
  remove(map2, 'testKey');
end

当Map的UniformValues属性为true且值类型不是字符型时，添加字符值会直接报错，导致函数无法正常执行。

健壮的解决方案 #

以下实现处理了UniformValues的限制，使用唯一临时键避免冲突，并在操作后恢复原对象状态：

function equality = eqtest(map1, map2)
    % 校验输入是否为containers.Map对象
    if ~(isa(map1, 'containers.Map') && isa(map2, 'containers.Map'))
        equality = false;
        return;
    end

    % 生成唯一临时键，避免与已有键冲突
    temp_key = tempname();
    % 生成随机临时值，降低与已有值冲突的概率
    temp_val = randi(10000);

    % 保存原对象的UniformValues设置
    uv_map1 = map1.UniformValues;
    uv_map2 = map2.UniformValues;

    try
        % 临时关闭UniformValues，允许添加任意类型的临时值
        map1.UniformValues = false;
        map2.UniformValues = false;

        % 给map1添加临时键值
        map1(temp_key) = temp_val;
        % 若两个变量指向同一对象，map2会同步拥有该键值对
        equality = isKey(map2, temp_key) && isequal(map2(temp_key), temp_val);

        % 额外验证：若不是同一对象，map2的修改不会影响map1
        if ~equality
            map2(temp_key) = temp_val + 1;
            equality = isequal(map1(temp_key), temp_val);
        end
    catch
        % 出现异常则判定为非同一对象
        equality = false;
    finally
        % 清理临时键，恢复原UniformValues设置
        if isKey(map1, temp_key)
            remove(map1, temp_key);
        end
        if isKey(map2, temp_key)
            remove(map2, temp_key);
        end
        map1.UniformValues = uv_map1;
        map2.UniformValues = uv_map2;
    end
end

测试验证 #

% 测试UniformValues为true的场景
original_map = containers.Map({'age'}, {25}, 'UniformValues', true);
copy_map = original_map;
new_map = containers.Map({'age'}, {25}, 'UniformValues', true);

eqtest(original_map, copy_map) % 返回 true
eqtest(original_map, new_map) % 返回 false

original_map('age') = 30;
eqtest(original_map, copy_map) % 仍然返回 true
eqtest(original_map, new_map) % 返回 false

原理说明 #

利用句柄对象的引用特性：如果两个变量指向同一对象，对其中一个对象的修改会同步反映到另一个变量上。通过临时修改对象并验证同步性，即可判断是否为同一引用；同时通过保存和恢复UniformValues属性，避免了原方案的类型限制问题。

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