generics - 通用序列

Question

我有以下片段。虽然第二个变量声明不编译:

type 
  Coin = ref object
  Pen  = ref object

let 
  yes : seq[ref object] = @[Coin(), Coin(), Coin()]  #Compiles
  no  : seq[ref object] = @[Coin(), Pen(), Coin()]   #Does not compile

在 nim 中是否有可能像 java 的列表一样具有通用序列？

Answer 1

Nim 序列是通用的，但您不会在其中放置相同类型的对象。在 Java 中所有非原始类型(包括数组)inherit either directly or indirectly from the Object superclass因此通过 List<Object> type 你可以在里面放任何东西。但在 Nim 中，并非所有东西都必须具有相同的根，在你的情况下，虽然对象看起来相同，但它们被视为不同的类型。所以你需要像java一样创建一个类层次结构:

type
  BaseRef = ref object of TObject
  CoinRef = ref object of BaseRef
  PenRef = ref object of BaseRef

let
  test1: seq[BaseRef] = @[(BaseRef)CoinRef(), CoinRef(), CoinRef()]
  test2: seq[BaseRef] = @[(BaseRef)CoinRef(), PenRef(), CoinRef()]

请注意 @[]列表构造函数仍然需要在正确的方向上将第一个元素转换为基本类型，否则你会得到一个不平等(seq[BaseRef] 与 seq[CoinRef] 是不相同的，这将导致类型推理)。

如果出于某种原因你需要保留单独的根，作为 refs 应该可以直接转换它们，为此你可以创建辅助过程:

type 
  AnyRef = ref object
  Coin = ref object
  Pen  = ref object

proc `^`(x: Coin): AnyRef = cast[AnyRef](x)
proc `^`(x: Pen): AnyRef = cast[AnyRef](x)

let 
  yes : seq[AnyRef] = @[^Coin(), ^Coin(), ^Coin()]
  no  : seq[AnyRef] = @[^Coin(), ^Pen(), ^Coin()]

或者创建 converter procs它不需要对所有元素进行显式转换，只需要第一个元素，就像继承版本一样:

type 
  AnyRef = ref object
  Coin = ref object
  Pen  = ref object

converter toAnyRef(x: Coin): AnyRef = cast[AnyRef](x)
converter toAnyRef(x: Pen): AnyRef = cast[AnyRef](x)

let 
  yes : seq[AnyRef] = @[Coin().toAnyRef, Coin(), Coin()]
  no  : seq[AnyRef] = @[Coin().toAnyRef, Pen(), Coin()]