Programmazione language-lawyer

2

Perché C e C ++ consentono l'espressione (int) + 4 * 5?

(int) + 4*5; Perché è possibile (aggiungere un tipo con un valore) ? (provato con g ++ e gcc.) So che non ha senso (e non ha effetto), ma voglio sapere perché è possibile.

86 c++ c casting language-lawyer

4

È legale che il codice sorgente contenente un comportamento indefinito blocchi il compilatore?

Diciamo che vado a compilare un codice sorgente C ++ scritto male che invoca comportamenti indefiniti, e quindi (come si suol dire) "tutto può succedere". Dal punto di vista di ciò che la specifica del linguaggio C ++ ritiene accettabile in un compilatore "conforme", fa "qualsiasi cosa" in questo scenario …

85 c++ language-lawyer undefined-behavior

2

È ancora sicuro eliminare nullptr in c ++ 0x?

In c++03esso è abbastanza chiaro che l'eliminazione di un puntatore nullo non ha alcun effetto. Infatti, è esplicitamente affermato in §5.3.5/2quanto: In entrambe le alternative, se il valore dell'operando di cancellazione è il puntatore nullo, l'operazione non ha effetto. Tuttavia, nell'attuale bozza di c++0xquesta frase sembra mancare. Nel resto della …

85 c++ null language-lawyer delete-operator

6

Funzioni pure: "Nessun effetto collaterale" implica "Sempre lo stesso output, dato lo stesso input"?

Le due condizioni che definiscono una funzione puresono le seguenti: Nessun effetto collaterale (ovvero sono consentite solo modifiche all'ambito locale) Restituisce sempre lo stesso output, dato lo stesso input Se la prima condizione è sempre vera, ci sono volte in cui la seconda condizione non è vera? Cioè è davvero …

84 javascript functional-programming language-lawyer pure-function

3

Un puntatore con l'indirizzo e il tipo corretti è ancora sempre un puntatore valido da C ++ 17?

(In riferimento a questa domanda e risposta .) Prima dello standard C ++ 17, la seguente frase era inclusa in [basic.compound] / 3 : Se un oggetto di tipo T si trova in un indirizzo A, si dice che un puntatore di tipo cv T * il cui valore è …

84 c++ pointers c++14 language-lawyer c++17

7

Posso usare NULL come sostituzione per il valore di 0?

Posso usare il NULLpuntatore come sostituto del valore di 0? O c'è qualcosa di sbagliato in questo fare? Ad esempio: int i = NULL; in sostituzione di: int i = 0; Come esperimento ho compilato il seguente codice: #include <stdio.h> int main(void) { int i = NULL; printf("%d",i); return 0; …

73 c++ c pointers null language-lawyer

5

Ordine di valutazione degli indici di array (rispetto all'espressione) in C

Guardando questo codice: 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); } Quale voce dell'array viene aggiornata? 0 o 2? C'è una parte nella specifica di C che indica la precedenza dell'operazione in questo caso …

47 c language-lawyer order-of-execution

3

std :: vector (ab) utilizza l'archiviazione automatica

Considera il seguente frammento: #include <array> int main() { using huge_type = std::array<char, 20*1024*1024>; huge_type t; } Ovviamente si bloccherebbe sulla maggior parte delle piattaforme, perché la dimensione dello stack predefinita è generalmente inferiore a 20 MB. Ora considera il seguente codice: #include <array> #include <vector> int main() { using …

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

2

Collisione dello spazio dei nomi C ++ nel costruttore di copie

Ho il codice seguente: namespace A { struct Foo { int a; }; } struct Foo { int b; }; struct Bar : public A::Foo { Bar(Foo foo) { c = foo.b; } int c; }; I compilatori C ++ si lamentano di "c = foo.b" perché A :: Foo …

33 c++ inheritance namespaces language-lawyer

3

Decltype e parentesi C ++ - perché?

L'argomento è stato discusso in precedenza , ma questo non è un duplicato. Quando qualcuno chiede la differenza tra decltype(a)e decltype((a)), la solita risposta è - aè una variabile, (a)è un'espressione. Trovo questa risposta insoddisfacente. Innanzitutto, aè anche un'espressione. Le opzioni per un'espressione primaria includono, tra le altre cose: (espressione) …

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

6

Qual è il modo corretto per convertire 2 byte in un numero intero a 16 bit con segno?

In questa risposta , zwol ha affermato: Il modo corretto di convertire due byte di dati da una fonte esterna in un intero con segno a 16 bit è con funzioni di supporto come questa: #include <stdint.h> int16_t be16_to_cpu_signed(const uint8_t data[static 2]) { uint32_t val = (((uint32_t)data[0]) << 8) | …

31 c casting language-lawyer

2

Perché la grammatica BNF di C consente dichiarazioni con una sequenza vuota di dichiaratori init?

Quando ho esaminato la grammatica BNF di C, ho pensato che fosse strano che la regola di produzione per una dichiarazione fosse simile a questa (secondo https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of% 20C% 20in% 20Backus-Naur% 20form.htm ): <declaration> ::= {<declaration-specifier>}+ {<init-declarator>}* ; Perché usare un *quantificatore (che significa zero o più occorrenze) per il init-declarator? …

28 c language-lawyer context-free-grammar

2

Perché std :: hash non è garantito per essere deterministico?

Di seguito, utilizziamo N4140 (standard C ++ 14). In base al § 17.6.3.4 Requisiti di hash , Il valore restituito dipende solo dall'argomento k per la durata del programma . [Nota: pertanto tutte le valutazioni dell'espressione h(k)con lo stesso valore per kproducono lo stesso risultato per una data esecuzione del …

28 c++ hash language-lawyer std

1

La classe non può accedere al proprio metodo constexpr statico privato - Clang bug?

Questo codice non viene compilato in Clang (6,7,8,9, trunk), ma viene compilato correttamente in 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

Ottimizzazione imprevista di strlen durante l'aliasing dell'array 2-d

Ecco il mio codice: #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); } Usando gcc 8.3.0 o 8.2.1 …

28 c multidimensional-array language-lawyer strlen gcc8

Domande taggate «language-lawyer»