欢迎光临
我的个人博客网站

F# 函数式编程之 – unpacking/deconstruct

原文 https://fsharpforfunandprofit.com/posts/overview-of-types-in-fsharp/

这个特性我觉得也比较新鲜,以前没有见过,先看代码吧:

type Dollar = Dollar of int let earn d:Dollar = d + 10 // Error 

虽然只有两行代码,但有不少值得说明的地方。

第一行,有两个 Dollar, 但它们有不同的含义,也只能用在不同的地方。第一个 Dollar 是一个类型,而第二个 Dollar 不是类型而是 union case, 这里只是故意重名,以便在两种场合都能使用 Dollar 这个单词。

因此,第二行代码里的 Dollar 是类型,此时,第二行会报错,因为类型 Dollar 不能与类型 int 直接相加。

我们把其中一个 Dollar 改成别的单词,就可以看得更清楚:

type Money = Dollar of int let earn d:Dollar = d + 10  // Error 

这样,由于第一个 Dollar 已经改成 Money, 因此 Dollar 再也不能当作类型来使用,第二行会报错,而这次的错误原因是 “Dollar 不是类型”。

再看下面的代码:

// single case union type Dollar = Dollar of int let earn (Dollar d) = d + 10 // OK 

上面的代码,第二行,就用到了我说的新鲜特性,这里的 Dollar 不是类型,而是 union case, 同时,由于 union case 可以用于 pattern match, 根据 pattern match 的原理,(Dollar d) 正是一个 pattern, 即 (Dollar int), 因此,d 的类型就是 int.

由于 d 的类型是 int, 因此可以与 10 相加,这次代码不会报错。

值得一提的是,这里发生 pattern match 的地方是一个函数的参数!

更神奇的是,这里 (Dollar int) 同时兼具两个作用:

  1. 限定了该参数的类型是 Dollar, 如果输入一个 int 或别的类型,会报错,从而确保了类型安全。

  2. unpacking/deconstruct, “顺便” 从这个参数里把 Dollar 的内涵数据 int 给解构出来了。

本文介绍了 F# 的一个有趣的特性(unpacking/deconstruct), 该特性表面上看着简单,背后却涉及 type 与 union case 的区别,以及 pattern match 的用法。

赞(0) 打赏
未经允许不得转载:张拓的天空 » F# 函数式编程之 – unpacking/deconstruct
分享到: 更多 (0)

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

专业的IT技术经验分享 更专业 更方便

联系我们本站主机

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

微信扫一扫打赏