Блог

Учитывая этот макрос

 #define MAKE_TYPE(_a, _b, _c, _d) ((_a) | ((_b) << 8) | ((_c) << 16) | ((_d) << 24))
  

Я хотел бы заменить его так, чтобы вместо него использовался массив[4].
Чтобы я мог написать MAKE_TYPE(«ABCD») вместо уродливого MAKE_TYPE(‘A’, ‘B’, ‘C’, ‘D’)

Я использую это в некоторых во время компиляции для генерации некоторых констант.

Но ему не нравится, когда я передаю строку, подобную этой

 #define MAKE_TYPE(s) ((s[3]) | ((s[2]) << 8) | ((s[1]) << 16) | ((s[0]) << 24))
  

ошибка: ссылка на массив не может появиться в константном выражении

Что ж, это не сработало. Итак, я подумал, что попробую это сделать, используя шаблонное метапрограммирование

 template< char[4] s > class MAKE_TYPE
{
 public:
 enum{ RESULT = s[3] | (s[2] << 8) | (s[1] << 16) | (s[0] << 24) };
};
  

К сожалению, это также не сработало. Кажется, я не могу поместить символ [4] в шаблон.
И я получаю эти ошибки:

ошибка: ожидаемый ‘>’ перед ‘s’ ошибка: ‘s’ не был объявлен в этой области ошибка: ссылка на массив не может появиться в константном выражении

Как я могу это сделать?

Сообщение об ошибке означает то, что оно говорит: массивы не могут отображаться в константных выражениях.

Выражения шаблона должны быть константными выражениями, поэтому массивы не могут быть в аргументах шаблона.

У вас мог бы быть указатель на массив, но это не то, что вы хотите.

Ах, учитывая, что ограничение составляет всего четыре символа, вы могли бы использовать многосимвольную константу, например, 'ABCD' в одинарных кавычках. Но тогда порядок символов определяется реализацией.

Другая вещь, которую вы, похоже, пытаетесь сгенерировать, — это сгенерировать имя самого класса из символьных констант. Это отчасти возможно, если вы передаете в макрос простые буквы, а не символьные литералы, но, ну, не совсем. Даже если бы это вроде как сработало, это было бы довольно адски.

Вы пробовали использовать еще какие-нибудь круглые скобки и / или приведения?

 #define MAKE_TYPE(s) (int((s)[3]) | (int((s)[2]) << 8) | (int((s)[1]) << 16) | (int((s)[0]) << 24))
  

У меня это работает, я использую что-то очень похожее для кодов FourCC, и мой макрос используется множеством разных компиляторов.

Вы могли бы использовать многосимвольную константу, например int four = 'four' . Однако поведение зависит от компилятора.

Если вы знаете, что входные данные являются char * :

 template <class RT> RT MakeType( const char * _arg )
{
  return _arg[3] | (_arg[2] << 8) | (_arg[1] << 16) | (_arg[0] << 24);
}
  

ещё:

 template <class T, class RT> RT MakeType( const T amp;B0, const T amp;B1, const T amp;B2, const T amp;B3 )
{
  return B3 | (B2 << 8) | (B1 << 16) | (B0 << 24);
}
  

Я бы сделал:

 inline unsigned int MakeType( const char * _arg )
{
  return _arg[3] | (_arg[2] << 8) | (_arg[1] << 16) | (_arg[0] << 24);
}
  

и приведение, если это необходимо.

Как насчет чего-то подобного?

 template <typename T>
typename boost::enable_if_c<(T('1234')==0x31323334), T>::type
make(T v)
{
    return v;
}

const int value = make('ABCD');
  

Это защитная сетка для зависящего от компилятора поведения многосимвольной константы. Вы можете добавить дополнительные реализации для другого поведения компилятора, переключая байты по мере необходимости. Это предполагает, что порядок байтов '1234' вычисления согласован для каждого компилятора.

Эксперты по шаблонам могут быть в состоянии доработать.