WhiteBlackGoose Dec 23 2021 at 14:23

Очень типобезопасно! Концепт продвинутой расширяемой системы единиц измерения с generic math для .NET

3 min

4.9K

Programming*.NET*C#*F#*

+23

Comments 15

OlegZH Dec 23 2021 at 14:28

Версия VS играет значение? На какой версии можно попробовать?

WhiteBlackGoose Dec 23 2021 at 14:33

Ну на VS 22 точно будет работать. Про VS 19 честно - не знаю, не пробовал.

Если что, есть dotnet CLI.

propell-ant Dec 23 2021 at 14:58

Я, когда делал подобное, реализовал операцию умножения для кратных приставок (кило, милли). Тогда объявляются классы базовых единиц измерения, а кратные записываются как
1 * k * m.

lam0x86 Dec 23 2021 at 15:23

Кажется, используя это, можно добиться дженерик-переопределения для операторов (сам я ещё не пробовал эту фичу).

WhiteBlackGoose Dec 23 2021 at 15:26

Нельзя. Проблема в том, что нам нужен дженерик оператор, а не оператор на дженериках. Т. е. что-то типа

static TNew operator +<TNew>(TOld a, TNew b)

DARKShadow Dec 23 2021 at 17:57

А если как тут: https://github.com/dotnet/runtime/blob/main/src/libraries/System.Private.CoreLib/src/System/Int32.cs#L284

WhiteBlackGoose Dec 23 2021 at 17:59

Это приватная реализация, или как она там называется, а не дженерик оператор.

DARKShadow Dec 23 2021 at 18:28

А так:
https://sharplab.io/#v2:EYLgtghglgdgNAFxAJwK4wD4AEBMAGAWAChcBGY4gNwmQAIJaBeWmAUwHdaA5VMAClIBKANxUatYExYduvPjhFi6AYykMA1BNElSATj7KAdNQA2qVoqLEsAZlqwErZADMIy1rQCSAQQAmvgB4AFQBlVhNnOFoggHkEAAsnKKCAJVYAZ1QTBAA+YloC2nZE5A9Q8OcQLz9A8ojkuJLktMzsvKIAb3zC21osUgA2emB0hGQ3BGiWrMmAewAHJwgEWbp1PjrnWhNWZwQGhKdaZCgAc3iESwBfChI7UohfWZgTAE9aUbRlSZ4wWiqfP4Ar8oiDZGB2l0iIU+vdWI9nm97DBJqZzNpugVev0hr9aAslis1nw8Ts9qDeMczhdBJiYUwctJOL8+GSEMYIGYPJoTud2WiLNoYXTeiyHLQBYIGbQElB0hyuVIBdorkA==

Хотя быть может я не совсем понимаю, что имеется ввиду под этим:
static TNew operator +<TNew>(TOld a, TNew b)

WhiteBlackGoose Dec 23 2021 at 18:32

Я же говорю - нет. В твоем коде + все равно НЕ дженерик оператор. Интерфейс никак ни на что не влияет. Интерфейс нужен для того, чтобы уметь ограничить тип до того, у которого есть оператор. А мне нужен дженерик оператор. А его нет. Совсем нет.

UFO just landed and posted this here

WhiteBlackGoose Dec 23 2021 at 17:42

Верно, это до сих пор preview фича

UFO just landed and posted this here

WhiteBlackGoose Dec 23 2021 at 18:37

Сработает, конечно. 1 час / 12 минут будет 0.08 час/мин :).

На самом деле еще нужен метод упрощения, который упрощал бы, например, деление единиц с одной базы до просто скалярного значения. Пока что при любой операции само выражение единицы измерения будет только нарастать.

UFO just landed and posted this here

zVadim Dec 24 2021 at 08:50

Достаточно долго программирую на C# в Enterprise. Успел проникнутся идеей DDD о строгой типизацией бизнес-сущностей, и пытаюсь её использовать там, где это уместно. Но, сталкиваясь только с днями, рублями и квадратными метрами, как то вообще упустил из виду, что вокруг есть целый физический мир. И в нем есть единицы измерения, которые тоже можно типизировать. И не в контексте бизнес-требований, а просто сами по себе. А там и производные единицы, и действия над ними, и приведение одних к другим...

Огромное спасибо за статью! Хожу довольный как ребёнок, который узнал что-то новое)

Show the best of all time