如何在Julia的复合类型中指定条件？

Question

我正在尝试在Julia中创建表示椭圆曲线上点的复合类型。 如果满足y ^ 2 == x ^ 3 + a * x + b或x和y都等于零，则点有效。 注意，后一种情况表示无穷远处的点。

我想出了以下代码，但无法弄清楚如何计算无穷大点。

• 有没有办法处理结构中的不同异常？
• 异常可以简单地返回有效类型而不是错误吗？ 例如，如果x ==什么都不是&& y ==什么都不是，那么Point（nothing，nothing，a，b）

IntOrNothing = Union{Int,Nothing}
struct Point
    x::IntOrNothing
    y::IntOrNothing
    a::Int
    b::Int
    Point(x,y,a,b) = x == nothing || y == nothing || y^2 != x^3 + a*x + b ? error("Point is not on curve") : new(x,y,a,b)
end

Answer 1

我将为Point定义两个内部构造函数，如下所示：

IntOrNothing = Union{Int,Nothing}
struct Point
    x::IntOrNothing
    y::IntOrNothing
    a::Int
    b::Int
    Point(x::Nothing,y::Nothing,a,b) = new(x,y,a,b)
    Point(x,y,a,b) = y^2 != x^3 + a*x + b ? error("Point is not on curve") : new(x,y,a,b)
end

因为我认为这最容易理解。

请注意，如果您调用Point(nothing,2,1,3) ，将会得到MethodError Point(nothing,2,1,3)但是我想从您的代码中您并不关心抛出的异常的类型，只要将异常抛出到无效数据上即可。

它能解决您的问题吗？