Dlaczego Argument Dependent Lookup nie działa z szablonem funkcji dynamic_pointer_cast

Question

Rozważmy następujący program w C++

#include <memory> 

struct A {}; 

struct B : A {}; 

int main() 
{ 
    auto x = std::make_shared<A>(); 
    if (auto p = dynamic_pointer_cast<B>(x)); 
} 

Podczas kompilacji z MSVC 2010, I uzyskać następujący błąd:

error C2065: 'dynamic_pointer_cast' : undeclared identifier 

błąd nie ustępuje jeśli auto zostanie zastąpiony przez std::shared_ptr<A>. Kiedy w pełni kwalifikuję połączenie z std::dynamic_pointer_cast, program pomyślnie się kompiluje.

Również gcc 4.5.1 nie podoba albo:

error: 'dynamic_pointer_cast' was not declared in this scope 

Myślałem, że std::dynamic_pointer_cast zostałby wybrany przez Koenig lookup, od rodzaju x mieszka w przestrzeni nazw std. Czego tu mi brakuje?

Answer 1

myślę sekcja §14.8.1/6 (C++ 03, i myślę, że trzyma w C++ 11 również) ma zastosowanie w niniejszej sprawie, który brzmi jak

[Note: For simple function names, argument dependent lookup (3.4.2) applies even when the function name is not visible within the scope of the call. This is because the call still has the syntactic form of a function call (3.4.1). But when a function template with explicit template arguments is used, the call does not have the correct syntactic form unless there is a function template with that name visible at the point of the call. If no such name is visible, the call is not syntactically well-formed and argument-dependent lookup does not apply. If some such name is visible, argument dependent lookup applies and additional function templates may be found in other namespaces.

[Example:

namespace A { 
    struct B { }; 
    template<int X> void f(B); 
} 
namespace C { 
    template<class T> void f(T t); 
} 
void g(A::B b) { 
    f<3>(b); //ill-formed: not a function call 
    A::f<3>(b); //well-formed 
    C::f<3>(b); //ill-formed; argument dependent lookup 
       // applies only to unqualified names 

    using C::f; 
    f<3>(b); //well-formed because C::f is visible; then 
       // A::f is found by argument dependent lookup 
} 

—end example] —end note]

Twój przypadek nie wyzwalacza ADL, ponieważ jawnie przekazano argument szablonu i nie ma szablonu o tej samej nazwie dostępnego w witrynie, na której wywoływana jest nazwa dynamic_pointer_cast.

Jeden trick, aby umożliwić ADL jest dodanie obojętne szablon z samym nazwy w kodzie, jak pokazano poniżej:

#include <memory> 

struct A {}; 

struct B : A {}; 

template<int> //template parameter could be anything! 
void dynamic_pointer_cast(); //ADD this. NO NEED TO DEFINE IT 

int main() 
{ 
    auto x = std::make_shared<A>(); 
    if (auto p = dynamic_pointer_cast<B>(x)); //now it should work through ADL 
} 

Answer 2

Koenig odnośników odnosi się tylko do znalezienia funkcji. W tym przypadku najpierw musisz znaleźć szablon, a następnie utworzyć jego instancję, zanim uzyskasz funkcję. Aby po prostu przeanalizować kod, kompilator musi wiedzieć, że szablon to dynamic_pointer_cast (inaczej "<" jest mniejsze niż, a nie początek listy szablonów); dopóki kompilator nie wie, że dynamic_pointer_cast jest szablonem funkcji, to nawet nie wie, że chodzi o wywołanie funkcji. Wyrażenie, które widzi, to w zasadzie a <b> c, gdzie < i > są operatorami relacyjnymi.