Арифметические операторы в универсальных типах

.NET 7 представляет новые универсальные интерфейсы, связанные с математикой, в библиотеке базовых классов. Доступность этих интерфейсов означает, что параметр типа универсального типа или метода может быть "числовым". Кроме того, C# 11 и более поздних версий позволяет определять static virtual элементы интерфейса. Так как операторы должны быть объявлены как static, эта новая функция C# позволяет объявлять операторы в новых интерфейсах для типов, таких как число.

Вместе эти инновации позволяют выполнять математические операции универсально, т. е. не зная точного типа, с которым вы работаете. Например, если вы хотите написать метод, добавляющий два числа, ранее пришлось добавить перегрузку метода для каждого типа (например, static int Add(int first, int second) и static float Add(float first, float second)). Теперь можно написать один универсальный метод, где параметр типа ограничен числом типа. Например:

static T Add<T>(T left, T right)
    where T : INumber<T>
{
    return left + right;
}

В этом методе параметр T типа ограничен типом, реализующим новый INumber<TSelf> интерфейс. INumber<TSelf>IAdditionOperators<TSelf,TOther,TResult> реализует интерфейс, содержащий оператор +. Это позволяет методу универсально добавлять два числа. Этот метод можно использовать с любым из. Встроенные числовые типы NET, так как они были обновлены для реализации INumber<TSelf> в .NET 7.

Авторы библиотеки получают большую выгоду от универсальных математических интерфейсов, так как они могут упростить базу кода, удаляя избыточные перегрузки. Другие разработчики будут использовать косвенно, так как api, которые они используют, могут начать поддерживать больше типов.

Интерфейсы

Интерфейсы были разработаны достаточно точно, чтобы пользователи могли определять собственные интерфейсы поверх, а также быть достаточно детализированными, чтобы они легко потребляли. В этой степени существует несколько основных числовых интерфейсов, с которыми большинство пользователей будут взаимодействовать, например INumber<TSelf> и IBinaryInteger<TSelf>. Более подробные интерфейсы, такие как IAdditionOperators<TSelf,TOther,TResult> и ITrigonometricFunctions<TSelf>, поддерживают эти типы и доступны разработчикам, которые определяют собственные числовые интерфейсы, относящиеся к домену.

• Числовые интерфейсы
• Интерфейсы операторов
• Интерфейсы функций
• Анализ и форматирование интерфейсов

Числовые интерфейсы

В этом разделе описываются интерфейсы, описывающие System.Numerics типы числа и доступные для них функциональные возможности.

^{1 Двоичные типы с плавающей запятой (doubleDouble), Halfи Single (float).}

². Типы целых чиселBytebyte(), (), Int16 (short), Int32 (int), Int64IntPtrnintSByteInt128UInt16ushortsbyteuintlongUInt32 (ulong) UInt128UInt64 и UIntPtr ().nuint

Интерфейс, который вы, скорее всего, используется напрямуюINumber<TSelf>, который примерно соответствует реальному числу. Если тип реализует этот интерфейс, это означает, что значение имеет знак ( unsigned включает типы, которые считаются положительными) и можно сравнить с другими значениями того же типа. INumberBase<TSelf> предоставляет более сложные понятия, такие как сложные и мнимые числа, например квадратный корень отрицательного числа. Другие интерфейсы, например, были созданы, так как IFloatingPointIeee754<TSelf>не все операции имеет смысл для всех типов чисел, например вычисление пола числа имеет смысл только для типов с плавающей запятой. В библиотеке базовых классов .NET тип Double с плавающей запятой реализует IFloatingPointIeee754<TSelf> , но Int32 не выполняет.

Некоторые интерфейсы также реализуются различными другими типами, включая Char, , DateOnly, DateTime, DateTimeOffset, GuidDecimalTimeOnlyи .TimeSpan

В следующей таблице показаны некоторые основные API, предоставляемые каждым интерфейсом.

¹. Чтобы понять поведение трех Create* методов, рассмотрим следующие примеры.

Пример, если задано слишком большое значение:

• byte.CreateChecked(384) вызовет OverflowExceptionисключение .
• byte.CreateSaturating(384) возвращает значение 255, так как 384 больше Byte.MaxValue (что составляет 255).
• byte.CreateTruncating(384) возвращает 128, так как он принимает наименьшее 8 бит (384 имеет шестнадцатеричное представление 0x0180, а наименьшее 8 битов — 0x80128).

Пример, если задано слишком небольшое значение:

• byte.CreateChecked(-384) вызовет OverflowExceptionисключение .
• byte.CreateSaturating(-384) возвращает значение 0, так как -384 меньше Byte.MinValue (что равно 0).
• byte.CreateTruncating(-384) возвращает 128, так как он принимает наименьшее 8 бит (384 имеет шестнадцатеричное представление 0xFE80, а наименьшее 8 битов — 0x80128).

Методы Create* также имеют некоторые особые аспекты для типов с плавающей запятой IEEE 754, например float и , так как они имеют специальные значения PositiveInfinity, NegativeInfinityи doubleNaN. Все три Create* API ведут себя как CreateSaturating. Кроме того, в то время как MinValue и MaxValue представляет наибольшее отрицательное или положительное "нормальное" число, фактические и максимальные значения, NegativeInfinityPositiveInfinityпоэтому они зажимаются с этими значениями.

Интерфейсы операторов

Интерфейсы операторов соответствуют различным операторам, доступным для языка C#.

• Они явно не объединяют такие операции, как умножение и деление, так как это не правильно для всех типов. Например, допустимо, Matrix4x4 * Matrix4x4 но Matrix4x4 / Matrix4x4 не является допустимым.
• Обычно они позволяют типам входных и результирующих данных отличаться для сценариев поддержки, таких как деление двух целых чисел для получения double, например, 3 / 2 = 1.5или вычисления среднего значения набора целых чисел.

Интерфейсы функций

Интерфейсы функций определяют общие математические API, которые применяются более широко, чем к определенному числового интерфейса. Эти интерфейсы реализуются всеми и могут быть реализованы IFloatingPointIeee754<TSelf>другими соответствующими типами в будущем.

Анализ и форматирование интерфейсов

Анализ и форматирование являются основными понятиями программирования. Они часто используются при преобразовании входных данных пользователя в заданный тип или отображении типа для пользователя. Эти интерфейсы находятся в System пространстве имен.

¹Этот интерфейс не является новым, и не является универсальным. Однако он реализуется всеми типами чисел и представляет обратную операцию IParsable.

Например, следующая программа принимает два числа в качестве входных данных, считывая их из консоли с помощью универсального метода, в котором параметр типа ограничен.IParsable<TSelf> Он вычисляет среднее значение с помощью универсального метода, в котором параметры типа для входных и результирующих значений ограничены INumber<TSelf>, а затем отображаются результаты в консоли.

using System.Globalization;
using System.Numerics;

static TResult Average<T, TResult>(T first, T second)
    where T : INumber<T>
    where TResult : INumber<TResult>
{
    return TResult.CreateChecked( (first + second) / T.CreateChecked(2) );
}

static T ParseInvariant<T>(string s)
    where T : IParsable<T>
{
    return T.Parse(s, CultureInfo.InvariantCulture);
}

Console.Write("First number: ");
var left = ParseInvariant<float>(Console.ReadLine());

Console.Write("Second number: ");
var right = ParseInvariant<float>(Console.ReadLine());

Console.WriteLine($"Result: {Average<float, float>(left, right)}");

/* This code displays output similar to:

First number: 5.0
Second number: 6
Result: 5.5
*/

См. также

• Универсальная математика в .NET 7 (запись блога)