Boucle for paresseuse

Version imprimable

Salut à toutes et à tous !

:oops: 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:

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...) ? :weird:

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 :aie: ) :
Code:

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 ! :D
Merci !

03/03/2016, 15h04
Médinoc

Que fait la fonction environment()?
Edit: Le message a été édité.
03/03/2016, 15h25
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 ?
03/03/2016, 16h00
Médinoc

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

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:

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:

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... :?

03/03/2016, 16h31
foetus

Pourtant :weird: 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 :mrgreen:
03/03/2016, 16h33
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
03/03/2016, 16h34
Médinoc

Citation:

Envoyé par foetus

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

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?

Code:

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:

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

03/03/2016, 17h13
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).
03/03/2016, 18h13
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...
03/03/2016, 18h53
Seabirds

Citation:

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. :oops:
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. :(
03/03/2016, 22h16
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.
03/03/2016, 23h42
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) :)
03/03/2016, 23h54
stendhal666

Oui mais encore? Arguments par valeur, par référence, constante/non constante, rvalue/lvalue?
Fais voir le code ;)
04/03/2016, 09h20
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 :D
07/03/2016, 13h50
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 ! :merci: