Questions marquées «language-lawyer»

Pour des questions sur les subtilités des spécifications formelles ou faisant autorité des langages de programmation et des environnements.

C ++ - Pourquoi le mot-clé 'template' est-il requis ici?

J'ai le code suivant: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Lors de la construction de ceci avec gcc 9.2 et clang …

9 c++ templates language-lawyer dependent-name

incohérence clang / gcc dans la spécialisation de classe

J'ai rencontré ce problème en essayant de spécialiser tuple_size/ tuple_elementpour une classe personnalisée en C ++ 17 pour la liaison structurée. Le code ci-dessous se compile dans GCC, mais pas dans clang (les deux versions de tronc, voir le lien ci-dessous). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = …

9 c++ templates language-lawyer template-specialization partial-specialization

Variation sur le thème du type punning: construction triviale sur place

Je sais que c'est un sujet assez courant, mais autant que l'UB typique est facile à trouver, je n'ai pas trouvé cette variante jusqu'à présent. Donc, j'essaie d'introduire formellement des objets Pixel tout en évitant une copie réelle des données. Est-ce valable? struct Pixel { uint8_t red; uint8_t green; uint8_t …

9 c++ language-lawyer reinterpret-cast object-lifetime placement-new

Un pointeur vers un type incomplet peut-il être incomplet?

Peut int (*)[]être un type incomplet? C 2018 6.2.5 1 dit: À divers points d'une unité de traduction, un type d'objet peut être incomplet (manque d'informations suffisantes pour déterminer la taille des objets de ce type) ou complet (avoir suffisamment d'informations). Il semble donc que si la taille d'un type …

9 c pointers language-lawyer incomplete-type

Ordre d'exécution de l'opérateur nouveau et argument du constructeur

La spécification C ++ spécifie-t-elle l'ordre operator newet le constructeur de Ain new C(A()). Le g ++ laisse l'ordre être A()-> new-> C(), mais clang ++ le laisse être new-> A()-> C(). La différence est-elle causée par un comportement non spécifié? g ++: 7.4.0 clang ++: 10.0.0 #include <iostream> #include …

9 c++ language-lawyer c++17 order-of-execution

Essayer de comprendre les modèles et la recherche de nom

J'essaie de comprendre les extraits de code suivants Extrait # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Ni gcc9 ni clang9 ne génèrent d'erreur ici. Q. Pourquoi ce code est-il compilé? N'instancions-nous pas A<B>en héritant de B? …

9 c++ templates language-lawyer

Que signifie «arrive avant»?

L'expression «survient avant» est utilisée plusieurs fois dans le projet de norme C ++. Par exemple: Résiliation [basic.start.term] / 5 Si l'achèvement de l'initialisation d'un objet avec une durée de stockage statique se produit fortement avant un appel à std :: atexit (voir, [support.start.term]), l'appel à la fonction est passé …

9 c++ multithreading language-lawyer memory-model happens-before

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.