Вдохновленный Единицы измерения в F # и, несмотря на утверждение (here), что вы могли бы Я делаю это на С#, у меня была идея на днях, с которой я играл.
namespace UnitsOfMeasure
{
public interface IUnit { }
public static class Length
{
public interface ILength : IUnit { }
public class m : ILength { }
public class mm : ILength { }
public class ft : ILength { }
}
public class Mass
{
public interface IMass : IUnit { }
public class kg : IMass { }
public class g : IMass { }
public class lb : IMass { }
}
public class UnitDouble<T> where T : IUnit
{
public readonly double Value;
public UnitDouble(double value)
{
Value = value;
}
public static UnitDouble<T> operator +(UnitDouble<T> first, UnitDouble<T> second)
{
return new UnitDouble<T>(first.Value + second.Value);
}
//TODO: minus operator/equality
}
}
Пример использования:
var a = new UnitDouble<Length.m>(3.1);
var b = new UnitDouble<Length.m>(4.9);
var d = new UnitDouble<Mass.kg>(3.4);
Console.WriteLine((a + b).Value);
//Console.WriteLine((a + c).Value); <-- Compiler says no
Следующий шаг пытается реализовать преобразования (фрагмент):
public interface IUnit { double toBase { get; } }
public static class Length
{
public interface ILength : IUnit { }
public class m : ILength { public double toBase { get { return 1.0;} } }
public class mm : ILength { public double toBase { get { return 1000.0; } } }
public class ft : ILength { public double toBase { get { return 0.3048; } } }
public static UnitDouble<R> Convert<T, R>(UnitDouble<T> input) where T : ILength, new() where R : ILength, new()
{
double mult = (new T() as IUnit).toBase;
double div = (new R() as IUnit).toBase;
return new UnitDouble<R>(input.Value * mult / div);
}
}
(Мне бы хотелось избежать создания экземпляров объектов с помощью static, но, как мы все знаем, вы не можете объявить статический метод в интерфейсе) Затем вы можете сделать следующее:
var e = Length.Convert<Length.mm, Length.m>(c);
var f = Length.Convert<Length.mm, Mass.kg>(d); <-- but not this
Очевидно, что в этом есть зияющее отверстие, по сравнению с единицами измерения F # (я позволю вам разобраться).
О, вопрос в том, что вы думаете об этом? Стоит ли использовать? Кто-нибудь еще сделал лучше?
UPDATE для людей, интересующихся этой предметной областью, здесь - это ссылка на документ от 1997 года, в котором обсуждается другой вид решения (не специально для С#)