引数依存ルックアップがデフォルト引数で機能しないのはなぜですか？

Question

私はADLをトリガーするデフォルトの引数を期待して次のコードを書いています。それは（私は代わりにコンパイラのエラーを持っていません）。
ADLをトリガするために明示的な引数が必要ですか？

#include <iostream> 

namespace sheldon 
{ 
    enum FLAG{ USA , UK , EU }; 

    void fun(FLAG f = USA) 
    { 
     std::cout << "Fun with flags!" << std::endl; 
    } 
} 

int main() 
{ 
    fun(); // Does not compile 
    // fun(sheldon::USA); // compiles 
} 

Answer 1

ADLは唯一の名前空間は、その内容を単離するのに無用になるだろう、そうでないものは本当に恐ろしいだろう、あなたはそれを与える引数で動作します。
はあなたにもこれがあれば何が起こるかを考える：

namespace fun { 
    struct tag {}; 
    void fun(tag = {}) 
    { 
     std::cout << "Fun with tags!" << std::endl; 
    } 
} 

我々はフラグまたはタグと楽しみましょうか

Answer 2

コンパイラが関数呼び出し式を検出すると、コンパイラは呼び出し可能な関数のオーバーロードセットを作成し、オーバーロード解決を実行します。 ADLは過負荷セット生成の一部です。この文に来るとき
は今、：

fun(); 

まず、それが可能な過負荷のためのグローバル名前空間に見えます。そしてそれは誰も見つけません。
その後、がに渡された引数に基づいてADLを実行しますが、引数は渡しませんでした。
したがって、オーバーロードセットは空です。

Answer 3

次の関数の呼び出し：

fun(); 

は引数が含まれていないので、それは引数依存ルックアップを引き起こす可能性が方法はありません。

明確にするために、「引数」は、関数が呼び出されたときに渡される実際の値/参照を参照します。「パラメータ」は、関数が宣言で指定する名前/型です。