Início / coding / Perguntas / 79241209
Accepted
PkDrew
Asked: 2024-12-01 16:55:30 +0800 CST

Dado um valor duplo x, por que (signed long long)(x) != *(signed long long *)(&x)?

  • 772

Gostaria de saber por que o código abaixo imprime "errado".

double x = 0x8000000000000000;
signed long long v1 = (signed long long)(x);
signed long long v2 = *(signed long long *)(&x);
printf( v1 == v2? "correct\n" : "wrong\n" );

Tentei imprimir a representação binária de v1 e v2 respectivamente pelo código abaixo:

printf( "v1 = 0b" );
for ( int i = 63; i > 0; i-- ) {
    printf( "%d", ( ( v1 >> i ) & 1 ) );
}
printf( "\n" );

printf( "v2 = 0b" );
for ( int i = 63; i > 0; i-- ) {
    printf( "%d", ( ( v2 >> i ) & 1 ) );
}
printf( "\n" );

Acontece que v1 está correto, mas v2 é 0b010000111110000000000000000000000000000000000000000000000000000.

Alguém poderia ser tão gentil em ensinar o que acontece aqui?

Também gostaria de saber se o padrão C oferece alguma maneira de imprimir a representação subjacente de binário ou hexadecimal, de modo que meu esquema de impressão possa ser substituído por uma chamada de função de uma linha?

c

1 respostas

  1. Best Answer

    No primeiro caso

    signed long long v1 = (signed long long)(x);

    o compilador realiza a conversão de doublepara signed long long.

    No segundo caso

    signed long long v2 = *(signed long long *)(&x);

    o compilador interpreta a representação interna do double armazenado como um objeto do tipo signed long long.

    Preste atenção que os números float são armazenados internamente em formatos especiais.

    Do Projeto Padrão C23 n3088:

    2 Os seguintes parâmetros são usados ​​para definir o modelo para cada tipo flutuante:

    sinal s (±1)

    b base ou raiz da representação do expoente (um inteiro > 1)

    e expoente (um inteiro entre um emin mínimo e um emax máximo)

    precisão p (o número de dígitos da base b no significando)

    fk inteiros não negativos menores que b (os dígitos do significando)

    Para cada tipo flutuante, os parâmetros b, p, emin e emax são constantes fixas.

    Quanto à sua última pergunta, se não me engano, no Padrão C23 foi introduzido um especificador de conversão bque permite gerar números inteiros em uma representação binária.

    Quanto ao C++, a partir do Padrão C++20 você pode usar o especificador de formato bou Bdentro da saída de formato (veja a descrição do cabeçalho <format>)

    • 3

relate perguntas