对象 a = new Dog() 与 Dog a = new Dog() 之间的区别

Question

object a = new Dog();

vs

Dog a = new Dog();

在这两种情况下，a.GetType() 都会给出 Dog。 两者都调用相同的构造函数（具有相同的层次结构）。

那你能告诉我这两种说法有什么区别吗？

Answer 1

两者都创建一个 Dog 对象。只有第二个允许您直接调用 Dog 方法或以其他方式将其视为狗，例如，如果您需要将对象作为 Dog 类型的参数（或 Dog 中的某些内容）传递给方法，比简单的对象更具体的层次结构）。

object obj = new Dog(); 
// can only see members declared on object
var type = obj.GetType(); // can do this
Console.WriteLine(obj.ToString()); // also this
obj.Bark(); // Error! Bark is not a member of System.Object

Dog dog = new Dog();
// can do all of the methods declared for Object
dog.Bark(); // can finally use the method defined for Dog

Answer 2

new Dog() 是一个创建新 Dog 实例的表达式。它调用 Dog 类的无参数构造函数。

a 是一个变量：内存中的存储单元，在赋值后保存对 Dog 实例的引用。

区别在于 Dog 变量只能保存对 Dog 实例（或从 Dog 派生的任何类的实例）的引用，而 object 变量可以保存对 object 实例（或派生自 object 的任何类的实例）的引用 - 其中 Dog 类确实如此）。

当您有 Dog 变量时，您可以在引用的实例上调用由 Dog 类（及其基类）定义的任何方法。当您有一个 object 变量时，您只能在实例上调用 object 类的方法。

Answer 3

您的第一行创建一个 object 类型的变量。

编译器不会让您将其视为 Dog。

Answer 4

两个语句都包含声明和构造函数调用。构造函数的调用是相同的，因此在两种情况下都会得到一个 Dog。声明是不同的：在第一种情况下，您声明一个 object 类型的变量，它是 Dog 的超类；在第一种情况下，您声明一个 object 类型的变量，它是 Dog 的超类。在第二种情况下，您声明一个 Dog 类型的变量。不同之处在于，在后续代码中，只有当您将变量声明为 Dog 时，才可以在不进行强制转换的情况下调用 Dog 的方法；如果将其声明为object，则需要进行强制转换。

Answer 5

正如您所提到的，这两个语句都涉及调用 Dog 的默认构造函数；因此，很明显，在这两种情况下都会构造一个 Dog 实例。这意味着两个语句最终都使用相同的实例初始化变量（这是语句中 equals 之后的部分）。

然而，语句还有另一部分：变量声明（这是语句中 equals 之前的部分）。在静态类型语言（例如 C#）中，每个变量（更一般地说，任何表达式）都具有静态类型：

object a = new Dog(); // static type: object / runtime type: Dog
Dog b = new Dog();    // static type: Dog / runtime type: Dog

编译器将不允许您将值分配给它无法证明的变量。变量的静态类型，例如它不允许

Cat c = new Dog(); // unless Dog derives from Cat, which we know isn't true

所有引用类型从System.Object隐式派生，将Dog分配给静态类型object的变量就可以了。 您可以将“静态类型”视为对象“声明为”的内容。您始终可以通过阅读源代码来确定某物的静态类型；这就是编译器的工作方式。

然后还有我上面提到的每个变量（表达式）的运行时类型。这在两种情况下都是相同的，因为毕竟在这两种情况下我们都创建了一个Dog。 您可以将“运行时类型”视为对象的实际。某些事物的运行时类型不能仅通过读取源代码来确定；而是需要通过读取源代码来确定。您只能在程序运行时确定它，因此得名。在 C# 中，这是通过调用 GetType 来完成的。

显然，运行时类型是你离不开的； 一切毕竟都必须“是”某种东西。但为什么要费心发明静态类型的概念呢？

您可以将静态类型视为您（程序员）和编译器之间的契约。通过将 b 的静态类型声明为 Dog，您就告诉编译器您不打算使用该变量来存储 Dog 以外的任何内容。代码>.作为回报，编译器承诺不会让您违反既定的目的，并且如果您尝试这样做，则会产生错误。它还会阻止您以任何 Dog 不支持的方式使用 d。

考虑一下：

class Dog {
    public void Woof();
}

Dog d = new Dog();
d.Woof(); // OK

object o = new Dog();
o.Woof(); // COMPILER ERROR

最后一行会导致编译器错误，因为它违反了静态类型约定：您告诉编译器 o 可以是从 System.Object 派生的任何内容，但不是全部从中派生的事物有一个方法 Woof。因此，编译器试图通过说“你在那里做什么？我无法证明² o 中的任何内容都可以发出声音！如果它是一只 Cat 怎么办？”来保护你。 。

注释：

1 这并不意味着每个对象都神奇地知道它在所有语言中的“是什么”。在某些情况下（例如在 C++ 中），在创建对象时可能会使用此信息，但随后会“忘记”该信息，以便让编译器更自由地优化代码。如果发生这种情况，该对象仍然是某种东西，但你不能戳它并问它“你是什么？”。

² 实际上，在这个简单的例子中就可以证明这一点。但它不会选择使用这些知识，因为遵守静态类型的约定才是重点。

Answer 6

当您想要使用多态性并且可以使用在 Dog 中实现的抽象方法时，这非常有用。因此，这样一来object就是Dog，即使是Object也是如此。所以当你想使用多态性时可以使用这种方式。