是否可以在 NOT-a-type 上进行多次调度?

Posted

技术标签:

【中文标题】是否可以在 NOT-a-type 上进行多次调度?【英文标题】:Is it possible to do multiple dispatch on NOT-a-type? 【发布时间】:2020-05-28 11:57:07 【问题描述】:

为了简化,我尝试编写一个带有两个参数的函数,其中:

    基础方法接受两个整数作为参数

    func(x::Int, y::Int) = 某事

    其他方法接受一个或两个参数作为任意类型,将这些参数映射到整数,然后调用基方法

    其他方法接受一个或两个参数作为数组(或 ::Colon 类型),并通过应用适当的先前方法 (1) 或 (2) 逐元素生成数组。

不出所料(事后看来),这种方法会产生方法歧义。鉴于提供给函数的参数类型,Julia 会选择具有最具体类型的有效方法。但是如果 x 是一个数组并且 y 是一个 Int,那么以下方法同样是特定的,而 Julia 不知道该调用哪一个:

func(x::Any, y::Int) func(x::Array, y::Any)

我想做类似的事情

func(x::T, y::Int) T <: any_so_long_as_not_array="func(map_x_to_Int(x)," y>func(x::Array, y::Any) = (el -> func(el, y)).(x)

有诸如非类型类型之类的东西吗?我在想这个错误的方式吗?有没有解决这类问题的规范方法?

对于上下文,我正在尝试为我编写的结构实现 Base.getindex,并且当结构的内容可能有所不同时,我希望 getindex 支持多种不同的方式来索引结构。在幕后,结构中的元素由整数索引,但用户可能使用几乎任意的非整数类型来索引结构中的元素(我不想强迫用户使用特定类型来索引元素)。

【问题讨论】:

【参考方案1】:

您可以指定 (Array, Int) 大小写,然后添加不太具体的方法:

julia> func(x::Array, i::Int) = 0
func (generic function with 1 method)

julia> func(x, i::Int) = 1
func (generic function with 2 methods)

julia> func(x::Array, i) = 2
func (generic function with 3 methods)

julia> methods(func)
# 3 methods for generic function "func":
[1] func(x::Array, i::Int64) in Main at REPL[1]:1
[2] func(x, i::Int64) in Main at REPL[2]:1
[3] func(x::Array, i) in Main at REPL[3]:1

【讨论】:

以上是关于是否可以在 NOT-a-type 上进行多次调度?的主要内容,如果未能解决你的问题,请参考以下文章

使用构造函数在 store 上进行选择,并使用 ngOnInit 从 store 调度

在同一个 Hive 表上进行多次压缩

是否可以避免在自定义@Query 上进行类型转换?

是否可以在现代 GPU 上进行老式 2d 位图?

是否可以在 Hive 中的常量列上进行分组?

是否可以使用应用程序在 iPhone 上进行静音通话