Question

我有一个问题，关于ADL在一般情况下如何找到类型。具体来说，我有一些“通用”代码，我需要在编译时检查是否存在应该由ADL找到的函数。例如：

#include "MyClass.h"
struct MyClass
{
    friend inline void DoSomething(MyClass& first, MyClass& second){} 
}

MyClass a, b;
DoSomething(a,b); //DoSomething in MyClass will be found by ADL

我有一个trait类，它使用'sizeof技巧'来检查这个ADL函数是否存在：

//HasDoSomething.h
//type trait to check whether a type has a DoSomething function defined 
template<typename T>                                
struct has_doSomething
{                                                      
    typedef char yes;   
    typedef char (&no)[2];

    //SFINAE eliminates this when the type is invalid
    template <typename U, U> 
    struct Check; 

    template <typename U> 
    static yes Tester(Check<void(*)(U&, U&), &DoSomething>*);

    //overload resolution prefers anything at all over ...
    template <typename U> static no Tester(...);

    static bool const value = sizeof(Tester<T>(0)) == sizeof(yes);    
};

特征类/ sizeof技巧本身并不重要（你可以在C ++ Template Metaprogramming一书中找到详细信息，如果你感兴趣的话我可以从中提取它）。相反，问题是这种类型的特征不会编译，除非我在 #include一个（任意）类型的#include之后 定义了DoSomething，例如，

#include "MyClass.h" #include "HasDoSomething.h"

或者我使用DoSomething函数声明创建一个虚拟类：

struct DummyClass { public: friend inline void DoSomething(DummyClass&, DummyClass&); private: DummyClass(){} };

并将其（直接或通过Dummy.h）包含在HasDoSomething.h中。通过强制#includes命令或插入冗余代码来完成这样的ADL查找似乎并不理想，所以我误解了某些内容或做错了什么？

Answer 1

ADL仅用于确定函数调用的过载集。
在编译器可以做到这一点之前，它必须通过正常的名称查找和查找函数来确定首先是函数调用。

通过ADL从另一个函数调用函数

1 个答案: