Conformidade padrão de uma macro C

Eu tenho essa pequena jóia aqui (idéia descaradamente roubada do C-FAQ):

/* A lot of checks omitted to get rid of the architectures with a "weird" endianness */
/*...*/
#define MP_ENDIANESS ( (0x41424344ul == *(uint32_t*)"ABCD") ? MP_BIG_ENDIAN : MP_LITTLE_ENDIAN )

É compatível (que não é um comportamento indefinido) com o novo padrão atual (C-18 no momento em que essa pergunta foi feita) e, se sim, quais dos mais antigos também o apoiam?

Também é compatível com C ++ padrão? (Sim, eu sei sobre std::endian)

Tem vários problemas:

• uint32_t não é garantido que exista
• "ABCD", não é garantido que um array decadente para char*(C) / char const*(C ++) esteja alinhado adequadamente uint32_t*. Se não for, o elenco é UB
• se o elenco passou, o deref ( *(uint32_t*)"ABCD") é uma violação estrita de alias (UB)

Você pode simplesmente fazer algo assim:

#if !__cplusplus
    #define LITTLE_ENDIAN_EH() (*(char*)&(int){1});
#else
    //C++ doesn't have compound literals
    static int const LITTLE_ENDIAN_EH_ = 1;
    #define LITTLE_ENDIAN_EH() (*(char*)&LITTLE_ENDIAN_EH_)
#endif

(Funciona porque charexistirá, pode alternar entre qualquer coisa e possui requisitos mínimos de alinhamento.)

Todas as macros, incluindo suas tentativas, têm a desvantagem de serem inadequadas para condicionais de pré-processador ( #if ...) ou em contextos em que é necessária uma expressão constante inteira ( caserótulos, tamanhos de matriz, tamanhos de campo de bits), mas, quando usados ​​em outros lugares, os compiladores modernos geralmente tratam o problema. resultado como uma constante de tempo de compilação no que diz respeito à saída otimizada da montagem.

Esse não é um comportamento definido no C ++. *(uint32_t*)"ABCD"trata a memória "ABCD"como se fosse uma uint32_t, mas como não é realmente, trata-se de uma violação estrita de alias e um comportamento indefinido.