Không so sánh với ngắn mạch Math.Min hay Math.Max?

Question

Khi so sánh với tối thiểu hoặc tối đa hai số/chức năng, C# có ngắn mạch nếu trường hợp này đúng với trường hợp đầu tiên và có ngụ ý sự thật cho số thứ hai không? Ví dụ cụ thể các trường hợp này là

if(x < Math.Max(y, z())) 

và

if(x > Math.Min(y, z())) 

Kể từ Math.Max(y, z()) sẽ trả về một giá trị ít nhất là lớn như y, nếu x < y thì không có nhu cầu để đánh giá z(), mà có thể mất một lúc. Tình huống tương tự với Math.Min.

Tôi nhận ra rằng những thể cả hai được viết lại dọc theo dòng của

if(x < y || x < z()) 

để ngắn mạch, nhưng tôi nghĩ rằng đó là rõ ràng hơn những gì mà so sánh là không viết lại. Điều này có ngắn mạch không?

Answer 1

Như những người khác đã chỉ ra, trình biên dịch không biết gì về ngữ nghĩa của Min hoặc Max cho phép nó phá vỡ quy tắc mà đối số được đánh giá trước khi phương thức được gọi.

Nếu bạn muốn viết của riêng bạn, bạn có thể làm như vậy một cách dễ dàng đủ:

static bool LazyLessThan(int x, int y, Func<int> z) 
{ 
    return x < y || x < z(); 
} 

và sau đó gọi nó

if (LazyLessThan(x, y, z)) 

hoặc

if (LazyLessThan(x, y,()=>z())) 

Hoặc cho rằng vấn đề:

static bool LazyRelation<T>(T x, T y, Func<T> z, Func<T, T, bool> relation) 
{ 
    return relation(x, y) || relation(x, z()); 
} 
... 
if (LazyRelation(x, y,()=>z, (a,b)=> a < b))) 

Answer 2

Không, không ngắn mạch và z() sẽ luôn được đánh giá. Nếu bạn muốn các hành vi ngắn mạch bạn nên viết lại như bạn đã làm.

Answer 3

Không, nó không ngắn mạch, ít nhất là ở mức trình biên dịch C#. Math.Min hoặc Math.Max là hai cuộc gọi phương thức tĩnh thông thường và trình biên dịch sẽ không tối ưu hóa theo nghĩa đó.

Trình tự đánh giá của mã sẽ là: z(), Math.max, x> ...

Nếu bạn thực sự muốn chắc chắn, hãy kiểm tra mã IL.

Answer 4

Math.Min() và Math.Max() là các phương pháp giống như bất kỳ phương pháp nào khác. Chúng phải được đánh giá để trả về giá trị sẽ được sử dụng làm đối số thứ hai trong so sánh. Nếu bạn muốn ngắn mạch sau đó bạn sẽ phải viết điều kiện bằng cách sử dụng các nhà điều hành || như bạn đã chứng minh.

Answer 5

(Không có gì đặc biệt mới để thêm, nhưng tôi figured tôi muốn chia sẻ kết quả của một thử nghiệm tôi chạy trên nó.)

Math.max() có thể dễ dàng được inlined bởi just-in-time trình biên dịch của CLR và từ đó tôi đã tò mò liệu nó có thể tiếp tục tối ưu hóa mã theo cách mà nó được lưu thông ngắn hay không.

Vì vậy, tôi đã đánh dấu một microbenchmark đánh giá hai biểu thức 1.000.000 lần mỗi lần. Đối với z(), tôi đã sử dụng một hàm tính Fib (15) sử dụng phương thức đệ quy. Đây là kết quả của việc chạy hai:

x < Math.Max(y, z()) : 8097 ms 
x < y || x < z()  :  29 ms 

Tôi đoán CLR sẽ không chuyển đổi mã theo bất kỳ cách nào ngăn chặn cuộc gọi phương thức thực thi, vì nó không biết (và không kiểm tra để xem liệu) thói quen có bất kỳ tác dụng phụ nào không.