Không có ADL bên trong decltype trên VS2012

Question

Tôi chỉ nhận ra rằng cố gắng để có được kiểu trả về của một hàm thông qua decltype không liên quan đến ADL (đối số phụ thuộc-tra cứu) trên VS2012 (thử nghiệm bằng cách sử dụng cl.exe V17.00.60610.1).

sau Ví dụ

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

Cho

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

trên VS2012

nhưng (những gì được dự kiến):

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

trên gcc 4.7.3.

Vì vậy, ADL hoạt động khi gọi hàm (dòng 1 ở đầu ra) nhưng không khi được sử dụng bên trong decltype trên VS2012.

Hoặc tôi có thiếu một số điểm khác nhau không?

Answer 1

Một trường hợp thử nghiệm tối thiểu là:

namespace N 
{ 
    struct C {}; 

    C f(C) {}; 
} 

N::C c1; 

decltype(f(c1)) c2; 

Nếu trình biên dịch không hỗ trợ ADL bên decltype, sau đó ở trên sẽ không biên dịch.

Tôi đã nói nó biên dịch, vì vậy có lẽ đó là sự tương tác giữa ADL và mẫu instantiation đó là vấn đề.

Answer 2

Nếu tìm thấy nó thú vị rằng IDE/Intellisense nào dường như làm tra cứu chính xác nhưng trình biên dịch thì không.

Ví dụ này không hiển thị lỗi intellisense và a được hiển thị là loại size_t khi di chuột lên.

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

Trình biên dịch dừng bằng Error C2182 và khiếu nại về một loại khoảng trống loại. Có vẻ như đó là vấn đề độc lập của mẫu.