Question

在Julia中是否有一种方法可以指定函数参数可以通过类型注释获取一组值中的一个？例如，让我们说我有函数foo接受一个参数

function foo(x::String)
    print(x)
end

参数x只能是一个String。有没有办法在函数签名中进一步约束它，以便它只能是一个字符串＆＃34; right＆＃34;，＆＃34; left＆＃34;或＆＃34; center＆＃34 ;

Answer 1

在Julia，座右铭应该是＆＃34;那是一种类型！＆＃34;。处理这种情况的一种方法是创建一个带有构造函数的类型，该构造函数只允许您想要的值（并且可能以更有效的方式存储它们）。这是一个例子：

const directions = ["left", "right", "center"]
immutable MyDirection
    Direction::Int8
    function MyDirection(str::AbstractString)
        i = findnext(directions, str, 1)
        i == 0 && throw(ArgumentError("Invalid direction string"))
        return new(i)
    end
end

Base.show(io::IO, x::MyDirection) = print(io, string("MyDirection(\"",directions[x.Direction],"\")"))
function foo(x::MyDirection)
    println(x)
end

function foo(str::AbstractString)
    x = MyDirection(str)
    println(x)
end

test = MyDirection("left")

foo(test)

foo("right")

注意：我的例子是用Julia 0.4编写的！

编辑：另一种方法是使用符号，例如：left，：right和：center，而不是字符串。它们具有被实习的优点（因此可以通过比较它们的地址来比较它们），它们也可以直接用于类型参数。

例如：

immutable MyDirection{Symbol} ; end
function MyDirection(dir::Symbol)
    dir in (:left, :right, :center) || error("invalid direction")
    MyDirection{dir}()
end
MyDirection(dir::AbstractString) = MyDirection(symbol(dir))

这会让你做的事情如下： x = MyDirection（＆＃34;左＆＃34;）这将创建一个MyDirection类型的不可变对象{：left}。

Answer 2

不，不是。这将是对价值的调度，这在朱莉娅是不可能的。我不确定你的实际应用是什么，但有一些可能适合的解决方法，例如。

abstract Sam81Args
type ArgRight <:Sam81Args end
type ArgLeft <:Sam81Args end
type ArgCenter <:Sam81Args end
function foo{T<:Sam81Args}(x::Type{T})
    println(T)
end
foo(ArgCenter)

将参数约束为Julia函数签名

2 个答案: