Это нормальная ситуация, и я просто неправильно использую generics или в коде что-то не так написал?
По определению, оператор mod
выполняет операцию целочисленного деления с возвратом остатка. В качестве операндов для этого оператора допустимо использовать только целые числа (Byte
, Word
, Cardinal
, Integer
, Int64
, UInt64
...), а все другие типы запрещены, о чём вам и говорит компилятор.
Под капотом, при целочисленном делении используются ассемблерные команды div
(для беззнаковых типов) и idiv
(для типов со знаком). И всё отличие деления чисел с разной битностью заключается лишь в том, в какие регистры будут помещены операнды и в каких регистрах будет результат (остаток). Подробнее про регистры можете почитать тут.
На 32-х битной платформе, для деления 64-битных целых используются встроенные процедуры __llmod
, __llumod
, поскольку в этом случае такие числа хранятся сразу в 2-х регистрах и их невозможно элегантно разделить одной командой.
мне нужно создать одну функцию для работы с разными типами целочисленных переменных, которая будет работать в зависимости от размера конкретной переменной
Если вам очень хочется использовать дженерики, то можете воспользоваться вот таким вариантом:
class function TMyClass.DoMod<T>(const AValue: T): Integer;
begin
if TypeInfo(T) = TypeInfo(Byte) then begin
Result := PByte(@AValue)^ mod 5;
end else if TypeInfo(T) = TypeInfo(Integer) then begin
Result := PInteger(@AValue)^ mod 5;
end else begin
Assert(False, 'Неожиданный тип входной переменной!');
end;
end;
Только не забудьте перечислить все типы, с которыми вы намерены работать.
T
должен принимать целочисленный вид, однако подобных ограничений дженериков в delphi не существует. Самое близкое ограничение здесь -func<T:record>
, которое ограничивает параметраT
value-типами. То есть на уровне дженериков не получится ограничить только различные целочисленные параметрыtypInfo
иsizeof(T)
, но приплетаниеrtti
для математических операций будет нескольким оверхэдом.Cardinal
, то размер всегда будет один и тот же.