Brak ADL wewnątrz decltype na VS2012

Question

Właśnie sobie sprawę, że próby uzyskania typu zwrotu funkcji przez decltype nie obejmuje ADL (wyszukiwanie zależne od argumentu) na VS2012 (testowane przy użyciu cl.exe V17.00.60610.1).

Poniższy przykład

#include <stdio.h> 
#include <typeinfo> 

namespace A { 
    int Func(void const *) { 
    printf("A::Func(void const *)\n"); 
    return 0; 
    } 

    template <typename T> void Do(T const &t) { 
    Func(&t); 
    } 
    template <typename T> void PrintType(T const &t) { 
    printf("Type: %s\n", typeid(decltype(Func(&t))).name()); 
    } 
} 

namespace B { 
    struct XX { }; 
    float Func(XX const *) { 
    printf("B::Func(XX const *)\n"); 
    return 0.0f; 
    } 
} 


int main(int argc, char **argv) { 
    B::XX xx; 
    A::Do(xx); 
    A::PrintType(xx); 
    return 0; 
} 

Daje

B::Func(XX const *) 
Type: int 

na VS2012

ale (co jest spodziewane):

B::Func(XX const *) 
Type: f 

na gcc 4.7.3.

Tak więc funkcja ADL działa podczas wywoływania funkcji (wiersz 1 na wyjściu), ale nie w przypadku użycia wewnątrz typu decltype w VS2012.

A może brakuje mi jakiegoś innego punktu?

Answer 1

Minimalny przypadek testowy jest:

namespace N 
{ 
    struct C {}; 

    C f(C) {}; 
} 

N::C c1; 

decltype(f(c1)) c2; 

Jeśli kompilator nie obsługuje ADL wewnątrz decltype, to powyższe nie będzie skompilować.

Powiedziano mi, że kompiluje, więc może to interakcja między ADL i instancją szablonów jest problemem.

Answer 2

Jeśli okaże się to zabawne, to IDE/Intellisense wydaje się poprawnie sprawdzać, ale kompilator tego nie robi.

W tym przykładzie brak błędów intellisense i wyświetlenie a na typ size_t po najechaniu nim.

Kompilator zatrzymuje się na Error C2182 i narzeka na zmienną typu void. Wydaje się, że jest to problem niezależny od szablonów.