La norme C ++ 17 introduit des "guides de déduction de modèles". Je suppose qu'ils ont quelque chose à voir avec la nouvelle déduction d'arguments de modèle pour les constructeurs introduite dans cette version de la norme, mais je n'ai pas encore vu une explication simple, de style FAQ, de ce...
Dans le morceau de code suivant, j'utilise l' [[fallthrough]]attribut standard de C ++ 1z pour documenter qu'une chute est souhaitée: #include <iostream> int main() { switch (0) { case 0: std::cout << "a\n"; [[fallthrough]] case 1: std::cout << "b\n"; break; } } Avec GCC 7.1, le...
J'essaie de comprendre comment obtenir l'adresse d'une fonction lambda en elle-même. Voici un exemple de code: []() { std::cout << "Address of this lambda function is => " << ???? }(); Je sais que je peux capturer le lambda dans une variable et imprimer l'adresse, mais je veux le...
Ran dans quelque chose d'étrange lors de la métaprogrammation de modèle l'autre jour. Cela revient essentiellement à cette affirmation qui ne passe pas (comme je m'y attendais). static_assert(std::is_same_v<void(), std::remove_reference_t<void()&>>); Au début, je pensais que je...
Existe-t-il un moyen de vérifier si deux fonctions ont la même signature? Par exemple: int funA (int a, int b); int funB (int a, int b); float funC (int a, int b); int funD (float a, int b); Dans cet exemple, funAet funBest la seule combinaison de fonctions à renvoyer
En C ++ 17, comment déclarer et initialiser un vecteur de paires (ou tuples) avec un élément optionnel? std::vector<std::pair<int, optional<bool> > > vec1 = { {1, true}, {2, false}, {3, nullptr}}; J'ai une paire où le deuxième élément peut être nul /
Ce code ne compile pas dans Clang (6,7,8,9, trunk), mais se compile très bien dans GCC (7.1, 8.1, 9.1): template<class T> struct TypeHolder { using type = T; }; template<int i> class Outer { private: template<class T> static constexpr auto compute_type() { if constexpr (i == 42) {...
Considérez le code suivant . struct any { template <typename T> operator T &&() const; template <typename T> operator T &() const; }; int main() { int a = any{}; } Ici, le deuxième opérateur de conversion est choisi par la résolution de surcharge. Pourquoi? D'après ce que je...
Explicite. Fondamentalement, disons que j'ai des listes de types comme ceci: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Ils peuvent être des nombres variés de listes de types. Comment...
Disons que j'ai un shared_ptravec un allocateur personnalisé et un suppresseur personnalisé. Je ne trouve rien dans la norme qui parle de l'endroit où le suppresseur doit être stocké: il ne dit pas que l'allocateur personnalisé sera utilisé pour la mémoire du suppresseur, et il ne dit pas qu'il ne...
#include <optional> bool f() { std::optional<int> opt; return opt; } Ne compile pas: 'return': cannot convert from 'std::optional<int>' to 'bool' Consultation de référence J'aurais pensé trouver une explication, mais je l'ai lu comme il se doit. Des conversions implicites sont...
J'ai une fonction de modèle surchargée: template<typename T1, typename T2> auto overMax(T1 a, T2 b) { std::cout << __FUNCSIG__ << std::endl; return b < a ? a : b; } template<typename RT, typename T1, typename T2> RT overMax(T1 a, T2 b) { std::cout << __FUNCSIG__...
Cppreference a cet exemple de code pour std::transform: std::vector<std::size_t> ordinals; std::transform(s.begin(), s.end(), std::back_inserter(ordinals), [](unsigned char c) -> std::size_t { return c; }); Mais cela dit aussi: std::transformne garantit pas l'application dans l'ordre de...
Comment par un type de variante donné using V = std::variant<bool, char, std::string, int, float, double, std::vector<int>>; déclarer deux types de variantes using V1 = std::variant<bool, char, int, float, double>; using V2 = std::variant<std::string,
Je travaille dans un projet avec C ++ 11 et j'ai essayé de suivre le code #include <atomic> struct A { std::atomic_int idx = 1; }; int main() { return 0; } J'obtiens l'erreur du compilateur error: use of deleted function 'std::__atomic_base<_IntTp>::__atomic_base(const...
Existe-t-il un moyen de vérifier en C ++ 11 si une énumération est continue ? Il est tout à fait valide de donner des valeurs d'énumération qui ne le sont pas. Existe-t-il peut-être une fonctionnalité comme un trait de type en C ++ 14, C ++ 17 ou peut-être C ++ 20 pour vérifier si l'énumération est...
Notre équipe travaille avec une base de code C ++ de 10 ans et plus et est récemment passée à un compilateur C ++ 17. Nous recherchons donc des moyens de moderniser notre code. Lors d'une conférence sur YouTube, j'ai entendu la suggestion de remplacer const char*les chaînes mondiales par constexpr...
Je jouais avec autoen std::pair. Dans le code ci-dessous, la fonction fest censée retourner un std::pairtype qui dépend d'un paramètre de modèle. Un exemple pratique: EXEMPLE 1 template <unsigned S> auto f() { if constexpr (S == 1) return std::pair{1, 2}; // pair of ints else if constexpr (S...
Je compile ce programme par g ++ et clang ++. Il y a une différence: g ++ affiche 1, mais clang ++ affiche 2. Il semble que g ++: la variable externe est définie dans la portée la plus courte. clang ++: la variable externe est définie dans la portée globale la plus courte. La spécification C ++...
J'ai un code comme celui-ci: #include <vector> #include <utility> int main() { std::vector<bool> vb{true, false}; std::swap(vb[0], vb[1]); } Arguments sur la raison de vector<bool>côté, cela fonctionnait très bien sur: Clang pour Mac Visual Studio pour Windows GCC pour Linux...