如何修复 gcc 警告"friend declaration declares a non-template function"

Question

所以我这里有一些代码可以用gcc、clang和msvc:编译

#include <cstdio>
#include <type_traits>
struct c_class;
template <class T> struct holder { friend auto adl_lookup(holder<T>); };
template <class C, class T> struct lookup {
friend auto adl_lookup(holder<T>) { return holder<C>{}; }
};
struct cpp_class : lookup<cpp_class, c_class *> {
cpp_class() {}
};
int main() {
static_assert(std::is_same<holder<cpp_class>,
decltype(adl_lookup(holder<c_class *>{}))>{},
"Failed");
}

CCD_ 1被定义在CCD_ 2类而不是CCD_；反向"；从CRTP类lookup<cpp_class, c_class *>继承时从c_class查找到cpp_class。因此，friend函数不能移动到holder类中。

然而，在gcc上，我收到了关于非模板朋友函数的警告：

<source>:9:37: warning: friend declaration 'auto adl_lookup(holder<T>)' declares a non-template function [-Wnon-template-friend]
9 |     friend auto adl_lookup(holder<T>);
|                                     ^
<source>:9:37: note: (if this is not what you intended, make sure the function template has already been declared and add '<>' after the function name here)

如果我试图通过前向声明函数然后使用<>来解决这个问题，它不会用gcc或msvc编译(尽管它确实用clang编译(：

#include <cstdio>
#include <type_traits>
struct c_class;
template <class T> struct holder;
template <class T> auto adl_lookup(const holder<T> &);
template <class T> struct holder {};
template <class C, class T> struct lookup {
friend auto adl_lookup<>(const holder<T> &) { return holder<C>{}; }
};
struct cpp_class : lookup<cpp_class, c_class *> {
cpp_class() {}
};
int main() {
static_assert(std::is_same<holder<cpp_class>,
decltype(adl_lookup(holder<c_class *>{}))>{},
"Failed");
}

我在这里(在两个代码段中(使用了符合标准的C++吗？有没有理由担心gcc关于非模板朋友的警告，或者这只是一个我可以放心忽略的假阳性？

Answer 1

第二个代码段格式错误，因为friend声明不能是模板专用化的定义。这里有一个接受这一点的开放的clang bug报告。

第一个对我来说似乎是有效的。

GCC发出的警告很烦人，因为将非模板函数定义为friend正是您想要做的。不幸的是，我不认为有任何方法可以在代码中表明这确实是您想要做的，但您可以使用adl_lookup0禁用警告。根据文件，它是出于历史原因而存在的，目的是确定ISO-C++之前的兼容性问题，其中语法有不同的含义。

您应该意识到，使用这种友元注入来实现有状态元编程的能力可能被认为是该语言的意外特性，并且可能(我不知道(在未来的某个时候受到限制，请参阅这个问题。

Answer 2

这是一个常见的错误，因为使用if (var = foo())而不是if (var == foo())，即使代码是合法的。

而添加额外的父母允许"；通知"；意图编译器是=/==情况下所期望的编译器。

if ((var = foo()))

没有任何技巧语法可以说明它实际上是一个您想要使用的非模板函数。

对于给定的编译器，仍然有传统的#pragma方法可以在特定区域禁用警告(请参阅如何禁用cc-warnings以获得少量代码(