A nova norma C (ISO/IEC 9899:2023, também conhecida como C23),
no Anexo H, são definidas diversas macros e tipos,
relativos à aritmética real e complexa,
sujeitos à norma ISO/IEC 60559 (aritmética de ponto flutuante).
De acordo com a subseção H.1, existem três
macros definidas pela implementação para testar a conformidade
com as definições do Anexo H.
__STDC_IEC_60559_TYPES__
__STDC_IEC_60559_BFP__
__STDC_IEC_60559_DFP__
Além disso, para “ativar” as macros e tipos associados,
o usuário deve definir a macro:
__STDC_WANT_IEC_60559_TYPES_EXT__
A redação da norma é clara em vários detalhes:
- Se
__STDC_IEC_60559_BFP__for definido pelo compilador, isso implica que_FloatNe_FloatN_toutros_FloatN*tipos são definidos. - Se
__STDC_IEC_60559_DFP__for definido pelo compilador, isso implica que_DecimalNe_DecimalN_toutros_DecimalN*tipos são definidos. - Em ambos os casos, a macro
__STDC_IEC_60559_TYPES__está definida. - 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.
Na subseção H.11, o tipo long_double_té adicionado a <math.h>.
No entanto, não consigo deduzir em que condições se pode garantir a existência de long_double_tuma determinada implementação.
PERGUNTA:
Se __STDC_IEC_60559_TYPES__estiver definido, é suficiente ter certeza de que long_double_ttambém está definido em <math.h>?
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.
No entanto, long_double_tnão é um tipo decimal.
SUBLEMA:
A macro __STDC_IEC_60559_BFP__deve existir para garantir a existência de long_double_t?
COMENTÁRIOS:
Como @John Bollinger explica em sua resposta,
a existência de *BFP__e/ou *DFP__macros
apenas garante que _FloatNexistam _DecimalNpara certos valores pequenosN de .
(Eu estava ciente desse detalhe, mas minha explicação não foi a melhor.)