Modulo operatore (%) dà risultati divergenti

Question

Dato questo esempio:

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 

sostanzialmente in entrambe le istruzioni im elaborazione -1% 3, ma le uscite compilatore numeri differenti. Non capisco questo risultato, forse qualcuno può spiegarmelo.

edit: come @ Chris, @ Keith Thompson @AnT suggerito il frammento di

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

stampe i risultati attesi. Grazie per l'utile consiglio a tutti!

Answer 1

i % 3 è ciò che ci si aspetta e, poiché C++ 11, ha definito la semantica piuttosto che avere un risultato definito dall'implementazione (se ricordo correttamente).

numbers.size() ha un tipo senza segno (std::size_t). Supponendo che size_t sia grande come int o superiore, i viene convertito nello stesso tipo senza segno prima che l'operazione venga eseguita. Il valore i ottiene sarà il valore massimo per quel tipo, che sembra essere divisibile per 3 per te.

Answer 2

Il problema è% di numeri negativi non è ben definito in C++.