Discussion :

[Ekinoks]

Bonjour,

J'ai eu aujourd'hui un résultat surprenant...
Voici un exemple minimal qui reproduit le comportement :

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
18
19
20
21
22
23
#include <iostream>
#include <functional>
 
struct test {
	std::function<int()> fils;
 
	test( std::function<int()> f ) : fils(f) {
	}
 
	test(  ) : fils([](){return 0;}) {
	}
 
	int operator() () {
		return 1+fils();
	}
};
 
int main(int argc, char const *argv[])
{
	std::cout << test(test(test()))() << std::endl;
 
	return 0;
}

Le résultat affiché est 1....
Pourquoi le résultat n'est pas 3 ???
Le compilateur fait il une optimisation non légale ?

Merci pour votre aide

Edit : Je pensai avoir trouvé le bug.... mais en faite non... :^/

[ternel]

Ca ne viendrait pas de la copie?

[Ekinoks]

Ca ne viendrait pas de la copie?

Ho oui ! bien vue ! Il fait une copie plutôt que de convertir test en std::function.
Merci =)

Existe-t-il un moyen pour que la conversion soit prioritaire sur la copie ? Car si je rends la copie privée, alors je ne peux plus faire appelle a std::function<int()>( test() );

[dragonjoker59]

Mettre la copie privée, et ajouter un opérateur de conversion?

[Ekinoks]

Il y a un truc que je ne comprends pas dans le choix de la syntaxe du C++
Pour quoi avoir choisi de spécifier une sémantique spéciale pour ClassA::ClassA(ClassA const & o) comme constructeur de recopie ??
Ça enlève la possibilité de définir un constructeur classique qui prendrait en entrée un objet du même type que lui non ?

[dalfab]

Bonjour,

Un constructeur test( test t ) donnerai : pour créer une copie d'abord commencer par créer une copie que l'on reçoit en paramètre!!!! le constructeur de copie est forcément test( test const& ).

Code :

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

1
2
3
4
5
   test()               // crée un objet temporaire de type test
   test()()             // appelle l'operator()() d'un temporaire de type test
   test::operator()     // désigne les operator() des objets de type test
   &test::operator()()  // est l'adresse de l'operator() qui ne reçoit pas de paramètre.
   test(test(test()))() // crée une copie de copie de copie d'un test et appelle son operator()()

Rien dans cette dernière expression ne désigne test::operator() ou &test::operator()(), encore moins un std::function<int()> et donc a aucun moment on créera un test( std::function<int()> f ).
Même en créant un operator std::function<int()>()const, l'expression continuera de désigner une copie de copie, car la non-conversion est toujours pré-envisagée avant une conversion.

PS: rendre privé ou même détruire un constructeur ou une méthode n'empêchera jamais qu'il ne soit envisagé (si on tente de l'utiliser il y a erreur, mais jamais n'est envisagé un traitement substitutif à cause d'un protection.)