Giá trị vô hạn của PHP trong Bitwise Operations trả về các giá trị lạ

Question

Hôm nay tôi vừa khám phá thú vị trong khi kiểm tra những gì xảy ra khi tính toán bitwisely trong php như INF^0 (^ => Bitwise Operator for Exclusive OR (XOR)) giá trị âm trong hệ thống 64 bit.

Nhưng sau đó tôi đã hỏi bản thân mình: "Tại sao kết quả sẽ tiêu cực trong XOR khi 'infinit tích cực' có nghĩa là 9223372036854775807 (63 Bits trên 1 với một 0 hàng đầu) và 0 (64 Bits trên 0 =>0 xor 0 = 0) gì Mặc dù giá trị vô hạn của PHP là gì và giá trị âm là gì (đúng?) khi tôi sử dụng "cực âm" (A hàng đầu 1 đối với một số 0 hàng đầu trên 0 =>1 xor 0 = 1? ".

Một điểm thú vị khác là điều này chỉ xảy ra trên phiên bản PHP 5.5.9-1, và không ví dụ như trên 5.3.x. và 5.6.x (nơi tôi đã thử nghiệm nó)! Có thể ai đó có ý tưởng điều gì xảy ra ở đó? Thử nghiệm nó trên ba phiên bản nhưng chỉ mỏ (5.5.9-1) mang đến những kết quả:

Chỉ cần để cho các bạn biết, nó chỉ là một playaround trừu tượng tôi đã làm cho vui nhưng tôi thấy nó là hấp dẫn. Có lẽ ai đó có thể giúp đỡ ở đây hoặc giải thích cho tôi một ý nghĩ sai lầm tôi có? Chỉ cần cho tôi biết nếu ai đó cần thêm thông tin về bất cứ điều gì!

EDIT: Theo đó để jbafford nó sẽ là tuyệt vời để có được một answere hoàn chỉnh, vì vậy tôi sẽ chỉ trích ông: why does 5.5 and 5.6 result in PHP_INT_MIN, and everything else return 0?

Answer 1

Trước hết, ^ bản thân không phải là điều đặc biệt ở đây. Nếu bạn XOR bất cứ điều gì với số không, hoặc HOẶC bất cứ điều gì với số không, bạn chỉ cần lấy lại câu trả lời ban đầu. Những gì bạn thấy ở đây không phải là một phần của hoạt động, mà là những gì xảy ra trước khi hoạt động: các toán tử bitwise lấy các số nguyên, vì vậy PHP chuyển đổi float thành một số nguyên. Đó là trong chuyển đổi float-to-integer mà hành vi lạ xuất hiện, và nó không dành riêng cho các toán tử bitwise. Nó cũng xảy ra cho (int), ví dụ.

Tại sao nó tạo ra các kết quả lạ này? Đơn giản chỉ vì đó là những gì mã PHP PHP được viết trong khi tạo ra một float cho một số nguyên. Trong tiêu chuẩn C, hành vi của C đối với chuyển đổi float-to-integer là không xác định cho các giá trị đặc biệt INF, -INF và NAN (hoặc chính xác hơn, đối với "bộ phận tách rời" một số nguyên không thể đại diện: §6.3.1.4). Điều này undefined behaviour có nghĩa là trình biên dịch là miễn phí để làm bất cứ điều gì nó muốn. Nó chỉ xảy ra trong trường hợp này mã mà nó tạo ra tạo ra giá trị số nguyên tối thiểu ở đây, nhưng không có sự đảm bảo nào sẽ luôn xảy ra và nó không nhất quán trên các nền tảng hoặc trình biên dịch. Tại sao hành vi thay đổi giữa 5,4 và 5,5? Bởi vì mã PHP để chuyển đổi phao sang số nguyên changed to always perform a modulo conversion.Điều này cố định hành vi không xác định cho các số dấu phẩy động rất lớn, nhưng nó vẫn không kiểm tra các giá trị đặc biệt, vì vậy trong trường hợp đó nó vẫn tạo ra hành vi không xác định, chỉ hơi khác thời gian này.

Trong PHP 7, tôi quyết định dọn dẹp khu vực này của hành vi của PHP với Integer Semantics RFC, mà làm cho séc PHP cho các giá trị đặc biệt (INF, -INF và NAN) và chuyển đổi một cách nhất quán: họ luôn luôn chuyển đổi để nguyên 0. Không còn hành vi không xác định tại nơi làm việc ở đây.

---

Ví dụ, một chương trình thử nghiệm tôi đã viết trong C để cố gắng chuyển đổi Infinity thành một số nguyên (đặc biệt là một C long) có kết quả khác nhau trên 32-bit và 64-bit được xây dựng. Bản dựng 64 bit luôn sản xuất -9223372036854775808, giá trị số nguyên tối thiểu, trong khi bản dựng 32 bit luôn tạo ra 0. Hành vi này giống với GCC và clang, vì vậy tôi đoán cả hai đều sản xuất mã máy rất giống nhau.

Nếu bạn đã cố gắng để chuyển đổi một phao để một số nguyên, và giá trị của phao đó là quá lớn để vừa trong một số nguyên (ví dụ PHP_INT_MAX * 2, hoặc PHP_INT_MIN * 2), kết quả là không xác định. PHP 5.5 làm cho kết quả phù hợp, mặc dù không trực quan (nó hoạt động nếu phao được chuyển đổi thành một số nguyên rất lớn, và các bit quan trọng nhất đã bị loại bỏ).

Answer 2

bạn float(INF) được ngầm Casted đến một Integer.

và XOR bằng 0 không thay đổi tham số đầu tiên. Vì vậy, về cơ bản đây chỉ là một diễn viên từ float đến int mà là undefined cho các giá trị mà không phải là trong phạm vi số nguyên. (Cho tất cả các giá trị khác sẽ bị cắt bớt đối với zero)

https://3v4l.org/52bA5