Modulo điều hành (%) cho kết quả khác nhau

Question

Với Ví dụ này:

std::vector<int> numbers = {5,6,7}; //size is 3 
int i = -1; 
std::cout << i % 3 <<"\n";     // output: -1 
std::cout << i % numbers.size() << "\n"; // output: 0 

cơ bản trong cả hai câu lệnh im chế biến -1% 3 nhưng kết quả đầu ra trình biên dịch số khác nhau. Tôi không hiểu kết quả này, có lẽ ai đó có thể giải thích cho tôi.

chỉnh sửa: như @ Chris, @ Keith Thompson @AnT đề nghị đoạn

std::cout << std::numeric_limits<std::size_t>::max() % 3 <<"\n";  //output: 0 
std::cout << i % numbers.size() << "\n";       // output: 0 

in sản lượng dự kiến. Cảm ơn lời khuyên hữu ích dành cho tất cả mọi người!

Answer 1

i % 3 là những gì bạn mong đợi và, vì C++ 11, đã xác định ngữ nghĩa thay vì có kết quả được xác định thực hiện (nếu tôi nhớ chính xác).

numbers.size() có loại không dấu (std::size_t). Giả sử size_t lớn bằng int hoặc lớn hơn, i được chuyển đổi thành cùng một loại chưa ký trước khi thao tác được thực hiện. Giá trị i sẽ là giá trị tối đa cho loại đó, có vẻ chia hết cho 3 cho bạn.

Answer 2

Vấn đề là% số âm không được xác định rõ trong C++.