Assembly 类的概念和样例介绍.pdfVIP

Assembly 类的概念和样例介绍 C++ 中的类描述了⼀个对象类型。⼀个对象包括数据成员(data member)和函数成员 (function member) 。换句话说就是，它是由跟它相 联的数据和函数组成的⼀个struct 结构体。考虑在图 7 .13 中定义的那个简单的类。⼀个Simple类型的变量⾮常类似于包 含⼀个int成员的标准Cstruct结构体。这些函数并不会储存到指定结构体的内存中。但 是，成员函数和其它函数是不⼀样的。 它们传递了⼀个隐藏的参数。这个参数是⼀个指向成员函数能起作⽤的对象的指针。 例如，考虑图 7 .13 中的Simple类的成员函数set_data 。如果⽤C语⾔来 书写此函数，这 个函数将像这样：明确传递⼀个指向成员函数能起作⽤的 对象的指针，如图 7 .14所 ⽰。使⽤DJG 编译器加上-S选项(gcc和Borland编 译器也是⼀样)来告诉编译器输出⼀ 个包含此代码产⽣的等价的汇编语 ⾔代码的源⽂件。对于DJG 和gcc编译器，此汇 编源⽂件是以.s扩展 名结尾的，但是不幸的是使⽤的语法是ATT汇编语⾔语法，这 种语法 和NASM和MASM语法区别⾮常⼤。(Borland和MS编译器产⽣⼀个以.asm扩展 名结尾的源⽂件，使⽤的是MASM语法。) 图 7 .15展⽰了将DJG 的输 出转换成NASM语法后的代码，增加了阐明语句⽬的的注 释。在第⼀⾏ 中，注意成员函数set_data的函数名被指定为⼀个改编后的标号，此标 号 是通过编码成员函数名，类名和参数后得到的。类名被编码进去的是因为 其它类 中可能也有名为set_data的成员函数，⽽这两个成员函数 必须 使⽤ 不同的标号。参数 之所以被编码进去是为了类能通过携带其它参数来重载 成员函数set_data ，正如标准 的C++函数。但是，和以前⼀样，不同的编 译器在改编标号时编码信息的⽅式也不 同。 下⾯的第2和第3⾏，出现了熟悉的函数的开始部分。在第5⾏，把堆栈 中的第⼀个参 数储存到EAX 中了。这并 不是参数x ！替代它的是那个隐藏的参数，它是指向此函数 能起作⽤的对象的指针。第6⾏将参数x储存 到EDX 中了，⽽第7⾏又将EDX储存到了 EAX指向的双字中。它是Simple对象 中的data成员，也是这个类中的唯⼀的数据，它 储存在Simple结构体中偏 移地址为0 的地⽅。 样例 这⼀节使⽤了这章中的思想创建了⼀个C++类：⽤来描述任意⼤⼩的 ⽆符号整形。因 为要描述任意⼤⼩的整形，所以它需要储存到⼀个⽆符号整形的数组(双字的) 中。可 以使⽤动态分配来实现任意⼤⼩的整形。双 字是以相反的⽅向储存的 ( 也就是说 ，双 字的最低有效位的下标为0) 。 图 7 .16展⽰了Big_int类的定义。Big_int的⼤⼩是通过测 量unsigned数 组的⼤⼩得到的，⽤来储存它的数据。此类中的size 数据成员的偏移地 址 为0 ，⽽number_成员的偏移为4 。 图 7 .16: Big_int类的定义 为了简单化这些例⼦，只有拥有⼤⼩相同的数组的对象实例才可以相互 进⾏加减操 作。 这个类有三个构造函数(constructor) ：第⼀个构造函数(第9⾏)使⽤了⼀ 个正常的 ⽆符号整形来初始化类实例；第⼆个构造函数(第18⾏)使⽤了⼀个 包含⼀个⼗六进制 值的字符串来初始化类实例。第三个构造函数(第2 1⾏)是拷贝构造函数 (copy constructor) 。 因为这⾥使⽤的是汇编语⾔，所以讨论的焦点在于加法和减法运算符如何⼯作。图 7 .17展⽰了与这些运算符相 的部分头⽂件。它们展⽰了如何创建运算符来调⽤汇编 程序。因为不同的编译器使⽤完全不同的名字改编 规则来改编运算符函数，所以创建 了内联的运算符函数来调⽤C链接汇编程序。这就使得在不同编译器间的移植变得相 对容易些，⽽且和直接调⽤速 度⼀样快。这项技术同样免去了从汇编中抛出异常的必 要 ！ 为什么在这⾥使⽤的全部是汇编语⾔呢？回想⼀下，在执⾏多倍精 度运算时，进位必 须从⼀个双字移去与下⼀个有效的双字进⾏加法操作。C++(和C)并不允许程序员访问 C U 的进位标志位。只有通过让C++独 ⽴地重新计算出进位标志位后有条件地与下⼀ 个双字进⾏加法操作，才能执⾏这个加法操作。使⽤汇编语⾔来书写代码会更有效， 因为它可以访问 进位标志位，可以使⽤ADC指令来⾃