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

'sizeoftrick'を使用してこの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 ++テンプレートメタプログラミングの本で詳細を見つけることができます）。むしろ、問題は、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 に答える