使用运算符语法但不使用函数语法的错误消息

Question

为什么使用运算符语法调用一元时会收到错误消息？如果我使用函数语法调用它，则可以。实时演示。

template <int size>
struct Buffer { char buf[size]; };

template <class T>
struct Wrapper { void operator+() {} };

Wrapper<Buffer<-5>> a;

void f1() { +a; }               // error: Buffer<-5>::buf has negative size
void f2() { a.operator+(); }    // OK

Answer 1

非限定查找调用ADL，ADL需要知道关联类中是否定义了任何友元函数<代码>缓冲区

例如，让我们将< code>Buffer放入< code >命名空间N中，将< code>operator 放入< code>Buffer中。如果< code>a的类型是< code >包装

template <class T>
struct Wrapper {};

namespace N {
    template <int size>
    struct Buffer {
        template <class T> friend void operator+(const Wrapper<T>&) {}
        char buf[size];
    };
}

Wrapper<N::Buffer<5>> a;

void f1() { return +a; }