Discussion :

[elekis]

bonjour,

je dois utiliser une priority_queue mais avec mon prorper operateur de comparaison.

voici comment je défini la priority_queue.

Code :

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

1
2
 
        std::priority_queue< std::vector<std::set<CClause*> * >, CompareClause() > Q;

et le compareClause est ici.

Code :

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

1
2
3
4
5
6
7
8
9
10
 
 
struct CompareClause{
 
    bool operator ()( const std::set<CClause*> *p, const std::set<CClause*> *q ) 
    { 
        return p->size() < q->size() ; 
    } 
 
};

j'aurais cru qu'il fallait utiliser les foncteurs, mais il m'envoi ballader.

Code :

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

1
2
3
4
5
6
7
8
9
10
 
ocuments/Logic$ make -j 2
g++ -o Antichaine.o -c Antichaine.cpp -Wall -ansi
Antichaine.cpp: In member function ‘void CAntichaine::construireA()’:
Antichaine.cpp:20: erreur: ‘CompareClause ()()’ is not a class, struct, or union type
Antichaine.cpp:20: erreur: patron de l'argument 3 est invalide
Antichaine.cpp:20: erreur: invalid type in declaration before ‘;’ token
Antichaine.cpp:20: attention : unused variable ‘Q’
make: *** [Antichaine.o] Erreur 1
elekis@carla:~/Documents/Logic$

le truc, c'est que l'on doit mettre pas mal d'élément dedans (des std::set<Clause*> ) et apres on doit les retirer un a un du plus grand au plus
petit. et on voudrais que le plus grand est celui qui a le plus grand nombre de clause.


merci

a+++

[Laurent Gomila]

Ce n'est pas une instance du foncteur que tu dois spécifier en paramètre template, mais son type :

Code :

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

std::priority_queue< std::vector<std::set<CClause*> * >, CompareClause>

Après si ce n'est pas une instance par défaut qu'il faut utiliser (ce qui n'est pas le cas ici) il y a normalement un constructeur approprié.

[elekis]

heu... merci,

mais je comprend pas trop la seconde phrase.


mnt , j'ai cela.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
elekis@carla:~/Documents/Logic$ make -j 2
g++ -o Antichaine.o -c Antichaine.cpp -Wall -ansi
g++ -o ClauseManager.o -c ClauseManager.cpp -Wall -ansi
Antichaine.cpp: In member function ‘void CAntichaine::construireA()’:
Antichaine.cpp:20: erreur: no type named ‘value_type’ in ‘struct CompareClause’
Antichaine.cpp:20: erreur: patron de l'argument 3 est invalide
Antichaine.cpp:20: erreur: invalid type in declaration before ‘;’ token
Antichaine.cpp:20: attention : unused variable ‘Q’
make: *** [Antichaine.o] Erreur 1
make: *** Attente des tâches non terminées....
elekis@carla:~/Documents/Logic$

je comprend pas, je dois definir une value_type?? mais c'est quoi?

et pourquoi il ne faut pas de () mais son type. dans l'exemple
http://c.developpez.com/faq/cpp/?pag...TL_custom_sort
c'est bien une instance qu'on passe. a la fonction sort??


merci pour tout.

a++

[Laurent Gomila]

Le message d'erreur parle de l'argument 3 (qui devrait être l'allocateur), or dans ce que tu nous montres il n'y en à que deux. On peut voir le vrai code ?

et pourquoi il ne faut pas de () mais son type. dans l'exemple
http://c.developpez.com/faq/cpp/?pag...TL_custom_sort
c'est bien une instance qu'on passe. a la fonction sort??

Parce que std::priority_queue<...> est un type, pas une fonction. Il attend en paramètre template le type du foncteur à utiliser, pas une instance de celui-ci.

Code :

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

1
2
3
4
5
6
7
8
9
struct Foncteur
{
    bool operator ()(int x, int y) const
    {
        return x < y;
    }
};
 
std::priority_queue<int, Foncteur> Q;

Ta priority_queue va ensuite créer une instance par défaut de Foncteur, pour appeler son opérateur (). Ce que je disais c'est que si par hasard tu voulais utiliser une instance bien particulière, pas construite par défaut, tu peux le faire ainsi :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
struct Foncteur
{
    Foncteur(std::string Param) {...}
 
    bool operator ()(int x, int y) const
    {
        return x < y;
    }
};
 
std::priority_queue<int, Foncteur> Q(Foncteur("toto"));