C++自定义迭代器重载整数加法运算符出现编译错误

编译报错的核心是C++模板的*非推导上下文（non-deduced context）*规则：

• 你在类外实现的全局operator+是独立的函数模板，第二个参数类型为typename MyArray<T, N>::Iterator，这种依赖外层模板参数的嵌套类型属于非推导上下文。
• 模板参数推导阶段，编译器不会通过嵌套类型反向推导外层类的模板参数。即使编译器明确知道传入的实参是MyArray<long, 10>::Iterator，也不会自动将T推导为long、N推导为10——C++标准允许类模板特化时修改内部嵌套类型的定义，不保证嵌套类型和外层模板参数有唯一对应关系，因此编译器不会做这种反向推导。
• 你写的it + 1能正常编译，是因为这个operator+是Iterator的成员函数，调用时迭代器的类型已经完全确定，不需要额外推导模板参数。

把int + Iterator的重载改成Iterator类内的友元函数，删掉类外单独写的全局operator+模板即可，修改后的Iterator类代码如下：

class Iterator {
public:
    Iterator(): ptr(nullptr) {}
    T &operator*() { return *ptr; }
    T *operator->() { return ptr; }
    // Iterator + Int
    Iterator operator+(int n) { return Iterator(ptr + n); }
    // 新增：Int + Iterator 友元实现
    friend Iterator operator+(int n, Iterator it) {
        return it + n;
    }

private:
    Iterator(T *ptr): ptr(ptr) {}
    T *ptr;

    friend class MyArray;
};

这种实现的逻辑是：友元函数不是函数模板，当MyArray<T, N>被实例化时，会同步生成一个参数为对应具体Iterator类型的普通函数，不存在模板推导失败的问题。同时这个函数会被ADL（参数依赖查找）规则找到，调用1 + it时可以正常匹配。

修改后原main函数的三条输出语句都可以正常编译运行，依次输出0、1、1。

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