Discussion :

[Seabirds]

Salut à toutes et à tous !

Honte à moi, je ne comprends pas ce qui se passe dans la boucle for suivante : la boucle n'effectue que la première itération (le reste, mystère) et la suite du code s'exécute normalement.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
         unsigned int time = 1;
         unsigned id = 0;
         int x =1;
 
         for(int y = 1; y < 4; y++){
                auto coords = make_pair(x, y);
		std::cout << "in loop :" << environment(id, coords, time) << std::endl;
	}
 
	std::cout << "in main : " << environment(id, std::make_pair(x, 1), time) << std::endl;
	std::cout << "in main : " << environment(id, std::make_pair(x, 2), time) << std::endl;
	std::cout << "in main : " << environment(id, std::make_pair(x, 3), time) << std::endl;

Qu'est ce qui peut faire que l'itération "manuelle" réussisse quand la boucle for plante (sans vraiment planter d'ailleurs...) ?

environnement est un objet qui implémente l'opérateur () : il trouve un jeu de donnée dans une map et délègue la lecture au jeu de donnée en question qui implémente l'opérateur () suivant (implémentation suspicieuse : forcément, visez qui l'a écrit ) :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
	value_type operator()(coord_type p, time_type t) const {
		GDALRasterBand  *poBand = resource->GetRasterBand( int(t) );
		if(!poBand)
			throw std::string("unable to access band");
 
		float *val;
		int x = p.first;
		int y = p.second;
		poBand->RasterIO( GF_Read, x, y, 1, 1, val, 1, 1, GDT_Float32, 0, 0 );
		if(!val)
			throw std::string("unable to read data");
 
		return double(*val);
	}

J'essaie de mon mieux, mais oui c'est crado, l'utilisation de l'API de GDAL ne m'aidant malheureusement pas !
Merci !

[Médinoc]

Que fait la fonction environment()?
Edit: Le message a été édité.

[Seabirds]

environnement est un foncteur qui va chercher dans une map d'ID un jeu de donnée qui utilise l'API d'une bibliothèque spatiale pour renvoyer la valeur de l'environnement aux coordonnées (x,y) au temps t Je modifie le code pour que ce soit plus lisible. As-tu besoin du code des fonctions ?

[Médinoc]

Ta bibliothèque, est-elle possiblement asynchrone?
Peux-tu poster exactement la sortie?

[Seabirds]

Asynchrone... Je vais googliser.
Par contre, quelques bidouilles m'ammènent à penser qu'il y a modification d'un élément de la paire là où on n'en veut pas. Voyez plutôt :

Code :

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

1
2
3
4
5
6
7
	for(int j = 1; j < 4;){
		int temp = j;
		std::cout << "temp before : " << temp << std::endl;
		std::cout << "value =" << environment(0, std::make_pair(1, temp), 1) << std::endl;
		std::cout << "temp after :" << temp << std::endl;
		j = j+1;
	}

renvoie :

Code :

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

1
2
3
4
5
6
7
8
9
temp before : 1
value =99
temp after :1120272384
temp before : 2
value =101
temp after :1120534528
temp before : 3
value =-inf
temp after :-8388608

Donc y'a bien un endroit où la paire de coordonnées est modifiée n'est-ce pas ? J'imagine que c'est à l'intérieur de la fonction RasterIO. Ce qui m'étonne c'est que la paire de coordonnées est déclarée constante...

[foetus]

Pourtant d'après la documentation de std::make_pair, les paramètres sont passés par valeur en C++98

À moins que tu utilises le C++11, qui, dans ce cas, "déplace, transfert - move" les 2 paramètres

[Médinoc]

Et en plus, make_pair n'est pas censé contenir une référence vers les éléments qu'on passe à make_pair()!

Tu peux essayer en spécifiant explicitement makepair<int, int>(), mais ça me parait vraiment bizarre qu'il y ait même besoin de le faire...

D'autant plus que ton operator() ne fait que lire les valeurs de la paire...

Edit: Doublé par foetus

[Médinoc]

À moins que tu utilises le C++11, qui, dans ce cas, "déplace, transfert - move" les 2 paramètres

Mais quel genre de constructeur int(int&&) ferait un swap (avec une valeur non-initialisée, en plus) plutôt qu'une copie? La copie est moins coûteuse ici...

Edit: Et en plus, il faudrait un move() sur temp pour autoriser le &&, non?

[Seabirds]

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
        unsigned int time = 1;
	unsigned id = 0;
	int x = 1;
 
	for(int y = 1; y < 4;){
		int temp = y;
		std::cout << "temp before : " << temp << std::endl;
		//const std::pair<int, int> coords = {1, temp};
		std::cout << "value =" << environment(id, std::make_pair<int, int>(x, std::move(temp)), time) << std::endl;
		std::cout << "temp after :" << temp << std::endl;
		y = y+1;
	}
	}

Quand j'essaie de compiler :

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
 g++ -o env Env.cpp -std=c++1y -Wall -I/usr/include/gdal  -L/usr/lib/ -lgdal
Env.cpp: In function ‘int main()’:
Env.cpp:203:88: error: no matching function for call to ‘make_pair(int&, std::remove_reference<int&>::type)’
   std::cout << "value =" << environment(id, std::make_pair<int, int>(x, std::move(temp)), time) << std::endl;
                                                                                        ^
Env.cpp:203:88: note: candidate is:
In file included from /usr/include/c++/4.8/bits/stl_algobase.h:64:0,
                 from /usr/include/c++/4.8/bits/stl_tree.h:61,
                 from /usr/include/c++/4.8/map:60,
                 from Env.cpp:3:
/usr/include/c++/4.8/bits/stl_pair.h:276:5: note: template<class _T1, class _T2> constexpr std::pair<typename std::__decay_and_strip<_Tp>::__type, typename std::__decay_and_strip<_T2>::__type> std::make_pair(_T1&&, _T2&&)
     make_pair(_T1&& __x, _T2&& __y)
     ^
/usr/include/c++/4.8/bits/stl_pair.h:276:5: note:   template argument deduction/substitution failed:
Env.cpp:203:88: note:   cannot convert ‘x’ (type ‘int’) to type ‘int&&’
   std::cout << "value =" << environment(id, std::make_pair<int, int>(x, std::move(temp)), time) << std::endl;

J'ai encore du mal à comprendre notre poteau le compilateur...

Edit: modifié pour mettre le move

[jo_link_noir]

std::make_pair<int, int>(x, std::move(temp)) -> std::make_pair(x, std::move(temp)). Mais cela ne changera rien, make_pair supprime les références.

J'ai l'impression qu'il y a corruption de mémoire, alors je te conseille d'utiliser un vérifieur de mémoire comme valgrind ou asan (option -fsanitize=address pour gcc/clang).

[Médinoc]

On ne t'a pas demandé de mettre un move(), on cherchait à s'expliquer comment le (mauvais) comportement observé avait pu être possible sans...

[Seabirds]

On ne t'a pas demandé de mettre un move(), on cherchait à s'expliquer comment le (mauvais) comportement observé avait pu être possible sans...

Ah.
Bon j'ai utilisé valgrind, c'était un peu le bazar avec std::pair.

Du coup j'ai remplacé std::pair par une classe maison de coordonnées, et là plus de problèmes. Je n'ai toujours pas compris ce qui clochait avec std::pair.

[stendhal666]

La signature de l'opérateur de fonction prend deux arguments d'après la signature que tu nous as donnée, et tu l'appelles avec trois arguments. C'est donc la signature du "délégué" dont tu parles que tu nous a donnée. Mais quelle est la signature et la définition de l'opérateur de fonction de la classe dont "environment" est une instance? C'est peut-être là que la difficulté se trouve.

[Seabirds]

Aïe aîe oui tu as raison, j'ai encore des progrès à faire pour définir le code que je dois montrer et celui que je dois cacher.
environnement(id, coords, time) cherche dans une map d'identifiant un objet, à qui on va pouvoir demander objet(coord, time)

[stendhal666]

Oui mais encore? Arguments par valeur, par référence, constante/non constante, rvalue/lvalue?
Fais voir le code

[ternel]

Pour information, son code est compilé avec un g++ 4.8.*, en -std=c++1y, donc en préversion de C++14.
je le sais, je travaille dessus avec lui, quand j'ai du temps

[Seabirds]

J'en serai d'ailleurs leternellement reconnaissant

Comme je disais, j'ai remplacé la paire de coordonnées par une classe coordonnées, ce qui a réglé le problème.
Je vous donnerais bien le code, mais comme ça a changé je ne suis pas sûr de pouvoir recréer le problème assez rapidement Dès que j'ai du temps, je rebricole le code pour regénérer l'erreur, promis (7 ans de damnation compilatoire si je ne tiens pas cette promesse) !

Je mets le sujet en résolu, je le dé-résoluerai bientôt pour revenir dessus.

Merci encore à vous tous pour vos réponses !