crystal-lang - Class.class 和 Struct.class 的联合类型数组

Question

我正在尝试获取其他类和结构的类列表。我目前有以下代码（减少到最低限度）

struct Foo
end

class Bar
end

alias Baz = Foo.class | Bar.class

types = [
  Foo, Bar, Foo, Foo, Bar, Baz
] of Baz

这给了我以下错误：

Error in ./test.cr:9: instantiating 'Array(Bar:Class | Foo:Class):Class#build(Int32)'

types = [
        ^

in ./test.cr:9: instantiating 'Array(Bar:Class | Foo:Class):Class#build(Int32)'

types = [
        ^

in ./test.cr:9: no overload matches 'Pointer(Bar:Class | Foo:Class)#[]=' with types Int32, (Bar:Class | Foo:Class):Class
Overloads are:
 - Pointer(T)#[]=(offset, value : T)

types = [
        ^

我需要它来对运行时生成的未知类型的值进行类型检查。数组中的类型在编译时是已知的。我需要比较它们的类型不是。小例子（伪代码）

types = [TString, TFunc] # struct, class
arg_0 = arguments[i]
arg_type = types[i]
if arg_0.is_a? arg_type
  # passed
else
  # failed
end

此代码正在宏中生成。这可能吗？我错过了什么吗？

提前致谢

Answer 1

您将 Baz 放在数组中，它既不是 Foo 也不是 Bar，它是一个联合类型类。如果您从数组中删除 Baz，则它可以正常工作。