Tại sao mô-đun được định nghĩa theo cách nó được viết bằng ngôn ngữ lập trình

Question

Tôi không hỏi về định nghĩa mà là lý do tại sao người tạo ngôn ngữ chọn xác định mô đun với hành vi bất đối xứng trong C++. (Tôi nghĩ Java cũng vậy)

Giả sử tôi muốn tìm số nhỏ nhất lớn hơn hoặc bằng n chia hết cho f.

Nếu n là tích cực, sau đó tôi làm:

if(n % f) 
    ans = n + f - n % f; 

Nếu n là số âm:

ans = n - n % f; 

Rõ ràng, định nghĩa này không phải là thích hợp nhất khi giao dịch với số âm và dương. Vậy tại sao nó được định nghĩa như thế này? Trong trường hợp nào nó mang lại hiệu quả?

Answer 1

Vì sử dụng "số học modulo 2", trong đó mỗi chữ số nhị phân được xử lý độc lập với nhau. Xem ví dụ về "phân chia" here

Answer 2

Bạn đang nhầm lẫn. Khi n là tiêu cực, C++ cho phép kết quả của các nhà điều hành mô đun để thể là tiêu cực hay tích cực chừng nào các kết quả từ % và / phù hợp, vì vậy đối với bất kỳ trao a và b, khái niệm (a/b)*b + a%b sẽ luôn mang lại a. C99 yêu cầu kết quả của a % b sẽ có cùng ký hiệu là a. Một số ngôn ngữ khác (ví dụ: Python) yêu cầu rằng dấu hiệu của a % b có cùng ký hiệu là b.

Điều này có nghĩa là cụm từ bạn đã đưa ra cho số âm n không thực sự bắt buộc để hoạt động trong C++. Khi/nếu n%f mang lại một số dương (mặc dù n là số âm), số này sẽ cho số ans nhỏ hơn n.