Julia 如何在用户空间中创建类似“（）”的对象

在Julia中，空元组既是一种类型，也是该类型的实例。所以

isa（（），（））

是

true

。有可能自己创建一个类似的对象吗？

我不这么认为。事实上，在julia0.4中，

isa（（），（））

不再正确。

（）

的类型现在是

元组{}

：

julia> VERSION
v"0.4.0-dev+5441"

julia> typeof(())
Tuple{}

julia> isa((),()) # Throws an error since () is no longer considered a Type
ERROR: TypeError: isa: expected Type{T}, got Tuple{}

---

我认为唯一剩下的对象是它们自己的一个实例是

Any

，

Type

和

DataType

嘿，我希望通过设置

抽象Foo可以欺骗系统；Foo.super=Foo

。。。但这没有任何效果，因为

isa

检查最终要通过

jl_子类型

，它对

jl_any

有一个特例。