0

我有一个关于 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

我有一个特征类，它使用“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);    
};

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

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

或者，我创建一个带有 DoSomething 函数声明的虚拟类：

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

并将其（直接或通过 Dummy.h）包含到 HasDoSomething.h 中。通过强制#includes的顺序或插入冗余代码来启动ADL查找似乎并不理想，所以我误解了什么或做错了什么？

4

1 回答 1

1

ADL 仅用于确定函数调用的重载集。
在编译器可以做到这一点之前，它必须首先确定这是一个函数调用，方法是进行正常的名称查找并找到一个函数。

于 2013-01-20T15:16:26.883 回答