• "new" 出一个新未来——关于new的揭秘


         看了一些书,也讨论过new的一些用法,总有朋友对New迷糊,或者感觉它只不过是一个 初始化实例的关键字,没什么大不了的。我把的总结的一些知识共享出来,1是希望大家指正错误理解,2来还希望大家补充知识。

    博文按照管理,从2个类型考虑:值类型与引用类型

    1.从值类型来说

    2.从引用类型来说

      2.1 new初始化对象

      2.2 new隐藏父类方法

    1.先说值类型new的作用

    static void Main()
    {
    //这段代码编译不通过
    int a;
    Console.WriteLine(a.ToString());

    }

    分析:上面这段代码肯定编译不通过,因为我们知道值类型必须赋值才能够被使用/调用,再看下面的代码:

     static void Main()
    {
    //编译通过
    int a=new int();
    Console.WriteLine(a.ToString());

    }

    输出结果是:0

    查看下IL代码:

      .locals init ([0] int32 a)
    IL_0000: nop
    IL_0001: ldc.i4.0
    IL_0002: stloc.0
    IL_0003: ldloca.s a
    IL_0005: call instance string [mscorlib]System.Int32::ToString()
    IL_000a: call void [mscorlib]System.Console::WriteLine(string)
    IL_000f: nop
    IL_0010: ret
    } // end of method Class1::Main

    从IL代码可知:

    下面2种写法是一样的,没什么区别。

    int a=0;
    Console.WriteLine(a.ToString());

    int a=new int();
    Console.WriteLine(a.ToString());

    即:new在值类型过程中,初始化变量a值为0。

    插曲:

        string s1 = "*****************";
        string s2 = new string('*',15);

    这样写效果一样的。

    2.对于引用类型来说

    2.1 new用于初始化对象

    class Class1
    {
    static void Main()
    {

    F1 f1 = new F1();

    }


    }

    class F1
    {

    }

    查看IL代码:

      .entrypoint
    // 代码大小 8 (0x8)
    .maxstack 1
    .locals init ([0] class _2012._2._22_2.F1 f1)
    IL_0000: nop
    IL_0001: newobj instance void _2012._2._22_2.F1::.ctor()
    IL_0006: stloc.0
    IL_0007: ret
    } // end of method Class1::Main

    即:new 1.为实例分配内存 2.调用构造函数初始化对象

    (实际初始化过程比这个复杂的很多,不属于这个范畴了)

    2.2 new 隐藏父类的同名方法

    说隐藏功能的时候,首先要说一下方法表的结构:

    内存分为:stack堆栈和heap堆(托管堆)

    托管堆:又分为GC堆,GC堆由GC回收器控制内存释放,还分为Load堆,Load堆不受GC回收器控制,当Appdomain卸载时,自动释放内存。

    重点说一下Load堆:

    Load堆内有 类型表,类型表内有TypeMethod类型方法表:

    如下代码:

       class F1
    {
    public void S1()
    {
    Console.WriteLine("F1");
    }
    }

    class F2 : F1
    {
    public void S2()
    {
    Console.WriteLine("F2");
    }
    }

    class F3 : F2
    {
    public void S3()
    {
    Console.WriteLine("F3");
    }
    }

    如果初始化F3的对象

     static void Main()
            {
                F3 f3= new F3();
            }

    内存的分配对应的方法表如图:

    对应的F3类型有一张方法表,对于的F2类型也有一张类型表,对应的F1类型也有一张类型表。

    下面开始重点:

    案例1:

      class Class1
    {
    static void Main()
    {
    F1 f1 = new F1();
    f1.S();

    F1 f2 = new F2();
    f2.S();

    F1 f3 = new F3();
    f3.S();


    }


    }

    class F1
    {
    public void S()
    {
    Console.WriteLine("F1");
    }
    }

    class F2 : F1
    {
    public void S()
    {
    Console.WriteLine("F2");
    }
    }

    class F3 : F2
    {
    public void S()
    {
    Console.WriteLine("F3");
    }
    }

    输出结果: 全部是F1

    分析:

    1.F1 f1=new F2(); 到底调用那一个S()方法?

    调用什么方法,看的不是引用变量的类型,而是看new之后的对象是什么类型,这里是F2类型(),那么就会去找在Load堆F2的类型表,根据F2是继承F1的方法表,当类型表内出现了相同名字的方法的时候,编译器会自动区分,也就是说,此刻F2类型表内,第一个S()方法应该是F1的,第二个才是自己的S()方法,这里有一个”就近原则“,调用第一个方法,也就是F1的S()方法,因为在类型方法表内部:父类方法在子类前面。

    因此,根据这个”就近原则“,输出的所有结果都是:F1。

    案例2:

    修改部分代码:

    class F2 : F1
    {
    public new void S()
    {
    Console.WriteLine("F2");
    }
    }

    输出结果:还是一样 全部都是 F1。

    分析:

    new在这里的作用,就是 新建一个与父类方法名一样的方法。

    根据我们对 Load堆类型方法表的理解,那么 父类的方法还是在 new出来的子类方法的前面,所以根据就近原则还是调用的F1的S()方法。

    案例3:

     class Class1
    {
    static void Main()
    {
    F1 f1 = new F1();
    f1.S();

    F1 f2 = new F2();
    f2.S();

    F1 f3 = new F3();
    f3.S();

    F3 f4 = new F3();
    f4.S();


    }


    }

    class F1
    {
    public void S()
    {
    Console.WriteLine("F1");
    }
    }

    class F2 : F1
    {
    public void S()
    {
    Console.WriteLine("F2");
    }
    }

    class F3 : F2
    {

    }

    输出结果:

    F1
    F1
    F1
    F2

    这里有个注意点:F3 f4=new F3();调用S()方法的时候,如果F3类中有与父类同名的方法,按照就近原则,会先调用自己的S()方法,如果没有,向上查找最近的S()方法,所以输出第一个方法结果是:F2。

    案例4:

    new 真的可以隐藏父类方法吗?new的背后其实就是我们刚才的”就近原则“在作怪,不管new还是不new,父类方法一定是在子类方法前面,回想下Load堆内部的方法表的顺序,就可以理解了。new其实没用隐藏!

    那么什么动作会导致父类方法消失呢,就是override,会覆盖父类的方法。

    代码如下:

     class Class1
    {
    static void Main()
    {
    F1 f1 = new F1();
    f1.S();

    F1 f2 = new F2();
    f2.S();

    F1 f3 = new F3();
    f3.S();




    }


    }

    class F1
    {
    public virtual void S()
    {
    Console.WriteLine("F1");
    }
    }

    class F2 : F1
    {
    public override void S()
    {
    Console.WriteLine("F2");
    }
    }

    class F3 : F2
    {

    }

    输出结果:

    F1

    F2

    F2

    分析:

    对于类型F2与类型F3的类型方法表内部,已经没有F1的S()方法了,F3调用S(),就算是就近原则,也是F2的覆盖过的S()方法。

    总结:这下应该理解了new的真的含义了。













  • 相关阅读:
    Nginx从安装到配置文件详解
    python流程控制语句
    python数据类型以及方法
    python介绍以及基础基础语法
    new 操作符
    js 模拟substr
    js 对于链式加载的思考
    js 实现哈夫曼树
    js实现深度优先
    js 广度优先遍历
  • 原文地址:https://www.cnblogs.com/IAmBetter/p/2363485.html
Copyright © 2020-2023  润新知