Question

以下代码无法编译并出现错误：

type must be Tuple(Thing::Ish, Slice(UInt8)), not Tuple(Array(Array(Thing::Ish) | UInt8) | UInt8, Slice(UInt8))

这两种类型似乎与我等效...并且在正确的位置添加.as(Ish)可以...我想念什么？为什么这些类型不能统一？

module Thing
    alias Ish = UInt8 | Array(Ish)

    def self.decode(bytes : Bytes) : {Ish, Bytes}
        case bytes[0]
            when 0x00..0x17
                {bytes[0], bytes + 1}
            when 0x18
                MultiItemDecoder.new(0x80, ->(x: Bytes) { Thing.decode(x) }).decode(bytes)
            else
                raise "unknown"
        end
    end

    class MultiItemDecoder(T)
        def initialize(@base : UInt8, @item_decoder : Bytes -> {T, Bytes})
        end

        def decode(bytes): {Array(T), Bytes}
            decode_some(bytes + 1, bytes[0])
        end

        def decode_some(bytes, n)
            items = n.times.map do
                item, bytes = @item_decoder.call(bytes)
                item
            end
            {items.to_a, bytes}
        end
    end
end

Answer 1

这有效：

module Thing
  alias Ish = UInt8 | Array(Ish)

  def self.decode(bytes : Bytes) : {Ish, Bytes}
    case bytes[0]
    when 0x00..0x17
      {bytes[0], bytes + 1}
    when 0x18
      MultiItemDecoder.new(0x80, ->(x : Bytes) { Thing.decode(x) }).decode(bytes)
    else
      raise "unknown"
    end
  end

  class MultiItemDecoder(T)
    def initialize(@base : UInt8, @item_decoder : Bytes -> {T, Bytes})
    end

    def decode(bytes) : {Ish, Bytes}
      decode_some(bytes + 1, bytes[0])
    end

    def decode_some(bytes, n)
      items = n.times.map do
        item, bytes = @item_decoder.call(bytes)
        item.as(Ish)
      end
      {items.to_a.as(Ish), bytes}
    end
  end
end

Thing.decode(Bytes[1, 2, 3])

问题是Array(Array(Ish))不是Array(Ish)，因为它必须是Array(Array(Ish) | UInt8)（请注意，它是一个并集数组）。

这一切都归结为内存中事物的表示方式。

我的建议是避免使用递归别名。它们不直观，我们最终可能会将其从语言中删除。

Answer 2

self.decode并没有看到使它真正符合并得到错误的代码，而是想返回一个{Ish, Bytes}，它在when 0x00..0x17中会这样做。但是在0x18中它将返回一个{Array(Ish), Bytes}。（递归地）它将扩展为{Array(UInt8 | Array(Ish)), Bytes}

递归类型本身不统一

2 个答案: