Надежное определение типов в соответствии со стандартами C и C++

Есть ли способ ввести каламбур, который действителен как в C, так и в C++? Предпочтительно низкие накладные расходы и избегание тривиальных взломов препроцессора.

В C89 я знаю, что могу сделать что-то вроде этого:

unsigned int float_bits(float num) {
    return *(unsigned int *)#
}

Однако это нарушает строгое правило алиасинга C99. Так что что-то вроде этого может быть более переносимым для различных стандартов C:

unsigned int float_bits(float num) {
    union { float f; unsigned int i; } u;
    u.f = num;
    return u.i;
}

Но я знаю, что это недопустимый C++, потому что только один член объединения может быть «активным» в каждый момент времени. Типичное решение для C и C++ выглядит примерно так:

unsigned int float_bits(float num) {
    unsigned int i;
    memcpy(&i, &num, sizeof(int));
    return i;
}

Однако это зависит от того, сможет ли компилятор оптимизировать вызов memcpy. Является ли memcpy единственным методом, переносимым между стандартами C и C++?