специализация шаблона по размеру

Question

Я хотел бы предоставить шаблонную функцию, которая изменяет свою реализацию (-> специализация) в соответствии с размером типа шаблона.

Что-то похожее на это (пропущены типы типов), но без if / elseif:

template<class T>
T byteswap(T & swapIt)
{
    if(sizeof(T) == 2)
    {
        return _byteswap_ushort (swapIt);
    }
    else if(sizeof(T) == 4)
    {
        return _byteswap_ulong(swapIt);
    }
    else if(sizeof(T) == 8)
    {
        return _byteswap_uint64(swapIt);
    }
            throw std::exception();
}

Я знаю, что есть много путей для достижения моей цели, но, поскольку я пытаюсь узнать о SFINAE и type traits, я особенно заинтересован в решениях, использующих эти методы для принятия решения во время компиляции.какую специализацию выбрать и какие звонки не допускаются.

Возможно, реализует черту класса is_4ByteLong и использует boost :: enable_if ...

Я должен признать, что я застрял прямо сейчас, поэтому я благодарю вас за любую помощь или совет

Answer 1

Вам не нужны SFINAE или черты типа. Ванильный шаблон специализации достаточно. Конечно, он должен специализироваться на структурах, поскольку C ++ (98) не поддерживает частичную специализацию шаблона функции.

template <typename T, size_t n>
struct ByteswapImpl
/*
{
  T operator()(T& swapIt) const { throw std::exception(); }
}
*/    // remove the comments if you need run-time error instead of compile-time error.
;

template <typename T>
struct ByteswapImpl<T, 2> {
  T operator()(T& swapIt) const { return _byteswap_ushort (swapIt); }
};

// ...

template <typename T>
T byteswap(T& swapIt) { return ByteswapImpl<T, sizeof(T)>()(swapIt); }

Answer 2

Просто создайте вспомогательный класс, который принимает размер в качестве аргумента шаблона:

#include <cstddef>
#include <iostream>


template<std::size_t Size>
struct ByteSwapper { };

template<>
struct ByteSwapper<2> {
  static unsigned short swap(unsigned short a) {
    return 2 * a;
  }
};

template<typename T>
T byteswap(const T& a) {
  return ByteSwapper<sizeof(T)>::swap(a);
}


int main() {
  unsigned short s = 5;
  std::cout << byteswap(s) << std::endl;
  unsigned int i = 7;
  // std::cout << byteswap(i) << std::endl; // error
}

Answer 3

Просто для демонстрации enable_if в действии, так как вы говорили об этом:

template <class T>
typename boost::enable_if_c< sizeof(T) == 2, T >::type
swapIt(T& rhs) { return _byteswap_short(rhs); }

template <class T>
typename boost::enable_if_c< sizeof(T) == 4, T >::type
swapIt(T& rhs) { return _byteswap_long(rhs); }

и т.д ...

И, конечно, вместо броска, просто нет реализации, если тип не соответствует ни одному из требований и, следовательно, у вас есть ошибка времени компиляции.

Две ноты:

• Использование typename и ::type обязательно
• Я использовал enable_if_c, потому что мое выражение напрямую вычисляет логическое значение, тогда как enable_if требует тип, содержащий элемент ::value, который является логическим.

Answer 4

Могу предложить следующий метод: Его преимущество в том, что вам не нужно throw исключение, если операнд не имеет допустимого размера. Это просто не будет связывать. Так что у вас есть проверка ошибок во время сборки.

template<int size>
void byteswapInPlace(void* p);

template<> void byteswapInPlace<1>(void* p) { /* do nothing */ }

template<> void byteswapInPlace<2>(void* p)
{
    _byteswap_ushort((ushort*) p);
}

template<> void byteswapInPlace<4>(void* p)
{
    _byteswap_ulong((ulong*) p);
}

template<> void byteswapInPlace<8>(void* p)
{
    _byteswap_uint64((uint64*) p);
}


template<class T>
T byteswap(T & swapIt)
{
    byteswapInPlace<sizeof(T)>(&swapIt);
    return swapIt;
}