C# biên dịch với đuôi đệ quy tối ưu hóa?

Question

Dựa trên sự giàu có phong phú của stackoverflow, tôi đã nhận được và tắt câu trả lời về việc liệu đuôi đệ quy tối ưu hóa được thực hiện để cụ thể C# mã. Một vài trong số các câu hỏi xuất hiện để nói về

1. Đầu cơ của việc tối ưu hóa trong các phiên bản mới hơn của .net mà đã được phát hành
2. ứng dụng xây dựng như một ứng dụng x64bit để đạt được tối ưu hóa
3. Chuyển từ một debug xây dựng để phát hành bản dựng trong Visual Studio để đạt được tối ưu hóa
4. Không tối ưu hóa và cộng đồng microsoft đã tuyên bố rằng họ sẽ không tối ưu hóa đệ quy cho "vấn đề bảo mật" (không thực sự hiểu điều này)
5. Nó vui vẻ ns theo ngẫu nhiên

Vì vậy, với C# 4.0 (Visual Studio 2013/2015) làm cách nào để đảm bảo tối ưu hóa đệ quy đuôi nếu người dùng có thể đảm bảo tính năng này?

Answer 1

Có các cấp độ khác nhau để tối ưu hóa cuộc gọi đuôi có thể được hỗ trợ. JIT thực sự chịu trách nhiệm cho rất nhiều tối ưu hóa xảy ra. Bản thân trình biên dịch C# thậm chí còn không làm phương thức nội tuyến, đó là trách nhiệm của trình biên dịch JIT. Trình biên dịch C# có thể sử dụng các Tailcall IL opcode chỉ định một cuộc gọi như một cuộc gọi đuôi, tuy nhiên tôi tin rằng không có phiên bản nào của trình biên dịch C# thực hiện điều này. Trình biên dịch JIT được phép thực hiện tối ưu hóa cuộc gọi đuôi bất cứ khi nào nó thấy phù hợp. Đặc biệt, tôi tin rằng chỉ có JIT 64-bit thực hiện điều này. Điều này blog post phác thảo một số kịch bản trong đó JIT64 không thể sử dụng tối ưu hóa cuộc gọi đuôi. Tôi chắc chắn rằng các tiêu chí có thể thay đổi kể từ khi họ đang làm việc trên một viết lại của trình biên dịch JIT, có tên mã là RyuJIT.

Nếu bạn muốn có một ví dụ ngắn của chương trình đó có thể sử dụng TCO thử điều này:

class Program 
{ 
    static void Main(string[] args) 
    { 
     Test(1); 
    } 

    private static void Test(int i) 
    { 
     Console.WriteLine(i); 
     Test(i + 1); 
    } 
} 

Đặt Dự án xây dựng phát hành/x64 (hoặc AnyCPU w/o thích 32-bit) và bắt đầu mà không có sự debugger đính kèm. Chương trình sẽ chạy mãi mãi. Nếu tôi không làm tất cả những điều đó, thì tôi sẽ nhận được ngoại lệ stackoverflow khoảng 20947.