c++ - C++ 中的参数相关查找

Question

这是如何运作的？与ADL有关吗？

#include <iostream>

template <typename T>
struct A
{
    friend void f(T x)
    {
        std::cout << "A\n";
    }
};

int main()
{
    f(new A<void*>());
}

谁能告诉我为什么我不能使用类似的东西

f(A<int>());

Answer 1

f(new A<void*>());    

确实有效，因为 Argument dependent lookup/Koenig lookup (ADL)
Koenig Lookup 指出:

You don’t have to qualify the namespace(scope) for functions if one or more argument types are defined in the namespace of the function.

考虑一个 simplistic example不使用模板，它应该可以帮助您更好地理解 ADL 的工作原理:

#include <iostream>
struct A
{
    friend void f(A x)
    {
        std::cout << "A\n";
    }
};

int main()
{
    f(A());
    return 0;
}

输出:

A

当您使用 f(A<int>()) 时, 它要求 f()需要 int 类型的参数, 但您的结构不提供从 A 的任何转换至 int因此错误。

If you provide the appropriate conversion then it will work as well. Something like :

operator int(){return 1;}