引数依存の検索および関数テンプレート

Question

ここでは一例です：私はこのプログラムをコンパイルしようとしたとき

#include <string> 
#include <algorithm> 
#include <memory> 

using std::string; 

int main() 
{ 
    string str = "This is a string"; 

    // ok: needn't using declaration, ADL works 
    auto it = find(str.begin(), str.end(), 'i'); 

    // error: why ADL doesn't work? 
    std::shared_ptr<string> sp = make_shared<string>(str); 
} 

は、コンパイラが訴え：

error: no template named 'make_shared'; did you mean 'std::make_shared'? 
     std::shared_ptr<string> sp = make_shared<string>(str); // error... 
            ^~~~~~~~~~~ 
            std::make_shared 

私は最初の関数findにはないと思います引数に依存する検索（ADL）のため、using宣言が必要です。コンパイラは、stringが存在するネームスペース（つまり、std）を検索し、find。しかし、2番目の関数make_sharedでは、ADLが機能しないようです。代わりにstd::make_sharedまたはusing宣言を使用する必要があります。私は2つの関数テンプレートの定義が異なっている知っている：前者は関数のパラメータ型としてそのテンプレート偶然にの1（typename Tまたはそのような何かを）取り、同じ型を返します。後者は、関数パラメータパックを関数パラメータとして取り込み、その戻り値の型は別のテンプレートパラメータです。この違いはADLを無効にしますか？あるいは、その質問に答えるのを手伝って、参考文献を提供することができますか？

Answer 1

引数依存ルックアップは、未修飾の関数呼び出し式で機能します。これは、関数テンプレートの特殊化だけでなく、「通常の」関数にも当てはまります。

foo<3>(x) // "foo less than three?" 

な場合は、ADLを誘発しない理由です：あなたはテンプレート関数の明示的なテンプレートパラメータを提供する際

しかし、その後、式が構文的に関数呼び出しのようには見えません。しかし、一旦名前がと知られていれば、がテンプレートになると、ADLが適用されます！

template <int> void foo(); 

foo<double, 5, T>(x); // uses ADL 

Answer 2

テンプレートメソッドでは、明示的にテンプレートの引数を<>と指定しても、スコープ内に（同じ名前の）表示可能なテンプレートメソッドがある場合を除き、ADLは使用されません。