在继承中使用泛型约束时,我遇到了一些非常令人惊讶的事情。我有一个不同于参数的重载方法Foo -无论是基类实例还是派生类实例。在这两种情况下,它通常只是将实例传递给第二对重载方法- Bar。当我使用基类实例调用Foo时,基类的Bar重载被调用。当我使用派生类实例调用Foo时,将调用派生类的Bar重载。这是显而易见的,也是意料之中的。());
Con
我想知道是否可以指定作为参数传递给函数的节点的确切构造函数。例如,如果在lang::java::m3::AST::Declaration ADT中,我将一个我知道必须是\class()的节点传递给一个函数,那么有什么方法可以指定这一点吗?现在我有:但我想要一些类似的东西:
public void foo(lang::java::m3::AST::\class(a,b,c,d) de