Discussion :

[ChPr]

Bonjour à toutes et à tous,

Les pointeurs en C++ : ça me traumatise

Je voudrais passer en paramètre d'une méthode una autre méthode. Je n'arrive pas à imaginer la syntaxe à employer.

Soit le code suivant :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
void a() {}
void b() {}
 
void c(// Qu'écrire ici pour utiliser a ou b) {
  // Qu'écrire ici pour que a ou b soit exécutée;
}
 
...
 
// appel de c pour utiliser a ou b
 
  c(// Qu'écrire ici pour utiliser a);
  c(// Qu'écrire ici pour utiliser b);

Je suppose que a et b doivent avoir le même prototype.

Merci pour votre aide.

Pierre

[the Hound]

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
void a() {}
void b() {}
 
// Grosso modo
void c(std::function<void()> f) {
  f();
}
 
...
 
// appel de c pour utiliser a ou b
 
  c(&a);
  c(&b);

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
void a() {}
void b() {}
 
void c(void (*f)()) {
  f();
}
 
...
 
// appel de c pour utiliser a ou b
 
  c(&a);
  c(&b);

[Flob90]

Bonjour,

Laisse le compilateur te déterminer les types :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
template<class F>
void foo(F&& fun)
{
  //ici tu utilises fun comme une fonction :
  fun(0,1);
}
 
void bar(int,int){}
 
//Pour passer bar à foo :
foo(bar);

C++11, en C++03 enlève juste la &&.

[Neckara]

Bonjour,

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
template<class F>
void foo(F&& fun)
{
  //ici tu utilises fun comme une fonction :
  fun(0,1);
}
 
void bar(int,int){}
 
//Pour passer bar à foo :
foo(bar);

Pourquoi utiliser la move semantic et pas une référence ?

[the Hound]

Pourquoi utiliser la move semantic et pas une référence ?

J'imagine que ça permet d'utiliser des foncteurs créés temporairement.
Remarque au passage, la solution à base de template ne peut fonctionner que si l'appel de fonction se fait dans la même unité de compilation que celle où le template est défini.

[Neckara]

J'imagine que ça permet d'utiliser des foncteurs créés temporairement.

Le problème c'est qu'on ne pourra pas utiliser une std::function plusieurs fois.

Est-ce qu'une référence constante ne marche pas pour les objets temporaires ?

[Ehonn]

Remarque au passage, la solution à base de template ne peut fonctionner que si l'appel de fonction se fait dans la même unité de compilation que celle où le template est défini.

J'ai du mal à voir le souci. Peux-tu donner un exemple où cela ne fonctionne pas ?

Est-ce qu'une référence constante ne marche pas pour les objets temporaires ?

Si, mais une référence sur membre constant t'interdit d'utiliser un foncteur avec l'opérateur () non const.
Dans ce cas, il faut la move semantique ou faire une copie.

[Médinoc]

Si tu n'as pas C++11, seule la seconde solution marche, mais pour elle je conseille d'y ajouter un typedef pour manipuler le pointeur de fonction plus facilement:

Code C++ :

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

1
2
3
4
5
typedef void (*void_func_ptr)();
 
void c(void_func_ptr f) {
  f();
}

Note que cela marche pour les fonctions libres, ou les fonctions statiques d'une classe. Pour les fonctions membres non-statiques, c'est plus compliqué et je ne me souviens jamais de la syntaxe appropriée par cœur, obligé de chercher sur le net à chaque fois.

[the Hound]

Pour les fonctions membres non-statiques, c'est plus compliqué et je ne me souviens jamais de la syntaxe appropriée par cœur, obligé de chercher sur le net à chaque fois.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
class T {
  public:
    void toto(int);
};
 
void foo(void (T::*f)(int)) {
  T instance;
  (instance.*f)(42); // Pas sûr de mon coup
}
 
foo(&T::toto);

[ChPr]

Merci beaucoup the Hound

Gela se compile très bien.

Maintenant, je mets des variables dans a et b tel que :

Code :

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

1
2
3
4
5
6
void a(int x) {}
void b(int x) {}
 
void c(void (*f)(int x)) {
  f(x);
}

mais j'obtiens une erreur :

error: 'x' was not declared in this scope

Désolé, je suis vraiment lourd.

Cordialement.

Pierre

[the Hound]

mais j'obtiens une erreur :

error: 'x' was not declared in this scope

C'est parce que ... tu n'as pas déclaré de x.
Dans void c(void (*f)(int x)), le nom x est donné à titre indicatif mais le compilo n'y prête aucune attention.
Tout ce qu'il sait et a besoin de savoir c'est que f renvoie void et prend un int.
La seule variable qui est déclarée dans ta fonction c'est donc f, x n'existe pas.

[ChPr]

Il faut donc que j'écrive quelque chose dans le genre :

Code :

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

1
2
3
4
5
6
7
8
void a(int x) {
}
void b(int x) {
}
 
void c(int v, void (*f)(int x)) {
  f(v);
}

v sera la valeur passée aux fonctions a ou b ?

(je commence à y voir un peu plus clair, mais qu'est ce que j'ai du mal avec la syntaxe du C . Faut que je m'y mette)

Cordialement.

Pierre

[Médinoc]

Oui, c'est exactement ça.