创建“派生类”类型的对象

Question

我最近一直在研究类继承，并且不断遇到这段特定的代码。

public class Foo {      

 public bool DoSomething() 
 { 
   return false; 
 } 
}  

public class Bar : Foo { 

 public new bool DoSomething() 
 { 
   return true; 
 } 
}  

 public cass Test { 

  public static void Main () {   

    Foo test = new Bar (); 

    Console.WriteLine (test.DoSomething ());     
  } 
} 

这里让我感到困惑的是，如果是我，我会按 Bar 类型创建一个 Bar 实例...

Bar test = new Bar();

我不明白为什么它会按照代码中的方式创建。

Answer 1

编写此代码可能是为了演示重写和隐藏基类方法之间的区别：

在本例中，使用 实例化 Bar 对象>Foo 变量将使用基类方法 DoSomething() 并打印出 false。如果 DoSomething 方法在基类中被声明为 virtual 并在派生类中被重写，则输出将为 true，如下例所示：

public class Foo {      

 public virtual bool DoSomething() 
 { 
   return false; 
 } 
}  

public class Bar : Foo { 

 public override bool DoSomething() 
 { 
   return true; 
 } 
} 

Answer 2

在现实世界的物体中思考这些东西会更容易。

尝试考虑一辆车。您可以拥有不同品牌/型号的汽车，但每辆车都执行相同的基本功能。

您的代码可以以相同的方式处理对象。您编写的代码可以与任何汽车一起使用，但您实际上可以指定您想要的任何汽车品牌/型号：

public class Car
{
    public virtual void Drive()
    {
    }
}

public class ChevyVolt : Car
{
    public override void Drive()
    {
        // Initialize the battery and go
    }
}

public class CadillacEscalade : Car
{
    public override void Drive()
    {
        // Check to ensure you have an oil field worth of gas and go
    }
}

现在，通过这些定义...您可以创建一个负责驾驶汽车的类。什么车都没关系。您只需要担心驾驶：

public class Commuter
{
    public void GoToWork()
    {
        // Garage.PickCar() could return either ChevyVolt or an Escalade
        Car todaysRide = Garage.PickCar();

        // Now that we have a car, go to work
        todaysRide.Drive();
    }
}

Answer 3

一般来说，不会的。更现实的例子是

void DoSomethingWithAFoo(Foo f) {
    f.DoSomething();
}

在这种情况下，f 可以是 Foo 或 Bar，而 DoSomethingWithAFoo 则不会不必知道或关心。

Answer 4

Bar 派生自 Foo，因此创建 Bar 实例并分配给 aa Foo 是完全有效的-参考。我怀疑您显示的示例代码仅显示 Bar 是 Foo 因此是可分配的。

Answer 5

您可以使用不太通用的类型（ Boo ）分配更通用的（ Foo ），这通常在利用多态性时完成。经典的例子是有 Animal、Dod 和 Cat，然后你可以说 Animal=new Dog() 或 Animal=new Cat()，然后你可以调用虚函数它并自动调用适当的函数。这不是你的情况，因为你将函数 DoSomething 与 new ... 重叠

Answer 6

如果您认为它只需要 Bar 实现的 Foo 定义的功能，那么它可能更有意义。 Bar 可以自由添加更多与 Bar 相关的功能。

public class Bar : Foo { 

 public new bool DoSomething() 
 { 
   return true; 
 } 

 public bool IsValid {get;}
}  

现在，调用代码只关心 Foo 定义的抽象，因此，尽管您正在创建 Bar，您仅获得由Foo （只是 DoSomething），因此不是我刚刚定义的 Bar.IsValid 功能。