未定义的类模板未实例化以检查朋友函数

Question

下面的程序可以编译(请参见godbolt上的),但是如果我们取消对< code>Buffer的定义的注释，它将不会编译。

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

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

Wrapper<Buffer<-5>> a;

void f() { +a; }

原因是，未注释的版本无法编译： 一个触发器ADL，并且要收集运算符的所有候选项，必须检查所有关联的类是否有友元函数。缓冲区

我想知道Buffer是否




Answer 1

匿名用户

您可以仅通过声明(隐式)实例化类模板；你得到一个不完整的类类型，就像从< code > struct A； ([temp.inst]/2)。用不完整的关联类做ADL当然不是错误；问题中的类只是简单地不搜索友元声明。