Discussion :

[BlastVoy]

Bonjour,

Je sais que des réponses ont déjà été apporté à des questions similaires, mais elles ne m'ont pas permis de régler mon problème.

Je cherche à trier un vector d'entier (ce sont des index d'objet) d'après la valeur allouée à leurs index dans un tableau stocké dans une classe "Solveur". J'aimerais le faire avec la fonction sort de <algorithm> pour aller plus vite.

J'ai donc créé un comparateur d'index dans la classe en question, mais je n'arrive pas à passer ce comparateur en paramètre de sort.

Voilà des fragments de mon code...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
bool Solveur::comp_ordo(int i, int j)
{
	return cplex.getValue(C_jk[i][0]) < cplex.getValue(C_jk[j][0]);
}
 
void Solveur::fct(){
 
...
 
vector<int> job_ordo = vector<int>(nJ);
for (int j = 0; j < nJ; j++) job_ordo[j] = j;
 
sort(job_ordo.begin(), job_ordo.end(), &(this->comp_ordo)); // &(this->comp_ordo) ne fonctionne pas
 
...
}

Voilà, si quelqu'un pouvait m'aider...
Merci!!!

[oodini]

Passe une expression lambda.

[BlastVoy]

Excuse-moi, je ne vois pas ce que tu veux dire... Tu aurais un exemple?

[ternel]

La base de ton problème, c'est que comp_ordo n'est pas une fonction du type attendu par la fonction sort.

sort demande une chose utilisable comme une fonction bool (T, T), avec T le type des valeurs à trier (formellement, std::iterator_traits<decltype(jordo.begin())>::value_type).
Mais ta fonction a pour signature bool Solveur::(int, int).

La solution théorique est de passer par un foncteur, c'est à dire un objet qui sera appelable comme une fonction (en lui donnant l'opérateur de fonction adapté).
La solution pratique la plus simple est effectivement de passer par une expression lambda, qui permet de créer simplement un tel foncteur.

par exemple

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
sort(
    job_ordo.begin(),
    job_ordo.end(),
    [&this](int a, int b) { return this->comp_ordo(a, b); }
);

le troisième argument défini un objet ayant pour membre une référence sur this, et dont l'operator () est défini par (int a, int b) { return this->comp_ordo(a, b); }.


Un peu de documentation pour les détails: la page de cppreference.com.

[BlastVoy]

Merci, ça fonctionne!!
Je vais renseigner un peu plus sur les foncteurs pour la suite

[koala01]

Salut,

Merci, ça fonctionne!!
Je vais renseigner un peu plus sur les foncteurs pour la suite

Bah, ca, c'est relativement simple : un foncteur est une classe ou une structure qui n'expose qu'un opérateur ().

Cela prend généralement la forme de

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
struct MonFoncteur{
    TypeDeRetour operator() (/* paramètres éventuels */) const{
 
    }
};

A partir de là, on peut jouer sur les mots et parler de unary-functor, de binary-functor ou de predicate. Un predicate est un foncteur dont le type de retour de l'opérateur () est d'office un bool. Un unary functor est un foncteur pour lequel l'opérateur s'attend à recevoir un (et un seul ) paramètre et un binary-functor est un foncteur dont l'opérateur () s'attend à recevoir deux paramètres.

Dans le cas présent, un foncteur prendrait une forme proche de

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
struct MonFoncteur{
    MonFoncteur(Solveur const & s):s{s}{}
    Solver const & s
    bool operator()(int i, int j) const{
        return s.getValue(C_jk[i][0]) < s.getValue(C_jk[j][0]);
    }
};

et ton appel à sort prendrait la forme de

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
/* soit s est ton solveur */
std::sort(s.begin(), s.end(), MonFoncteur{s});

Aussi simple que cela