Chuyển tiếp hoàn hảo trong D?

Question

tl; dr: Bạn làm cách nào để thực hiện perfect forwarding trong D?

---

Liên kết này có một lời giải thích tuyệt vời, nhưng ví dụ, giả sử tôi có phương pháp này:

void foo(T)(in int a, out int b, ref int c, scope int delegate(ref const(T)) d) 
    const nothrow 
{ 
} 

Làm thế nào để tạo ra một phương pháp khác, bar(), có thể được gọi là thay foo(), mà sau đó gọi foo() "hoàn hảo" (nghĩa là không giới thiệu các vấn đề biên dịch/phạm vi/v.v. tại trang web gọi điện)?

Cách tiếp cận ngây thơ

auto bar(T...)(T args) 
{ 
    writeln("foo() intercepted!"); 
    return foo(args); 
} 

tất nhiên không hoạt động bởi vì nó không xử lý các ref, in, out, inout, các const -ness của phương pháp này, pure -ity, nothrow, vv ... và nó cũng giới hạn cách các giá trị có thể được sử dụng với giá trị r.

Và tôi không biết cách xử lý những trường hợp có thể xảy ra ... bất kỳ ý tưởng nào?

Answer 1

cách tiếp cận ngây thơ của bạn có thể được cải thiện khi, mặc dù nó vẫn chưa hoàn hảo:

auto ref bar(T...)(auto ref T args) 
{ 
    writeln("foo() intercepted!"); 
    return foo(args); 
} 

Bây giờ vấn đề chỉ là scope đối số.