Unsigned Char Шаблон Значение Переполнение

Question

Я использую следующий шаблон для кодирования значений без знака полукокса:

template <unsigned char val> 
struct Cell { 
    enum { value = val }; 

    using add = Cell<val + 1>; 
    using sub = Cell<val - 1>; 
}; 

Я ожидал sub вести себя как стандартный unsigned char переменной относительно переполнения:

unsigned char x = 0; 
x - 1; // 255 

Но вместо Я получаю ошибку компилятора в Clang:

using cell = Cell<0>; 
cell::sub::value; // Error here. 


Non-type template argument evaluates to -1, which cannot be narrowed to type 'unsigned char' 

I s переполнение обрабатывается по-разному в контексте шаблонов?

Answer 1

val - 1 является int на вашей платформе, из-за обычных арифметических преобразований. Не существует смысла для параметра шаблона типа unsigned char, которому должен быть задан аргумент int.

Просто убедитесь, что ваш аргумент шаблона имеет нужный тип: (. С использованием unsigned int буквенными означает, что обычные преобразования производят unsigned int, который хорошо определен сужение семантики)

using sub = Cell<static_cast<unsigned char>(val - 1U)>; 
//    ^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^