C++

Variadic template [résolu]

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Variadic template [résolu]

ptitchep

Bonjour,

Un petit code vaut mieux qu'un long discours:

Code :

#include <iostream>
#include <tuple>
static int i(0);
template <typename T>
T getOneElement()
{
return static_cast<T>(i++);
}
template <typename... Data>
std::tuple<Data...> test()
{
return std::make_tuple(getOneElement<Data>()...);
}
int main(int argc, char ** argv)
{
std::tuple<double, double, float, int> t4(test<double, double, float, int>());
std::cout<<std::get<0>(t4)<<" "<<std::get<1>(t4)<<" "<<std::get<2>(t4)<<" "<<std::get<3>(t4)<<std::endl;
return 0;
}

Pourquoi ce code m'affiche-t-il
3 2 1 0
Au lieu de
0 1 2 3
?

Y'a-t-il un moyen d'inverser ce résultat?

Merci.

Message édité par ptitchep le 13-08-2015 à 13:33:57

---------------
deluser --remove-home ptitchep

Publicité

theshockwave

I work at a firm named Koslow

je pense pas que l'ordre d'évaluation des arguments de make_tuple soit clairement défini (ca mériterait de vérifier dans le standard, mais j'y crois moyennement).
Si tu tiens absolument à avoir un contrôle sur cet ordre, je pense qu'il va falloir réécrire make_tuple toi-même. (mais honnêtement, j'ai l'impression que ce n'est pas une très bonne idée d'avoir du code qui repose sur l'ordre d'évaluation des arguments de ton tuple à sa création).

Message cité 1 fois

---------------
last.fm

ptitchep

theshockwave a écrit :

Apparemment Le standard C (je pense que c'est le même en C++) dit que les arguments sont évalués de droite à gauche, ce qui est cohérent avec mon résultat.
Problème résolu comme ceci, mais c'est encore moins lisible:

Code :

#include <iostream>
#include <tuple>
static int i(0);
template <typename T>
T getOneElement() {
return static_cast<T>(i++);
}
template <typename T>
std::tuple<T> test()
{
return std::make_tuple(getOneElement<T>());
}
template <typename T, typename T2, typename... Data>
std::tuple<T, T2, Data...> test()
{
std::tuple<T> head = std::make_tuple(getOneElement<T>());
std::tuple<T2, Data...> tail = test<T2, Data...>();
return std::tuple_cat(head, tail);
}
int main(int argc, char ** argv)
{
std::tuple<double, double, float, int> t4(test<double, double, float, int>());
std::cout<<std::get<0>(t4)<<" "<<std::get<1>(t4)<<" "<<std::get<2>(t4)<<" "<<std::get<3>(t4)<<std::endl;
return 0;
}

Message cité 1 fois
Message édité par ptitchep le 13-08-2015 à 13:33:39

---------------
deluser --remove-home ptitchep

theshockwave

I work at a firm named Koslow

ptitchep a écrit :

Code :

#include <iostream>
#include <tuple>
static int i(0);
template <typename T>
T getOneElement() {
return static_cast<T>(i++);
}
template <typename T>
std::tuple<T> test()
{
return std::make_tuple(getOneElement<T>());
}
template <typename T, typename T2, typename... Data>
std::tuple<T, T2, Data...> test()
{
std::tuple<T> head = std::make_tuple(getOneElement<T>());
std::tuple<T2, Data...> tail = test<T2, Data...>();
return std::tuple_cat(head, tail);
}
int main(int argc, char ** argv)
{
std::tuple<double, double, float, int> t4(test<double, double, float, int>());
std::cout<<std::get<0>(t4)<<" "<<std::get<1>(t4)<<" "<<std::get<2>(t4)<<" "<<std::get<3>(t4)<<std::endl;
return 0;
}

Tu parles de l'ordre d'évaluation des arguments lors d'un appel à une fonction, ici, c'est un cas très différent, c'est pour ca que je t'encourageais à regarder ce que le standard dit spécifiquement à propos de make_tuple.

Message cité 1 fois

---------------
last.fm

ptitchep

theshockwave a écrit :

Ici c'est bien l'appel à make_tuple qui est fait en donnant mes arguments en "sens inverse" non? Je ne comprends pas pourquoi ce serait un cas différent.

Message cité 1 fois

---------------
deluser --remove-home ptitchep

theshockwave

I work at a firm named Koslow

ptitchep a écrit :

Ici c'est bien l'appel à make_tuple qui est fait en donnant mes arguments en "sens inverse" non? Je ne comprends pas pourquoi ce serait un cas différent.

C'est différent en ce que ca donne lieu à la génération de code qui va itérer sur tes arguments. Ca ne donne pas lieu à un simple appel de fonction où l'ordre des arguments est défini. De la manière dont cette itération est faite va dépendre l'ordre d'évaluation de tes quatre appels à ta fonction getOneElement()

---------------
last.fm

ptitchep

Ok je vois. J'avoue que je ne sais pas si j'aurai le courage d'aller lire ça. Pour les prochains s'il y en a, d'après cppreference:
References:
C++11 standard (ISO/IEC 14882:2011):
20.4 Tuples [tuple]
http://en.cppreference.com/w/cpp/utility/tuple

---------------
deluser --remove-home ptitchep

gilou

Modérateur
Modzilla

Manifestement, il ne dit rien.

Mais par contre, je reste dubitatif:
template <typename... Data> std::tuple<Data...> test() {
// return std::make_tuple(getOneElement<Data>()...);
return std::tuple<Data...>{ getOneElement<Data>()... };
}

Ne marche pas mieux, or d'après cette page, ça devrait coller:

Citation :

The use of brace initialization works because the order of evaluation of the arguments in a brace initializer list is the order in which they appear.

A+,

---------------
There's more than what can be linked! -- Iyashikei Anime Forever! -- AngularJS c'est un framework d'engulé! --

Joel F

Real men use unique_ptr

Des infos relatives à ces histoires d'ordre d'évaluation (dans un contexte different mais simialire) :

https://www.youtube.com/watch?v=Pr9g1nqTz_A

Message cité 1 fois

el muchacho

Comfortably Numb

Joel F a écrit :

Des infos relatives à ces histoires d'ordre d'évaluation (dans un contexte different mais simialire) :

https://www.youtube.com/watch?v=Pr9g1nqTz_A

Félicitations pour ton talk à CppCon. :jap:
https://www.youtube.com/watch?v=IiVl5oSU5B8

---------------
Les aéroports où il fait bon attendre, voila un topic qu'il est bien

FORUM HardWare.fr

Programmation

C++

Variadic template [résolu]

Sujets relatifs
php template rtf en arabe	Problème à l'installation d'un template Joomla
Metro UI Blogger Template Gratuit	Recherche template de blog avec menu fixe
A l'aide !! template hastable et iterateurs [Résolu]	Recherche d'un template wordpress simple et épuré
template matching opencv	Un template à partir d'un fichier xls ?
intégration de code html/javascript dans un template	Template Joomla garage
Plus de sujets relatifs à : Variadic template [résolu]

Page générée en 0.078 secondes