ADL 找不到重载函数

ADL cannot find overloaded function

本文关键字：函数重载找不到 ADL 更新时间：2023-10-16

template<typename T>
struct S
{
bool valid(T a)
{ return is_valid(a); }
};
bool is_valid(int)
{ return true; }
int main()
{
S<int> s;
s.valid(0);
}

VS 编译此示例很好，而 GCC 说：

错误："is_valid"未在此范围内声明，并且没有声明在实例化点通过依赖于参数的查找找到 [-允许]

我不确定为什么 ADL 找不到bool is_valid(int)，因为它在S<int> s实例化之前定义。我想这是正确的行为，因为Clang也说了同样的话。所以我试图添加

template<typename T>
bool is_valid(T);

一开始使用函数重载，现在Godbolt通过Clang或GCC编译它，而不是本地GCC编译或Ideone。

在这种情况下，如何使用 ADL 在模板声明 (GCC( 后提供函数定义？奖励：为什么 Godbolt 编译最后一个样本？

溶液：

多亏了公认的答案，我发现问题在于 ADL 专门处理基元类型。这帮助我最终得到了以下解决方案，该解决方案使用模板化函数的前向声明，该函数可以重载用户定义的类型或专门用于基元类型。

template<typename T>
bool is_valid(T);
template<typename T>
struct S
{
bool valid(T a)
{ return is_valid(a); }
};
template<>
bool is_valid<int>(int)
{ return true; }
struct User_data
{};
bool is_valid(User_data)
{ return true; }
int main()
{
S<int> s_primitive;
s_primitive.valid(0);
S<User_data> s_user_data;
s_user_data.valid(User_data{});
}

魔杖盒

解决方案是转发声明is_valid(int)：

bool is_valid(int);
template<typename T>
struct S
{
bool valid(T a)
{ return is_valid(a); }
};

基本类型(如int(的ADL生成一组空的命名空间和类来考虑，因此当您将0传递到S::valid时，您不会引入外部is_valid(int)。前向声明有效地让模板知道函数的存在。

关于你在Godbolt中看到的行为...编译器资源管理器必须完成一些额外的工作，因为据称它使用的相同 gcc 和 clang 版本不适用于任何其他编译器(如 Wandbox(

如果你真的希望 ADL 工作，那么你需要修改自由函数is_valid以便 ADL 是一个选项。我的建议是声明一个与所有自由浮动is_valid函数ADL_Helper相同范围的帮助程序结构，然后S::is_valid将传递一个实例：

struct ADL_Helper{};
template<typename T>
struct S
{
bool valid(T a)
{ return is_valid(a, ADL_Helper{}); }
};
bool is_valid(int, ADL_Helper)
{ return true; }
int main()
{
S<int> s;
s.valid(0);
}

ADL 找不到重载函数

ADL cannot find overloaded function

溶液：

演示