javascript – 在Flow中对内置类型进行子类型化

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了javascript – 在Flow中对内置类型进行子类型化，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1086字，纯文字阅读大概需要2分钟。

内容图文

假设我正在编写处理UUID的代码.在内部,我想将它们表示为字符串.也就是说,每个UUID都是一个字符串,但不是每个字符串都是有效的UUID,我不想意外地将错误的东西分配给一个用于保存UUID的变量.所以我想创建一个类型’uuid’,这样这个赋值就会失败：

let foo: uuid = "Some string"

但这应该成功：

function create_uuid(): uuid; { /* implementation? */ }
let foo: uuid = create_uuid(); 
let bar: string = uuid;  // this is fine

有没有办法用Flow创建具有这些属性的类型？我在研究中发现了$Subtype,并认为这可能有效：

type uuid = $Subtype<string>;

但由于某种原因,它仍然允许从字符串赋值.

解决方法:

有以下hack(缺点是UUID也将是一个Object)：

// keep this constructor private
class IsUUID {}

export type UUID = string & IsUUID;

export function create(): UUID {
  const uuid = 'blah' // <= your implementation
  return ((uuid: any): UUID)
}

// tests

declare function f(uuid: UUID): void;
declare function g(s: string): void;
declare function h(o: Object): void;

let foo = create()
let bar: string = foo // <= ok
f(foo) // <= ok
f(bar) // <= error: string. This type is incompatible with IsUUID
g(foo) // <= ok
g(bar) // <= ok
h(foo) // <= ok :(

内容总结

以上是互联网集市为您收集整理的javascript – 在Flow中对内置类型进行子类型化全部内容，希望文章能够帮你解决javascript – 在Flow中对内置类型进行子类型化所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端