Programação undefined-behavior

2

Quando a chamada de uma função de membro em uma instância nula resulta em um comportamento indefinido?

Considere o seguinte código: #include <iostream> struct foo { // (a): void bar() { std::cout << "gman was here" << std::endl; } // (b): void baz() { x = 5; } int x; }; int main() { foo* f = 0; f->bar(); // (a) f->baz(); // (b) } Esperamos (b)travar, …

120 c++ undefined-behavior language-lawyer standards-compliance null-pointer

9

Como obtive um valor maior do que 8 bits de um número inteiro de 8 bits?

Eu rastreei um inseto extremamente desagradável escondido atrás desta pequena joia. Estou ciente de que, de acordo com a especificação C ++, os estouros assinados são um comportamento indefinido, mas somente quando o estouro ocorre quando o valor é estendido para a largura de bits sizeof(int). Pelo que entendi, incrementar …

118 c++ gcc undefined-behavior

8

É o comportamento “struct hack” tecnicamente indefinido?

O que estou perguntando é o conhecido truque "último membro de uma estrutura tem comprimento variável". É mais ou menos assim: struct T { int len; char s[1]; }; struct T *p = malloc(sizeof(struct T) + 100); p->len = 100; strcpy(p->s, "hello world"); Por causa da forma como a estrutura …

111 c undefined-behavior c89

2

Está usando malloc para comportamento indefinido int até C ++ 20

Disseram-me que o código a seguir tem comportamento indefinido até C ++ 20: int *p = (int*)malloc(sizeof(int)); *p = 10; Isso é verdade? O argumento foi que o tempo de vida do intobjeto não é iniciado antes da atribuição do valor a ele ( P0593R6 ). Para resolver o problema, …

95 c++ malloc undefined-behavior c++20

3

Imprimir ponteiros nulos com% p é um comportamento indefinido?

É um comportamento indefinido imprimir ponteiros nulos com o %pespecificador de conversão? #include <stdio.h> int main(void) { void *p = NULL; printf("%p", p); return 0; } A questão se aplica ao padrão C, e não às implementações C.

93 c language-lawyer c99 undefined-behavior c11

8

Os ramos com comportamento indefinido podem ser considerados inalcançáveis e otimizados como código morto?

Considere a seguinte declaração: *((char*)NULL) = 0; //undefined behavior Evoca claramente um comportamento indefinido. A existência de tal instrução em um determinado programa significa que todo o programa é indefinido ou que o comportamento só se torna indefinido quando o fluxo de controle atinge essa instrução? O programa a seguir …

88 c++ language-lawyer undefined-behavior dead-code unreachable-code

10

Por que printf (“% f”, 0); dar comportamento indefinido?

A declaração printf("%f\n",0.0f); imprime 0. No entanto, a declaração printf("%f\n",0); imprime valores aleatórios. Percebo que estou exibindo algum tipo de comportamento indefinido, mas não consigo descobrir o porquê especificamente. Um valor de ponto flutuante em que todos os bits são 0 ainda é válido floatcom valor de 0. floate inttêm …

87 c++ c printf implicit-conversion undefined-behavior

12

Em que ponto do loop o estouro de inteiro torna-se um comportamento indefinido?

Este é um exemplo para ilustrar minha pergunta, que envolve um código muito mais complicado que não posso postar aqui. #include <stdio.h> int main() { int a = 0; for (int i = 0; i < 3; i++) { printf("Hello\n"); a = a + 1000000000; } } Este programa contém …

86 c++ c undefined-behavior integer-overflow

4

É legal para o código-fonte que contém comportamento indefinido travar o compilador?

Digamos que eu vá compilar algum código-fonte C ++ mal escrito que invoca um comportamento indefinido e, portanto (como eles dizem) "tudo pode acontecer". Do ponto de vista do que a especificação da linguagem C ++ considera aceitável em um compilador "compatível", "qualquer coisa" neste cenário inclui a falha do …

85 c++ language-lawyer undefined-behavior

10

Estouro assinado em C ++ e comportamento indefinido (UB)

Eu estou pensando sobre o uso de código como o seguinte int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Se o loop for iterado ao longo do ntempo, factorserá multiplicado 10exatamente pelo ntempo. No entanto, factorsó é usado …

56 c++ undefined-behavior

3

O incremento de um ponteiro para uma matriz dinâmica do tamanho 0 é indefinido?

AFAIK, embora não possamos criar uma matriz de memória estática de tamanho 0, mas podemos fazê-lo com outras dinâmicas: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Como eu li, page como um elemento de passado passado. Eu posso imprimir o endereço que paponta para. …

34 c++ pointers undefined-behavior dynamic-arrays

7

Como a comparação de ponteiros funciona em C? Tudo bem comparar ponteiros que não apontam para a mesma matriz?

No capítulo 5 de K&R (Linguagem de programação C 2ª edição), li o seguinte: Primeiro, os ponteiros podem ser comparados sob certas circunstâncias. Se pe qponto aos membros da mesma matriz, relações então, como ==, !=, <, >=, etc. trabalho corretamente. O que parece implicar que apenas ponteiros apontando para …

33 c pointers heap undefined-behavior memory-layout

2

Comportamento estranho com campos de classe ao adicionar a um std :: vector

Eu encontrei um comportamento muito estranho (no clang e no GCC) na seguinte situação. Eu tenho um vetor, nodescom um elemento, uma instância de classe Node. Então, chamo uma função nodes[0]que adiciona um novo Nodeao vetor. Quando o novo Nó é adicionado, os campos do objeto de chamada são redefinidos! …

31 c++ vector stdvector undefined-behavior push-back

4

Copiando estruturas com membros não inicializados

É válido copiar uma estrutura em que alguns dos membros não são inicializados? Suspeito que seja um comportamento indefinido, mas, se for o caso, torna perigoso deixar membros não inicializados em uma estrutura (mesmo que esses membros nunca sejam usados diretamente). Então, eu me pergunto se há algo no padrão …

29 c++ initialization copy-constructor undefined-behavior

3

C tem um equivalente de std :: less do C ++?

Recentemente, eu estava respondendo uma pergunta sobre o comportamento indefinido de fazer p < qem C quando pe qsão ponteiros para diferentes objetos / matrizes. Isso me fez pensar: C ++ tem o mesmo comportamento (indefinido) <nesse caso, mas também oferece o modelo de biblioteca padrão std::lessque garante a mesma …

26 c pointers undefined-behavior memory-model memory-segmentation

Perguntas com a marcação «undefined-behavior»