为什么 ADL 的运算符函数行为与其他函数不同?

我以这种方式在NS_C命名空间中创建了一个C类：

#include <iostream>
namespace NS_C {
template <typename T>
class C {
public:
C operator+(long) {
std::cout << "NS_C::C::operator+n";
return *this;
}
void not_operator(C<T>, long) {
std::cout << "NS_C::C::not_operatorn";
}
void call() {
*this + 0;
not_operator(*this, 0);
}
};
}

函数call应该调用NS_C::C::operator+然后NS_C::C::not_operator。为了测试此行为，我运行了这个小程序：

int main()
{
NS_C::C<int> ci;
ci.call();
return 0;
}

输出是我期望的：

> g++ -o example example.cpp && ./example
NS_C::C::operator+
NS_C::C::not_operator

现在，我想在单独的命名空间NS_A中创建一个新的类A，并向此命名空间添加两个operator+和not_operator函数的泛型重载：

#include <iostream>
namespace NS_A {
class A {};
template <typename T>
T operator+(T t, int)
{
std::cout << "NS_A::operator+n";
return t;
}
template <typename T>
void not_operator(T, int)
{
std::cout << "NS_A::not_operatorn";
}
}

多亏了 ADL，从NS_C::C<NS_A>对象调用call成员函数将调用重载的NS_A::operator+，因为它匹配得更好(第二个参数在NS_A::operator+中int，在NS_C::C::operator+中long(。 但是，我不明白为什么我的not_operator函数不会发生相同的行为。实际上，NS_C::C::not_operator仍将从call函数中调用。

让我们使用以下主函数：

int main()
{
NS_C::C<NS_A::A> ca;
ca.call();
return 0;
}

我有以下输出：

NS_A::operator+
NS_C::C::not_operator

为什么在这种情况下不调用NS_A::not_operator？

以下是重现该问题的完整代码：

#include <iostream>
namespace NS_A {
class A {};
template <typename T>
T operator+(T t, int)
{
std::cout << "NS_A::operator+n";
return t;
}
template <typename T>
void not_operator(T, int)
{
std::cout << "NS_A::not_operatorn";
}
}
namespace NS_C {
template <typename T>
class C {
public:
C operator+(long) {
std::cout << "NS_C::C::operator+n";
return *this;
} 
void not_operator(C<T>, long) {
std::cout << "NS_C::C::not_operatorn";
}
void call() {
*this + 0;
not_operator(*this, 0);
}
};
}   
int main()
{
NS_C::C<int> ci;
ci.call();
NS_C::C<NS_A::A> ca;
ca.call();
return 0;
}