Différence entre std :: pair et std :: tuple avec seulement deux membres?

Y a-t-il une différence entre un std::pairet un std::tupleavec seulement deux membres? (Outre l'évidence qui std::pairnécessite deux et seulement deux membres et tuplepeut avoir plus ou moins ...)

Il y a quelques différences:

1. std::tuplene peut jamais être par mise en page standard (du moins, il n'est pas nécessaire que ce soit par la norme). Chacun std::pair<T, Y>est une disposition standard si les deux Tet Ysont une disposition standard.

2. Il est un peu plus facile d'obtenir le contenu d'un pairfichier tuple. Vous devez utiliser un appel de fonction dans le tuplecas, alors que le paircas n'est qu'un champ membre.

Mais c'est à peu près tout.

C'est une réponse très tardive, mais notez que, étant donné qu'elle std::pairest définie avec des variables membres, sa taille ne peut pas être optimisée à l'aide de l' optimisation de classe de base vide ( firstet seconddoit occuper des adresses distinctes, même si l'une ou les deux sont une classe vide). Ceci est exacerbé par les exigences d'alignement second_type, donc dans le pire des cas, le résultat std::pairsera fondamentalement deux fois la taille nécessaire.

std::tuplen'autorise l'accès que via des fonctions d'assistance, il est donc possible qu'il dérive de l'un ou l'autre type si l'un ou l'autre est vide, ce qui économise la surcharge. L'implémentation de GCC, au moins, fait définitivement cela ... vous pouvez parcourir les en-têtes pour vérifier cela, mais il y a aussi cela comme preuve.

Un std::tuplenom de plus est (un caractère supplémentaire). Plus de ces caractères sont tapés avec la main droite, donc plus faciles à saisir pour la plupart des gens.

Cela dit, std::pairne peut avoir que deux valeurs - pas zéro, une, trois ou plus. DEUX valeurs. Un tuple, cependant, n'a presque aucune limitation sémantique sur le nombre de valeurs. Un std::pair, par conséquent, est un type sécurisé de type plus précis à utiliser si vous souhaitez réellement spécifier une paire de valeurs.

Notez qu'avec C ++ 17, on peut utiliser la même interface pour lire les données de la paire et du tuple avec deux éléments.

auto [a, b] = FunctionToReturnPairOrTuple();

Pas besoin d'utiliser get<>:)

Pour ce que ça vaut, je trouve que la sortie GDB de std :: tuple est beaucoup plus difficile à lire. Évidemment, si vous avez besoin de plus de 2 valeurs, std :: pair ne fonctionnera pas, mais je considère que c'est un point en faveur des structs.