灵感来自 Units of Measure in F# , 尽管断言 ( here ) 你不能在 C# 中做到这一点，前几天我有一个想法，我一直在尝试。

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);
    }
}

(我希望避免使用静态实例化对象，但众所周知 can't declare a static method in an interface ) 然后你可以这样做:

var e = Length.Convert<Length.mm, Length.m>(c);
var f = Length.Convert<Length.mm, Mass.kg>(d); <-- but not this

显然，与 F# 度量单位相比，这其中存在一个巨大的漏洞(我会让您解决)。

哦，问题是:你怎么看这个？值得使用吗？其他人已经做得更好了吗？

UPDATE 对于对此主题领域感兴趣的人，here是 1997 年讨论另一种解决方案(不是专门针对 C#)的论文的链接

最佳答案

您缺少维度分析。例如(根据您链接到的答案)，在 F# 中您可以这样做:

let g = 9.8<m/s^2>

它会生成一个新的加速度单位，派生自米和秒(实际上您可以使用模板在 C++ 中做同样的事情)。

在 C# 中，可以在运行时进行维度分析，但它会增加开销并且不会给您带来编译时检查的好处。据我所知，没有办法在 C# 中完成完整的编译时单元。

是否值得做当然取决于应用，但对于许多科学应用来说，这绝对是一个好主意。我不知道任何现有的 .NET 库，但它们可能存在。

如果您对如何在运行时执行此操作感兴趣，想法是每个值都有一个标量值和表示每个基本单元的功率的整数。

class Unit
{
    double scalar;
    int kg;
    int m;
    int s;
    // ... for each basic unit

    public Unit(double scalar, int kg, int m, int s)
    {
       this.scalar = scalar;
       this.kg = kg;
       this.m = m;
       this.s = s;
       ...
    }

    // For addition/subtraction, exponents must match
    public static Unit operator +(Unit first, Unit second)
    {
        if (UnitsAreCompatible(first, second))
        {
            return new Unit(
                first.scalar + second.scalar,
                first.kg,
                first.m,
                first.s,
                ...
            );
        }
        else
        {
            throw new Exception("Units must match for addition");
        }
    }

    // For multiplication/division, add/subtract the exponents
    public static Unit operator *(Unit first, Unit second)
    {
        return new Unit(
            first.scalar * second.scalar,
            first.kg + second.kg,
            first.m + second.m,
            first.s + second.s,
            ...
        );
    }

    public static bool UnitsAreCompatible(Unit first, Unit second)
    {
        return
            first.kg == second.kg &&
            first.m == second.m &&
            first.s == second.s
            ...;
    }
}

如果您不允许用户更改单位的值(无论如何这是个好主意)，您可以为常用单位添加子类:

class Speed : Unit
{
    public Speed(double x) : base(x, 0, 1, -1, ...); // m/s => m^1 * s^-1
    {
    }
}

class Acceleration : Unit
{
    public Acceleration(double x) : base(x, 0, 1, -2, ...); // m/s^2 => m^1 * s^-2
    {
    }
}

您还可以在派生类型上定义更具体的运算符，以避免检查通用类型上的兼容单元。

关于c# - C# 中的度量单位 - 几乎，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/348853/