Scala类型系统,通过自有类型的参数约束成员的类型

发布时间：2020-12-16 09:08:00 所属栏目：安全来源：网络整理

导读：这里不太确定标准术语,所以我会试着描述我想要做的事情.如果您感到好奇,我实际上尝试编写的应用程序是一个类似于Resque或rq的异步任务队列. 我有一个类型TaskDef [ArgsTlt ;: AnyVal,ResultTlt ;: AnyVal].如果你很好奇,TaskDef代表“如何执行一个异步任务,

这里不太确定标准术语,所以我会试着描述我想要做的事情.如果您感到好奇,我实际上尝试编写的应用程序是一个类似于Resque或rq的异步任务队列.

我有一个类型TaskDef [ArgsT&lt ;: AnyVal,ResultT&lt ;: AnyVal].如果你很好奇,TaskDef代表“如何执行一个异步任务,它接受参数类型ArgsT和结果类型ResultT,或者任务背后的代码”.

我正在尝试定义一个类型TaskInst [DefT&lt ;: TaskDef].如果你很好奇,TaskInst代表“一个TaskDef和相关的参数来运行它,或者,一个实际的任务实例被提交到队列”. TaskInst有两个成员,定义：DefT和我不能在代码中写入的类型的参数.

在英语中,我期望的约束是：“对于给定的DefT,其中DefT是一些TaskDef [ArgsT,ResultT],TaskInst [DefT]应该包含DefT和ArgsT”.也就是说,任务定义的参数类型应该与给予任务的参数类型相匹配.

如何在Scala类型系统中表达这一点？

或者,我是否错误地为我的域建模并尝试做一些非惯用的事情？一些替代方法会更加惯用吗？

提前致谢！

编辑：

我认为我的历史自我写作Java可能会在这一点上使用未经检查的演员表.这对于一些未经检查的强制转换是绝对可行的,只是省略了TaskInst参数类型与嵌入式TaskDef参数类型之间的约束.但是,我确实想知道这是否是编译器可以强制执行的,并且希望没有太可怕的语法.

解决方法

将它们定义为抽象类型：

trait TaskDef {
    type Arguments <: AnyVal
    type Result <: AnyVal
}

然后使用类型投影：

trait TaskInst[DefT <: TaskDef] {
    def definition: DefT
    def arguments: DefT#Arguments
}

Live Demo

（编辑：李大同）

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