怎么可以＆＃34;静态类型＆＃34;和＆＃34;动态类型＆＃34;有所不同吗？

Question

根据Nim手册，变量类型是＆＃34;静态类型＆＃34;而变量在内存中指向的实际值是＆＃34;动态类型＆＃34;。

它们可能是不同的类型吗？我认为为变量分配错误的类型将是一个错误。

Answer 1

import typetraits

type
  Person = ref object of RootObj
    name*: string
    age: int

  Student = ref object of Person # a student is a person
    id: int

method sayHi(p: Person) {.base.} =
  echo "I'm a person"

method sayHi(s: Student) =
  echo "I'm a student"

var student = Student(name: "Peter", age: 30, id: 10)
var person: Person = student # valid assignment to base type
echo person.repr # contains id as well
echo name(person.type) # static type = Person
person.sayHi() # dynamic type = I'm a student