Existência ou não de long_double_t (padrão C:C23)

DR: a base mínima para confiar no fornecimento de uma implementação em conformidade long_double_té que ela defina macro __STDC_IEC_60559_TYPES__como 202311L.

No entanto, a unidade de tradução também deve definir __STDC_WANT_IEC_60559_TYPES_EXT__(para qualquer coisa) antes de incluir math.h pela primeira vez para que essa definição seja realmente exposta. (C23 H.8/1)

A redação da norma é clara em vários detalhes:

Aparentemente não é tão claro.

Como questão preliminar, a especificação diz

Uma implementação que defina __STDC_IEC_60559_TYPES__deve 202311L estar em conformidade com as especificações deste anexo.

Isto deve ser entendido para evitar que as implementações se conformem com qualquer coisa no anexo se não definirem __STDC_IEC_60559_TYPES__esse valor específico (mesmo que o definam com algum outro valor). Esta é uma medida intencional de compatibilidade futura.

A especificação continua dizendo:

Uma implementação só pode definir __STDC_IEC_60559_TYPES__se definir __STDC_IEC_60559_BFP__[...] ou definir__STDC_IEC_60559_DFP__

Observe bem que, de acordo com o anterior, nem essa disposição nem qualquer outra coisa no anexo se aplicam, a menos que __STDC_IEC_60559_TYPES__seja definido exatamente como 202311L. Caso contrário, todas as apostas serão canceladas no que diz respeito ao Anexo H (de C23). Por exemplo, uma implementação que definisse __STDC_IEC_60559_TYPES__nada e não definisse um __STDC_IEC_60559_BFP__ou outro __STDC_IEC_60559_DFP__não deixaria de estar em conformidade por esse motivo.

• Se __STDC_IEC_60559_BFP__for definido pelo compilador, isso implica que _FloatNe _FloatN_toutros _FloatN*tipos são definidos.

Não exatamente. A especificação não associa nenhum requisito __STDC_IEC_60559_BFP__apenas à definição de uma implementação. Além da restrição geral por definição de __STDC_IEC_60559_TYPES__, discutida acima, a especificação condiciona explicitamente algumas das disposições específicas nesta área à definição da última macro.

Quando todas essas condições são atendidas, uma implementação em conformidade fornece tipos _Float32e _Float64, e esses são equivalentes a floate double, respectivamente. Além disso, nessas circunstâncias, se long doublecorresponder a um dos formatos de troca binária ISO 60559 para alguma largura N maior que 64, então a implementação fornece o _FloatNtipo correspondente como equivalente a long double. Outros _FloatNtipos são permitidos, mas não obrigatórios, e o conjunto deles é definido pela implementação. (H.2.1/4)

Uma implementação em conformidade que se vincule às disposições deste anexo fornece _FloatN_tem seu math.h para cada _FloatNtipo que fornece.

• Se __STDC_IEC_60559_DFP__for definido pelo compilador, isso implica que _DecimalNe _DecimalN_toutros _DecimalN*tipos são definidos.

Novamente, as implementações não estão vinculadas a nada no anexo, a menos que sejam definidas __STDC_IEC_60559_TYPES__adequadamente. Nesse caso, __STDC_IEC_60559_DFP__ser definido implica que _Decimal32, _Decimal64e _Decimal128são fornecidos. Tipos adicionais _DecimalNsão explicitamente permitidos e que o conjunto de tais tipos adicionais é definido pela implementação.

Quando as disposições do anexo se aplicarem, math.h fornecerá um _DecimalN_tcorrespondente a cada uma _DecimalNque a implementação definir.

• Em ambos os casos, a macro __STDC_IEC_60559_TYPES__está definida.

Não, não existe tal exigência. A lógica é inversa. Conforme já discutido, nenhum dos itens do Anexo H se aplica, a menos que __STDC_IEC_60559_TYPES__seja definido adequadamente. Se for, então pelo menos uma das outras duas macros também deve ser definida, mas uma delas definida não é base para concluir nada sobre __STDC_IEC_60559_TYPES__.

• Se a macro __STDC_IEC_60559_TYPES__estiver definida, significa que pelo menos uma das macros __STDC_IEC_60559_BFP__ou __STDC_IEC_60559_DFP__(ou ambas) está definida.

Mais especificamente, isso se aplica apenas se __STDC_IEC_60559_TYPES__for definido exatamente como 202311L.

Se __STDC_IEC_60559_TYPES__estiver definido, é suficiente ter certeza de que long_double_ttambém está definido em <math.h>?

A macro __STDC_IEC_60559_TYPES__definida com exatidão 202311Lé suficiente para ter certeza de que long_double_testá disponível na implementação. O anexo não impõe quaisquer condições adicionais a este respeito. O programa precisa ser ativado, no entanto. C23 H.8/1:

Os identificadores adicionados aos cabeçalhos da biblioteca por este anexo são definidos ou declarados pelos seus respectivos cabeçalhos apenas se a macro __STDC_WANT_IEC_60559_TYPES_EXT__for definida (pelo usuário) no ponto do código onde o cabeçalho apropriado é incluído pela primeira vez.

Você escreveu:

Minha dúvida vem do seguinte caso particular que pode surgir:

• __STDC_IEC_60559_TYPES__e __STDC_IEC_60559_DFP__estão definidos, mas __STDC_IEC_60559_BFP__não estão definidos.

Neste caso, os tipos decimais são definidos.

Verdadeiro.

No entanto, long_double_tnão é um tipo decimal.

Quem diz? C23 6.2.6.1/1:

As representações de todos os tipos não são especificadas, exceto conforme indicado nesta subseção.

Essa subcláusula não define a representação de nenhum tipo de FP.

Não há nenhum requisito de que long doubleseja long_double_tdo tipo binário. Parece nem haver uma exigência de que esses dois tipos sejam equivalentes, embora eu esperasse que isso fosse uma questão de qualidade de implementação.

Mas não há problema, mesmo que long_double_tseja do tipo binário. __STDC_IEC_60559_BFP__não ser definido não implica que a implementação não forneça nenhum tipo binário de FP. Significa apenas que a implementação se recusa a prometer que está em conformidade com todas as disposições do Anexo H no que diz respeito aos tipos de FP binários.

A macro é __STDC_IEC_60559_BFP__necessária para existir para garantir a existência de long_double_t?

Não. H.11/6 especifica que long_double_testá disponível em math.h, sujeito à aceitação do programa conforme discutido acima, e que não está condicionado a nada além da mesma __STDC_IEC_60559_TYPES__macro de teste de recurso à qual tudo no anexo está condicionado. Portanto, se uma implementação em conformidade for definida __STDC_IEC_60559_TYPES__, 202311Lentão seu math.h será definido long_double_tpara os programas que aceitarem.