如何在埃菲尔铁塔中即时铸造

Question

我在某些功能的功能范围内有以下代码：

add (tempA, tempB)

在这里，参数类型为：

tempA: A
tempB: B

两者都声明为局部变量。

并且，这是功能添加的原型：

add (a: A; b: B)

我得到的编译错误：

Formal argument type: Generic #1
Actual argument type: detachable Generic #1

如何将可拆卸的泛型类型的“ tempA”和“ tempB”类型立即转换为泛型？ 这样我就可以通过它们添加功能。

我没有更改原型，但是可以更改“ tempA”和“ tempB”的类型。

Answer 1

在初始化之前，局部变量被视为可分离的。 可以通过给它们赋值来初始化它们

tempA := exprA -- exprA should return a value of type A
tempB := exprB -- exprB should return a value of type B

（例如， exprA可以是所讨论功能的形式参数）或直接创建对象：

create tempA
create tempB

（如果需要，可以使用创建过程，即create tempA.make ... ）。