Nessun ADL interno in decltype su VS2012

Question

Mi sono appena reso conto che il tentativo di ottenere il tipo di ritorno di una funzione tramite decltype non implica ADL (argomento-dipendente-ricerca) su VS2012 (testato utilizzando cl.exe V17.00.60610.1).

L'esempio seguente

#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; 
} 

Dà

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

su VS2012

ma (cosa ci si aspetta):

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

su gcc 4.7.3.

Quindi ADL funziona quando si chiama la funzione (riga 1 in uscita) ma non quando viene utilizzata all'interno di decltype su VS2012.

O mi manca qualche punto diverso?

Answer 1

Un test case minima è:

namespace N 
{ 
    struct C {}; 

    C f(C) {}; 
} 

N::C c1; 

decltype(f(c1)) c2; 

Se il compilatore non supporta ADL all'interno decltype, quindi quanto sopra vi non compilazione.

Mi è stato detto che viene compilato, quindi forse è l'interazione tra ADL e l'istanziazione del modello che è il problema.

Answer 2

Se trovi divertente che l'IDE/Intellisense sembra eseguire correttamente la ricerca ma il compilatore no.

Questo esempio non mostra errori intellisense e a viene visualizzato come di tipo size_t quando si passa il mouse su di esso.

#include <iostream> 
namespace A 
{ 
    struct C {}; 
    size_t f(C*) { return 5U; }; 
} 
namespace B 
{ 
    void f(void *) { }; 
    void f2 (A::C x) 
    { decltype(f(&x)) a; std::cout << typeid(a).name() << std::endl; } 
} 

int main (void) 
{ 
    A::C c; 
    B::f2(c); 
} 

Il compilatore ferma con Error C2182 e lamenta una variabile di tipo void. Sembra essere un problema indipendente dai modelli.