Início / coding / Perguntas / 79326160
Accepted
einpoklum
Asked: 2025-01-03 18:27:00 +0800 CST

Em C, é verdade que PRId64 é definido se e somente se int64_t estiver disponível?

  • 772

Quero trabalhar de forma portável com tipos assinados de 64 bits em C. No entanto, sei que int64_tnão há garantia de que isso seja definido. Posso usar alguma mágica do pré-processador na geração do meu sistema de construção (por exemplo, CMake's check_type_size()) para obter definições do pré-processador me dizendo se posso usá-lo ou não. No entanto, temos o PRId64especificador de formato, que devemos usar para passar int64_tvalores para printf()funções semelhantes a . Posso, portanto, usar a definição de PRId64como um proxy para determinar se está ou não int64_tdisponível?

c

2 respostas

  1. Best Answer

    Você pode testar a existência de macros opcionais que podem ser fornecidas por <stdint.h>, como INT64_MINou INT64_MAXque são definidas se e somente se os tipos opcionais correspondentes, como, int64_tforem implementados.

    De C99 §7.18 par. 4, e C11/C17 §7.20 par. 4, e C23 §7.22.1 par. 4:

    Para cada tipo descrito aqui que a implementação fornece, <stdint.h>deve declarar o nome do typedef e definir as macros associadas. Por outro lado, para cada tipo descrito aqui que a implementação não fornece, <stdint.h>não deve declarar o nome do typedef nem deve definir as macros associadas. Uma implementação deve fornecer os tipos descritos como "obrigatórios", mas pode não fornecer nenhum dos outros (descritos como "opcionais").

    Atualmente, o padrão não exige que a PRId64macro não seja definida por <inttypes.h>se int64_tnão for implementada, e o mesmo ocorre para os outros tipos opcionais definidos por <stdint.h>.

    Resumindo:

    • defined(INT64_MIN)se e somente se int64_tfor implementado
    • defined(PRId64)não implica int64_tque seja implementado
    • !defined(PRId64)implica int64_tnão é implementado
    • 7

  2. Sim, mas...

    É realmente um proxy para esse propósito. O padrão tem o seguinte a dizer <inttypes.h>em 7.8.1:

    O cabeçalho <inttypes.h> inclui o cabeçalho <stdint.h> e o estende com recursos adicionais fornecidos por implementações hospedadas.

    "Hospedado" aqui se refere a sistemas com sistemas operacionais; então sim, você pode usar a macro para detectar a presença dos tipos correspondentes em ambientes hospedados. Observe que uma implementação compatível com C99 poderia definir as macros de formato printf e scanf sem int64_testarem presentes (conforme apontado por Ian Abbott), embora isso pareça um cenário bastante absurdo. Se, por outro lado, você planeja executar o código (ou oferecer suporte à execução dele) em ambientes não hospedados, como plataformas embarcadas ou kernels, você não deve usar, <inttypes.h>pois esse cabeçalho pode não estar disponível. Então, o que você pode usar em vez disso?

    int64_t/ uint64_tsão chamados de "inteiros de largura exata" no padrão e são definidos em 7.22.2.2 (C23) e 7.18.1.1 (C99). O seguinte pode ser encontrado no rascunho do padrão C23 sob a especificação de <stdint.h>:

    7.22.3 Larguras de tipos inteiros de largura especificada

    7.22.3.1 Geral

    Cada instância de qualquer macro definida deve ser substituída por uma expressão constante adequada para uso em diretivas de pré-processamento #if. Seu valor definido pela implementação deve ser igual ou maior que o valor dado nas subcláusulas subsequentes, exceto quando declarado como sendo exatamente o valor dado. Uma implementação deve definir apenas as macros correspondentes aos nomes typedef que ela realmente fornece.

    7.22.3.2 Largura de tipos inteiros de largura exata

    INT N _WIDTH exatamente N
    UINT N _WIDTH exatamente N

    Em C99, as macros de largura não são especificadas; pode-se usar as macros de limite descritas em 7.18.2.1 em vez disso. Essas macros têm uma ressalva semelhante às macros C23, encontradas no parágrafo 4 de 7.18.

    7.18.2.1 Limites de tipos inteiros de largura exata

    — valores mínimos de tipos inteiros com sinal de largura exata
        INT N _MIN exatamente −(2N −1 )
    — valores máximos de tipos inteiros com sinal de largura exata
        INT N _MAX exatamente 2N −1 − 1

    Ou seja, você pode usar as macros definidas no cabeçalho que typedefsão os tipos em primeiro lugar. Por exemplo, INT64_WIDTHe UINT64_MIN.

    • 3

relate perguntas