Comment récupérer le type de valeur d'un itérateur en C++ ?

Question

Ma question est certainement simple pour quiconque connaît la syntaxe C++. Je suis en train d'apprendre le C++ et c'est un peu en quelque sorte les devoirs.

template<typename Iter>
void quickSort(Iter begin, Iter end)
{        
    //..
    auto pivot = * ( begin + (end - begin)/2 );
    //..
}

pivot est censé contenir la valeur du centre de l'intervalle [begin, end] .

Le code que j'ai écrit ici fonctionne, mais auto est un mot clé de la nouvelle norme de langage C++11. Comment le faire à l'ancienne ? Que dois-je écrire à la place de auto ?

Answer 1

typename std::iterator_traits<Iter>::value_type

Cela fonctionnera si votre modèle est instancié avec Iter comme un type de pointeur.

Au fait, typename ne fait pas partie du type lui-même. Il indique au compilateur que value_type est vraiment un type. S'il s'agissait du nom d'une fonction ou d'un membre de données statiques, alors cela affecte la syntaxe. Le compilateur ne sait pas nécessairement ce que c'est, puisque la spécialisation de iterator_traits para Iter peuvent ne pas être visibles lorsque le modèle est compilé.

Answer 2

Cela fonctionnera également à partir de c++ 11 :

typename Iter::value_type

Ainsi, vous n'avez pas à taper tout le std::iterator_traits chose.

Answer 3

À partir de C++20, vous pouvez également utiliser la méthode suivante (accompagnée d'un exemple) :

#include <iostream>
#include <vector>

template<typename Iter>
void quickSort(Iter begin, Iter end)
{
    using T = std::remove_reference_t<std::iter_reference_t<Iter>>;
    //..
    T pivot = * ( begin + (end - begin)/2 );
    std::cout << "Element: " << pivot << std::endl;
    //..
}

int main(int argc, char* argv[]){
  std::vector<int> vec = {0,1,2,3,4,5};
  quickSort<std::vector<int>::iterator>(vec.begin(), vec.end());
  return 0;
}

sortie :

Element: 3

Answer 4

La réponse de Steve est juste ; en C++98, vous devez utiliser std::iterator_traits ou vous pouvez utiliser Iter::value_type si vous savez que l'itérateur a ce typedef (par exemple, est dérivé de std::iterator). Cependant, il y a un autre problème dans votre code : vous ne pouvez normalement pas simplement diviser les itérateurs. Cela fonctionne avec les pointeurs, bien sûr, mais pas dans le cas plus général. Une approche plus générale serait :

Iter itPivot = std::advance(begin, std::distance(begin, end)/2);