Trả lại loại khấu trừ trong C++ 14

Question

Tôi vừa đọc về tính năng mới có tên là "khấu trừ kiểu trả về" có sẵn trong C++ 14 và tôi có câu hỏi về đệ quy trong hàm của kiểu đó. Tôi đã học được rằng sự trở lại đầu tiên trong hàm đó phải cho phép suy ra kiểu trả về.

Các ví dụ do Wiki cung cấp hoàn toàn đáp ứng quy tắc đó.

auto Correct(int i) { 
    if (i == 1) 
    return i;    // return type deduced as int 
    else 
    return Correct(i-1)+i; // ok to call it now 
} 

auto Wrong(int i) { 
    if (i != 1) 
    return Wrong(i-1)+i; // Too soon to call this. No prior return statement. 
    else 
    return i;    // return type deduced as int 
} 

Câu hỏi của tôi là: Tại sao khi tôi đã thay đổi Wrong(int i)-Wrong(auto i), Wrong chức năng bắt đầu để biên dịch? Điều gì ẩn sau sự thay đổi nhỏ này?

Answer 1

Tôi tin rằng đây là lỗi trong việc triển khai phần mở rộng của GCC đối với C++ 14 auto. Đây là một chương trình mà dường như được thiết kế để làm việc:

auto f(auto i) { 
    return ""; 
} 

int main() { 
    const char *s = f(1); 
    return 0; 
} 

Nó không làm việc, nó không thành công với "lỗi: chuyển đổi không hợp lệ từ 'int' thành 'const char *'" vì GCC xác định, đối với một số lý do, rằng kiểu trả về phải giống với kiểu tham số.

Lỗi tương tự đó có thể làm cho mã bị từ chối, chẳng hạn như những gì trong câu hỏi của bạn, biên dịch mà không có vấn đề gì.

Tất nhiên, lỗi này không ảnh hưởng đến sự phù hợp, vì không có chương trình C++ 14 hợp lệ nào có thể sử dụng các tham số auto bên ngoài lambdas.

Nó xảy ra đã được báo cáo khoảng một tuần trước để các nhà phát triển GCC như bug #64969, như là kết quả của another question on SO about it.