La programmation language-lawyer

3

Est-il légal pour le code source contenant un comportement non défini de planter le compilateur?

Disons que je vais compiler un code source C ++ mal écrit qui invoque un comportement indéfini, et donc (comme on dit) "tout peut arriver". Du point de vue de ce que la spécification du langage C ++ juge acceptable dans un compilateur "conforme", "quoi que ce soit" dans ce …

85 c++ language-lawyer undefined-behavior

7

Puis-je utiliser NULL comme substitution pour la valeur de 0?

Suis-je autorisé à utiliser le NULLpointeur en remplacement de la valeur de 0? Ou y a-t-il quelque chose de mal à faire cela? Comme par exemple: int i = NULL; en remplacement de: int i = 0; Comme expérience, j'ai compilé le code suivant: #include <stdio.h> int main(void) { int …

73 c++ c pointers null language-lawyer

5

Ordre d'évaluation des indices matriciels (versus l'expression) en C

En regardant ce code: static int global_var = 0; int update_three(int val) { global_var = val; return 3; } int main() { int arr[5]; arr[global_var] = update_three(2); } Quelle entrée de tableau est mise à jour? 0 ou 2? Y a-t-il une partie dans la spécification de C qui indique …

47 c language-lawyer order-of-execution

3

std :: vector (ab) utilise le stockage automatique

Considérez l'extrait de code suivant: #include <array> int main() { using huge_type = std::array<char, 20*1024*1024>; huge_type t; } Évidemment, cela planterait sur la plupart des plates-formes, car la taille de pile par défaut est généralement inférieure à 20 Mo. Considérez maintenant le code suivant: #include <array> #include <vector> int main() …

46 c++ language-lawyer stdvector libstdc++ automatic-storage

2

Collision d'espace de noms C ++ dans le constructeur de copie

J'ai le code suivant: namespace A { struct Foo { int a; }; } struct Foo { int b; }; struct Bar : public A::Foo { Bar(Foo foo) { c = foo.b; } int c; }; Les compilateurs C ++ se plaignent à "c = foo.b" car A :: Foo …

33 c++ inheritance namespaces language-lawyer

3

Décltype C ++ et parenthèses - pourquoi?

Le sujet a été discuté auparavant , mais ce n'est pas un doublon. Lorsque quelqu'un demande la différence entre decltype(a)et decltype((a)), la réponse habituelle est - aest une variable, (a)est une expression. Je trouve cette réponse insatisfaisante. Tout d'abord, ac'est aussi une expression. Les options pour une expression primaire incluent, …

32 c++ c++11 language-lawyer decltype

6

Quelle est la bonne façon de convertir 2 octets en un entier signé 16 bits?

Dans cette réponse , zwol a fait cette affirmation: La bonne façon de convertir deux octets de données d'une source externe en un entier signé 16 bits est avec des fonctions d'assistance comme celle-ci: #include <stdint.h> int16_t be16_to_cpu_signed(const uint8_t data[static 2]) { uint32_t val = (((uint32_t)data[0]) << 8) | (((uint32_t)data[1]) …

31 c casting language-lawyer

2

Pourquoi la grammaire BNF de C autorise-t-elle les déclarations avec une séquence vide de déclarateurs init?

En parcourant la grammaire BNF de C, j'ai trouvé étrange que la règle de production d'une déclaration ressemble à ceci (selon https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of% 20C% 20in% 20Backus-Naur% 20form.htm ): <declaration> ::= {<declaration-specifier>}+ {<init-declarator>}* ; Pourquoi utiliser un *quantificateur (signifiant zéro ou plusieurs occurrences) pour le init-declarator? Cela permet aux instructions telles que …

28 c language-lawyer context-free-grammar

2

Pourquoi std :: hash n'est-il pas garanti d'être déterministe?

Ci-après, nous utilisons N4140 (C ++ 14 Standard). Conformément au § 17.6.3.4 Exigences de hachage , La valeur renvoyée ne dépendra que de l'argument k de la durée du programme . [Remarque: Ainsi, toutes les évaluations de l'expression h(k)avec la même valeur pour kdonnent le même résultat pour une exécution …

28 c++ hash language-lawyer std

1

La classe ne peut pas accéder à sa propre méthode constexpr statique privée - Bug Clang?

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) { return TypeHolder<bool>{}; …

28 c++ language-lawyer c++17 clang++

2

Optimisation inattendue de strlen lors de l'aliasage d'un tableau 2D

Voici mon code: #include <string.h> #include <stdio.h> typedef char BUF[8]; typedef struct { BUF b[23]; } S; S s; int main() { int n; memcpy(&s, "1234567812345678", 17); n = strlen((char *)&s.b) / sizeof(BUF); printf("%d\n", n); n = strlen((char *)&s) / sizeof(BUF); printf("%d\n", n); } Utiliser gcc 8.3.0 ou 8.2.1 avec …

28 c multidimensional-array language-lawyer strlen gcc8

3

Pourquoi cette surcharge d'un opérateur de conversion est-elle choisie?

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 comprends, …

27 c++ language-lawyer c++17 overload-resolution

3

Est-il correct de renvoyer la valeur de l'argument par défaut par référence const?

Est-il correct de renvoyer la valeur de l'argument par défaut par référence const comme dans les exemples ci-dessous: https://coliru.stacked-crooked.com/a/ff76e060a007723b #include <string> const std::string& foo(const std::string& s = std::string("")) { return s; } int main() { const std::string& s1 = foo(); std::string s2 = foo(); const std::string& s3 = foo("s"); std::string …

26 c++ language-lawyer object-lifetime default-arguments reference-binding

1

Quelle est la sémantique des objets qui se chevauchent en C?

Considérez la structure suivante: struct s { int a, b; }; Typiquement 1 , cette structure aura la taille 8 et l'alignement 4. Et si nous créons deux struct sobjets (plus précisément, nous écrivons dans le stockage alloué deux de ces objets), le deuxième objet chevauchant le premier? char *storage …

25 c pointers struct language-lawyer c11

3

Le compilateur est-il autorisé à plier constamment un volatile local?

Considérez ce code simple: void g(); void foo() { volatile bool x = false; if (x) g(); } https://godbolt.org/z/I2kBY7 Vous pouvez voir que gccni clangoptimiser l'appel potentiel à g. Ceci est correct dans ma compréhension: la machine abstraite est de supposer que les volatilevariables peuvent changer à tout moment (en …

25 c++ language-lawyer volatile

Questions marquées «language-lawyer»