chế biến các chức năng template uninstantiated

Question

Các mã sau biên dịch trong Visual C++ 2013 nhưng không thuộc G ++ 4.8.2:

template<class T> 
int MyFunc(T& t) 
{ 
    return static_cast<int>(CCodes::blah); 
} 

template<> 
int MyFunc(float& t) 
{ 
    return 0; 
} 

int main() { 
    float f = 10.f; 
    return MyFunc(f); 
} 

Visual C++ dường như bỏ qua chức năng mẫu chung bởi vì chỉ có sự chuyên môn hóa MyFunc<float> được sử dụng. G ++ phân tích cú pháp hàm chung và các điểm mà liệt kê CCodes chưa được xác định.

Điều gì là đúng? Hoặc là điều này được xác định thực hiện?

Answer 1

GCC là chính xác và mọi trình biên dịch khác ngoài MSVC cũng sẽ thực hiện tương tự.

Đây là lỗi chính, xuất hiện trên một lộ trình tương lai của MSVC. Đó là trong thể loại "tương lai xa". Họ sẽ phải viết lại công cụ mẫu của họ để sửa nó.

Có một dòng lập luận rằng chẩn đoán mẫu không đúng định dạng là tùy chọn, bởi vì nó thực sự là một mẫu không có sự khởi tạo đúng ngữ cảnh và không bắt buộc phải gắn cờ. Tuy nhiên,

1. Tiêu chuẩn yêu cầu mẫu phải được phân tích cú pháp và không phân tích cú pháp phải được chẩn đoán bất kể diễn giải.
2. Mỗi trình biên dịch khác đều đưa ra chẩn đoán, do đó, không có hiệu quả làm như vậy dẫn người dùng MSVC tạo mã không thể chuyển đổi. Khiếu nại là một ý tưởng thực sự tốt, ngay cả khi nó không được yêu cầu.