Блог

Я пишу класс, который требует, чтобы тип шаблона, с которым он создается, вел себя как неподписанные типы при операциях сдвига битов. Это так, потому что отрицательные числа при битовом сдвиге ведут себя иначе, чем положительные числа при операциях битового сдвига. Поэтому моя идея заключалась в том, чтобы просто преобразовать любой тип, который я получаю в качестве параметра шаблона, в его неподписанную версию в typedef и внутренне использовать только версию с определением типа. Если тип параметра шаблона не поддерживает это, то… это просто не так, и возникнет ошибка времени компиляции. То, что я пробовал, выглядит так:

 template <class X>
class C
{
    using Y = unsigned X;
};
  

что неверно: error: type-id cannot have a name

Возможно ли это вообще, и если да, то как?

Вы ищете std::make_unsigned :

 template <class X>
class C
{
    using Y = std::make_unsigned_t<X>;
};