c# – 如何避免在.NET中为不同的数字类型编写重复代码

发布时间：2020-12-15 23:42:30 所属栏目：百科来源：网络整理

导读：我正在尝试编写通用的Vector2类型,它将包含float,double等类型并使用算术运算.有没有机会在C#,F#,Nemerle或任何其他或多或少成熟的.NET语言中做到这一点？我需要一个解决方案 (1)良好的表现(与我单独写作相同 Vector2Float,Vector2Double等课程), (2)允许

我正在尝试编写通用的Vector2类型,它将包含float,double等类型并使用算术运算.有没有机会在C#,F#,Nemerle或任何其他或多或少成熟的.NET语言中做到这一点？

我需要一个解决方案

>(1)良好的表现(与我单独写作相同
Vector2Float,Vector2Double等课程),
>(2)允许
代码看起来不错(我不想为每个类发出代码
运行)
>(3)并且尽可能多地进行编译时检查.

由于原因1和3,我不想使用动态.现在我正在检查F#和Nemerle.

UPD：我希望这种类型有很多数学代码.但是,如果可能的话,我更愿意将代码放在扩展方法中.

UPD2：’etc’类型包括int(我实际上怀疑我会使用)和decimal(我想我可以使用,但现在不是).使用扩展方法只是一个品味问题 – 如果有充分理由不这样做,请告诉我们.

解决方法

正如Daniel所提到的,F#有一个称为静态解析类型参数的功能,它超出了你在C#中使用普通.NET泛型的功能.诀窍在于,如果将函数标记为内联,F#会自动生成专用代码(有点像C模板),然后您可以使用F#类型系统的更强大功能来编写泛型数学.

例如,如果您编写一个简单的添加函数并使其内联：

let inline add x y = x + y;;

类型推断打印以下类型：

val inline add :
  x: ^a -> y: ^b ->  ^c
    when ( ^a or  ^b) : (static member ( + ) :  ^a *  ^b ->  ^c)

您可以看到推断类型相当复杂 – 它指定了一个成员约束,它需要两个参数之一来定义一个成员(标准.NET类型也支持这一点)好的是这可以完全推断出来,所以你很少会写丑陋的类型定义.

正如评论中所提到的,我写了一篇文章Writing generic numeric code,其中详细介绍了如何在F#中执行此操作.我不认为这可以在C#中轻松完成,并且您在F#中编写的内联函数只能从F#调用(从C#调用它们本质上将使用动态).但你绝对可以在F#中编写通用数值计算.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!