假设我有两个类和一个以相同方式修改任一类的过程。如何指定参数可以是任一类(而不是为每个类重写或重载函数)?一个简单的例子:
type
Class1[T] = object
x: T
Class2[T] = object
x: T
y: T
# this works fine
proc echoX[T](c: Class1[T]|Class2[T]) =
echo c.x
# this does not work
proc addToX[T](c: var Class1[T]|Class2[T], val: T) =
c.x += val
var c1: Class1[int]
var c2: Class2[int]
# this works fine
echoX(c1)
echoX(c2)
# this does not work
addToX(c1, 10)
addToX(c2, 100)
我收到以下错误。
Error: for a 'var' type a variable needs to be passed
如果我为每个班级使用单独的程序,一切都会很好。
proc addToX[T](c: var Class1[T], val: T) =
c.x += val
proc addToX[T](c: var Class2[T], val: T) =
c.x += val
这只是一个很容易重写函数的简单示例。但我希望为更复杂的类和过程执行此操作。在某些情况下,继承可能是合适的,但似乎 Nim 类不能作为变量传递给过程来代替基类。