Есть ли способ сделать утверждение времени компиляции в стиле C++ для определения конечности машины?

Question

У меня есть код низкоуровневой сериализации, который является шаблоном, и я должен знать, что системная консистенция в compiletime явно (потому что шаблоны специализируются на основе сущности системы).

Прямо сейчас у меня есть заголовок с определением какой-то платформы, но я бы предпочел каким-то образом сделать утверждения о контенте с помощью некоторого шаблонного теста (например, static_assert или boost_if). Причина, по которой мой код должен быть скомпилирован и запущен на широком спектре машин, многих специализированных поставщиков и, вероятно, устройств, которые не существуют в 2008 году, поэтому я не могу догадаться, что может понадобиться для этого года заголовка по дороге. А так как кодовая база имеет ожидаемый срок службы около 10 лет. Поэтому я не могу следовать коду навсегда.

Надеюсь, это делает мою ситуацию ясной.

Знаете ли вы, что кто-нибудь знает тест времени компиляции, который может определять сущность, не полагаясь на специфику поставщика?

Answer 1

Если вы используете Autoconf, вы можете использовать AC_C_BIGENDIAN макрос, который достаточно гарантированно работать (установив WORDS_BIGENDIAN определяют по умолчанию)

попеременно, вы можете попробовать что-то вроде следующего (взято из Autoconf) чтобы получить тест, который, вероятно, будет оптимизирован далеко (НКА, по крайней мере, удаляет другую ветвь)

int is_big_endian() 
{ 
    union { 
     long int l; 
     char c[sizeof (long int)]; 
    } u; 

    u.l = 1; 

    if (u.c[sizeof(long int)-1] == 1) 
    { 
     return 1; 
    } 
    else 
     return 0; 
} 

Answer 2

Хм, это интересный вопрос. Моя ставка заключается в том, что это невозможно. Я думаю, вам нужно продолжать использовать макросы и переходить с BOOST_STATIC_ASSERT(!BIG_ENDIAN);, или static_assert в C++ 0x. Причина, по которой я думаю, это потому, что endian'nes - это свойство, если ваша среда исполнения. Однако static_assert учитывается во время компиляции.

Предлагаю ознакомиться с кодом нового GNU gold ELF-линкер. Ян Лэнс Тейлор (Ian Lance Taylor), ее автор, использовал шаблоны для выбора правильной сущности во время компиляции, чтобы обеспечить оптимальную производительность во время выполнения. Он явно создает все возможные континенты, так что у него все еще есть отдельная компиляция (не все шаблоны в заголовках) определения шаблона и объявления. Его код отличный.

Answer 3

Существует нет портативного способа сделать это во время компиляции, лучше всего использовать Boostendian macros или эмулировать методы, которые они используют.