Perché la seconda variabile è passata come riferimento e const

Question

Perché non è passato first come riferimento e const?

template <typename Iterator> 
    int distance(Iterator first, const Iterator & last) { 
    int count; 
    for (; first != last; first++) 
     count++; 
    return count; 
} 

Answer 1

Non può essere const perché viene incrementato all'interno della funzione, e non è passato per riferimento perché probabilmente non ha senso di farlo per il chiamante.

Inoltre, se fosse un riferimento non const, non sarebbe possibile utilizzare un temporaneo. Ad esempio, non sarebbe possibile farlo:

std::vector<int> v{ 1, 2, 3, 4 }; 
auto distance = std::distance(v.begin(), v.end()); 

Answer 2

Perché è cambiato all'interno della funzione, quindi non può essere const. Tuttavia, non vorresti che il suo stato (il suo valore) cambiasse al di fuori della funzione, quindi viene passato per valore (non di riferimento).

Answer 3

Perché se non vogliamo modificare il valore del chiamante dovremmo comunque creare una copia.

Answer 4

Una domanda migliore è per questo che il secondo argomento viene passato per riferimento const, dal momento che la firma definita nello standard è:

template <typename Iterator> 
typename iterator_traits<InputIterator>::difference_type 
distance(InputIterator first, InputIterator last); 

Cioè, sia per valore.