VS2012のdecltype内にADLがありません

Question

decltypeで関数の戻り値型を取得しようとすると、VS2012（cl.exe V17.00.60610.1を使用してテスト済み）にADL（引数依存ルックアップ）が含まれません。

次の例

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

が（予想されるもの）VS2012

に

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

を与えるが：GCC 4.7.3に

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

を。

したがって、ADLは関数を呼び出すときに機能しますが（出力の1行目）、VS2012のdecltypeの中で使用されているときは機能しません。

また、いくつかの相違点がありますか？

Answer 1

最小限のテストケースは、次のとおり

namespace N 
{ 
    struct C {}; 

    C f(C) {}; 
} 

N::C c1; 

decltype(f(c1)) c2; 

コンパイラはdecltype内部ADLをサポートしていない場合には、上記のコンパイルされません。

私はそれがコンパイルされていると言われているので、ADLとテンプレートのインスタンス化の間のやり取りが問題であるかもしれません。

Answer 2

IDE/Intellisenseがルックアップを正しく実行しているように見えるのは面白いが、コンパイラは正しく表示されない場合は、

この例では、インテリセンスエラーは表示されず、aは、ホバーするとsize_tと表示されます。

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

コンパイラはError C2182で終了し、void型の変数について不平を言います。 これはテンプレートに依存しない問題です。