命名空间中模板运算符的重载解析问题

你遇到的问题本质是C++名字查找规则与依赖参数查找（ADL）的交互限制，具体原因可以拆解为两点：

1. 别名模板的ADL局限性
   你的DoubleArray是std::array的别名模板，而非mylib自定义的独立类型。根据C++规则，ADL（依赖参数的查找）只会关联被别名类型的命名空间（也就是std），不会关联别名模板所在的mylib命名空间。而std中并没有为std::array定义operator+，所以ADL无法帮你找到mylib里的重载。

2. 普通名字查找的优先级问题
   在mylib::mysublib中调用a+b时，编译器会先在当前命名空间查找operator+，找到你定义的Complex版本（虽然参数不匹配）。理论上普通查找应该继续向外遍历到mylib命名空间，找到模板版本的operator+，但实际编译中，当前命名空间存在同名非模板运算符时，编译器可能会优先处理该候选，导致外围的模板运算符未被纳入重载解析（这是部分编译器的实际行为，虽不完全符合标准，但确实会出现）。

而你显式写mylib::operator+(a,b)时，直接限定了命名空间，编译器跳过普通查找流程，直接定位到mylib中的模板运算符并推导参数，所以可以正常编译。

解决方案1：用using声明引入外围运算符 #

在mylib::mysublib中添加using mylib::operator+;，将外围的模板运算符引入当前命名空间的重载候选集，这样普通查找就能找到匹配的版本：

#include "overloads.hpp"
namespace mylib {
namespace mysublib {
using mylib::operator+; // 引入mylib中的模板operator+

struct Complex {
    Complex() {};
    explicit Complex( const DoubleArray<2>& components );
    DoubleArray<2> _components;
};

Complex operator+(const Complex& rhs, const Complex& lhs) {return Complex();}

void testNested() {
    DoubleArray<2> a({1.0,0.0});
    DoubleArray<2> b({0.0,1.0});
    DoubleArray<2> c(a+b); // 现在可以正常匹配模板operator+
}
}
}

解决方案2：将DoubleArray改为自定义包装类 #

如果允许修改DoubleArray的定义，把它改成mylib自己的包装类，而非std::array的别名。这样DoubleArray就是mylib的原生类型，ADL会自动关联mylib命名空间，无论在哪个嵌套命名空间都能直接找到运算符：

// overloads.hpp
#include <array>
namespace mylib {
template <size_t N>
struct DoubleArray {
    std::array<double, N> data;
    // 支持列表初始化的构造函数
    DoubleArray(std::initializer_list<double> init) {
        std::copy(init.begin(), init.end(), data.begin());
    }
};

template <size_t N>
DoubleArray<N> operator+( const DoubleArray<N>& lhs, const DoubleArray<N>& rhs ) {
    DoubleArray<N> res;
    for(size_t i=0; i<N; ++i) {
        res.data[i] = lhs.data[i] + rhs.data[i];
    }
    return res;
}
}

解决方案3：显式指定命名空间（临时方案） #

虽然不够简洁，但这是最直接的临时解决办法：

DoubleArray<2> c( mylib::operator+(a,b) );

内容的提问来源于stack exchange，提问作者Kelemen Máté