R的cpp11中向量/整数坐标编写及赋值歧义问题解析

我在R的cpp11中编写代码时，遇到了整数向量坐标赋值的问题——尝试将向量y2的内容赋值给y1的对应坐标时，直接赋值会提示operator=重载歧义，但添加0 +之后就能正常运行，想知道背后的逻辑是什么？

示例代码如下：

[[cpp11::register]] integers dummyexample(integers x1, integers x2) {
  int n = x1.size();
  writable::integers y1(n);
  writable::integers y2(n);

  // 为y2赋值：y₂ᵢ = x₂ᵢ²
  for (int i = 0; i < n; i++) { y2[i] = pow(x2[i], 2); }

  // 尝试赋值y1[i] = y2[i]时出现歧义
  for (int i = 0; i < n; i++) {
    // 错误：‘operator=’重载存在歧义
    // y1[i] = y2[i];

    // 尝试用at()仍无效，同样提示歧义
    // y1.at(i) = y2.at(i);

    // 直接调用运算符也无效
    // y1.operator[](i).operator=(y2.operator[](i));

    // 临时变量赋值也不行
    // int temp = y2[i];
    // y1[i] = temp;

    // 0 + y2[i]可正常运行，但原因是什么？
    y1[i] = 0 + y2[i];
  }

  return y1;
}

问题根源：cpp11的代理对象与重载歧义 #

cpp11中writable::integers的operator[]和at()返回的不是原生int类型，而是代理对象（比如cpp11::proxy<cpp11::writable::integers>）。这种代理对象为了兼顾灵活性，重载了多个operator=：

• 一个接受同类型代理对象的重载
• 一个接受原生整数类型（int）的重载

当你直接写y1[i] = y2[i]时，编译器无法确定应该调用哪个重载：y2[i]作为代理对象，既可以直接匹配“代理对象到代理对象”的赋值重载，也可以通过隐式转换为int后匹配“原生整数到代理对象”的赋值重载，两种路径都合法，因此产生歧义错误。

为什么0 + y2[i]能解决问题？ #

0 + y2[i]会触发代理对象的隐式类型转换：代理对象支持转换为原生int类型以参与算术运算，当它和整数0执行加法时，会先被转换为int值。此时赋值给y1[i]时，只会匹配“接受int的operator=”重载，编译器不再有歧义，因此可以正常编译运行。

更规范的替代写法 #

不用依赖加法技巧，直接显式转换类型或调用代理对象的get()方法，代码可读性更强：

// 显式类型转换
y1[i] = static_cast<int>(y2[i]);

// 调用get()获取原生值
y1[i] = y2[i].get();

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