c# - 可以静态分析重写的方法吗？

Question

鉴于这种情况:

interface Interfaz 
{
        void M1();
}

abstract class ClaseAbstracta : Interfaz
{
    public void M1() { }
    public abstract Boolean M2();
}

class ClaseConcreta : ClaseAbstracta 
{
    public override Boolean M2() { return false; }
    public virtual void M3(Int32 i) { }
    public void M4() { }
}

我也是:

ClaseConcreta concretaCast = (ClaseConcreta) abst;

可以静态分析concretaCast.M2()吗？

首先，它有 override 所以它看起来好像不能，但是当你看到 M2() 它实际上是具体的实现。

那么这是静态可分析的还是每次覆盖时都必须在运行时动态地进行？

Answer 1

我怀疑这可以在一般情况下进行静态分析。考虑:

class ClaseConcreta2 : ClaseConcreta
{
    public override Boolean M2() { return true; }
}

void Main()
{
    var x = new ClaseConcreta2();
    DoSomething(x);
}

void DoSomething(ClassAbstracta abst)
{
    ClaseConcreta concretaCast = (ClaseConcreta) abst;
    // okay, so it's a ClaseConcreta, but what kind?
}