関数の引数依存名の参照 (Koenig 参照)
コンパイラは、引数依存の名前検索を使用して、非限定の関数呼び出しの定義を検索できます。 引数依存の名前検索は Koenig 検索とも呼ばれます。 関数呼び出しの各引数の型は、名前空間、クラス、構造体、共用体、またはテンプレートの階層内で定義されます。 非限定の後置関数呼び出しを指定すると、各引数型に関連付けられている階層内で関数定義が検索されます。
例
このサンプルでは、f() 関数は x 引数を受け取ります。 x 引数は A::X 型であり、これは A 名前空間で定義されています。 コンパイラは A 名前空間を検索し、A::X 型の引数を受け取る f() 関数の定義を見つけます。
// argument_dependent_name_koenig_lookup_on_functions.cpp
namespace A
{
struct X
{
};
void f(const X&)
{
}
}
int main()
{
// The compiler finds A::f() in namespace A, which is where
// the type of argument x is defined. The type of x is A::X.
A::X x;
f(x);
}