Template tên tham số va chạm với phương pháp trong MSVC C++

Question

Sau đoạn không biên dịch trong MSVC C++ (2015, 2017):

template <typename Type> 
struct Base : public Type 
{ 
    Base(const Type & type) 
    : Type(type) 
    {} 
}; 

struct SomeType 
{ 
    int Type() { return 42; } 
}; 

struct Wrong : public Base<SomeType> 
{ 
    Wrong(const SomeType & type) 
    : Base<SomeType>(type) 
    {} 
}; 

SomeType some; 
Wrong wrong(some); 

Trình biên dịch được nhầm lẫn và giải thích cách gọi constructor Type với một cuộc gọi đến Type() phương pháp lớp tôi cố gắng xuất phát từ. Trình biên dịch GNU C++ không có vấn đề với mã.

Đổi tên đối số mẫu Nhập vào khai báo lớp cơ sở cho một thứ khác (không va chạm với bất kỳ phương thức nào của lớp cơ sở) giải quyết được sự cố. Thêm một số thứ như : (typename Type)(type) không giúp ích gì.

Đây có phải là lỗi trình biên dịch MSVC C++ không. Bất kỳ mẹo nào để giải quyết các loại vấn đề này?

Answer 1

Đây là lỗi trong MSVC++. Tra cứu hai pha yêu cầu Type để được giải quyết là tên của thông số mẫu và một cơ sở, trong mẫu định nghĩa!

Thực tế có thành viên như vậy tại thời điểm khởi tạo không được can thiệp. Khi các mẫu được triển khai đúng, nó không giống như bạn đã lưu ý với GCC.

Nhưng Microsoft đã không triển khai chính xác until recently. Trong quá trình triển khai, một mẫu hoạt động giống macro hơn, đó là nguyên nhân gây ra lỗi.