如何扩展实现序列化构造函数的Fantom类？

Question

幻想式编程语言的一个强大特性是it-block constructor，通常用在可序列化的类中。不幸的是，我找不到足够详细的文档来做我认为应该很简单的事情:扩展一个声明这种构造函数的类。到目前为止，我找到的最好的文档是用this post编写的，但没有显示我正在尝试做的事情的示例。

假设我有这些类：

class Animal {
  protected const Str name
  new make( |This| f ) { f(this) }
  override Str toStr() { "I'm an Animal and my name is $name" }
}

class Main {
  Void main() {
    a := Animal {
      name = "Flipper"
    }
    echo( a )
  }
}

到目前为止，它打印出：“我是一只动物，我的名字是Flipper”。现在我想用这个类来扩展Animal：

class Dog : Animal {
  override Str toStr() { "I'm an Dog and my name is $name" }
}

但是Fantom编译器说：

Must call super class constructor in 'make'

因此，我将类更改为：

class Dog : Animal {
  new make( |This| f ) : super( this ) { f(this) }
  override Str toStr() { "I'm an Dog and my name is $name" }
}

但是现在编译器抱怨：

invalid args make(|Playground::Animal->sys::Void|), not (Playground::Dog)

这是有意义的，因为我传递的是Dog实例，而不是Animal，那么我应该向超级构造函数传递什么呢？

Answer 1

在仔细考虑了一下编译器错误后，我意识到我必须传递的所有内容都是f：

class Dog : Animal {
  new make( |This| f ) : super( f ) { }
  override Str toStr() { "I'm an Dog and my name is $name" }
}

我希望这对其他人有帮助。