C++的广泛应用要得益于它的一些底层特性,例如内联函数,它可以使我们编写出效率更高的程序。编写程序时,程序员必须知道将主要的精力放在程序的那个部分,才能使程序的运行效率更高。例如,在程序中,如果随意创建冗余的对象,则可能会付出沉重的性能代价。在程序的源代码中,我们不一定能够看到所有的对象。例如,编译器可能会创建临时对象来作为函数参数。那些需要临时对象的语法规则将使我们难以准确地估计执行开销。因此,一些看上出不错的源代码将可能会编译成执行开销高昂的机器代码。
下面是一个大数加法的例子:
- #include <iostream>
- using namespace std;
- class BigInt
- {
- private:
- char* digits;
- unsigned ndigits;
- BigInt(char *d,unsigned n)
- {
- digits = d;
- ndigits = n;
- }
- friend class DigitStream;
- public:
- BigInt(const char*);
- BigInt(unsigned n = 0);
- BigInt(const BigInt&);
- void operator=(const BigInt&);
- BigInt operator+(const BigInt&) const;
- void print(FILE* f = stdout) const;
- ~BigInt() {delete digits;}
- };
- class DigitStream
- {
- private:
- char* dp;
- unsigned nd;
- public:
- DigitStream(const BigInt& n)
- {
- dp = n.digits;
- nd = n.ndigits;
- }
- unsigned operator++()
- {
- if(nd == 0)
- return 0;
- else
- {
- nd--;
- return *dp++;
- }
- }
- };
- void BigInt::print(FILE* f) const
- {
- for(int i = ndigits - 1;i >= 0;i --)
- fprintf(f,"%c",digits[i]+'0');
- }
- void BigInt::operator=(const BigInt& n)
- {
- if (this == &n) return;
- delete [] digits;
- unsigned i = n.ndigits;
- digits = new char[ndigits = i];
- char* p = digits;
- char* q = n.digits;
- while(i--) *p++ = *q++;
- }
- BigInt BigInt::operator+(const BigInt& n) const
- {
- unsigned maxDigits = (ndigits > n.ndigits ? ndigits : n.ndigits) + 1;
- char* sumPtr = new char[maxDigits];
- BigInt sum(sumPtr,maxDigits);//类的私有构造函数只能在类的内部使用
- DigitStream a(*this);
- DigitStream b(n);
- unsigned i = maxDigits;
- unsigned carry = 0;
- while (i --)
- {
- *sumPtr = (++a) + (++b) + carry;
- if(*sumPtr >= 10)
- {
- carry = 1;
- *sumPtr -= 10;
- }
- else carry = 0;
- sumPtr++;
- }
- return sum;
- }
- BigInt::BigInt(unsigned n)
- {
- char d[3*sizeof(unsigned)+1];//?
- char *dp = d;
- ndigits = 0;
- do
- {
- *dp++ = n % 10;
- n /= 10;
- ndigits++;
- } while(n > 0);
- digits = char[ndigits];
- for(register i = 0;i < ndigits;i++)
- digits[i] = d[i];
- }
- BigInt::BigInt(const BigInt& n)
- {
- unsigned i = n.ndigits;
- digits = char[ndigits = i];
- char* p = digits;
- char* q = n.digits;
- while(i--) *p++ = *q++;
- }
- BigInt::BigInt(char* digitString)
- {
- unsigned n = strlen(digitString);
- if(n != 0)
- {
- digits = char[ndigits=n];
- char* p = digits;
- char* q = &digitString[n];
- while(n--) *p++ = *--q - '0';
- }
- else
- {
- digits = char[ndigits=1];
- digits[0] = 0;
- }
- }
上述代码中的不足之处和修正:
1. DigitStream的作用是:通过成员函数operator++从BigInt对象中连续地提取数字,并在数字全部提取完时返回零。DigitStream与BigInt非常紧密的耦合在一起,因此就成了BigInt实现的一部分。从友元关系和DigitStream的构造函数中的BigInt&类型参数,可以很清楚地看出这种耦合关系,对于简单的问题来说,DigitStream是一种昂贵的解决方案。我们只需在BigInt中使用一个私有成员函数就足够了:
原则:降低耦合性——将类之间的交互最小化。
2.运算符的重载不是一致和完整的。假设b是BigInt对象,而i是一个unsigned的值,程序中我们可以有b+i,但不能有i+b,这是不一致的;在BigInt中定义了+,=,但却没有定义+=,因此BigInt是不完整的。
在用fetch()来代替DigitStream后,通过一个小小的测试,我们可以深入的分析程序的效率问题。
在16MHz的MC68030处理器上,这个函数需要6秒,也就是说平均每次加1运算需要6毫秒。那么这些时间都消耗在了什么地方呢?很明显b=b+1消耗了大部分的时间。在这个简单的表达式后面,大量的机器时间都被用于加法运算和赋值运算。在每次执行b=b+1时,程序都要分配4个字符串。在+右边操作数是一个整数,因此需要创建一个临时的BigInt对象来匹配operator+的参数类型,在这个临时BigInt对象的构造函数中分配了第一个字符串;然后再operator+中为sumPtr分配了第二个字符串。operator+的返回值是另一个BigInt对象,这个对象在return语句中创建,在创建对象时调用的是拷贝构造函数,并且参数就是sum。这样,在拷贝构造函数中将分配第三个字符串。最后,在operator=中将分配第四个字符串。而每个动态分配的字符串都需要被删除,因此,这就导致了在每次循环时总共需要八次内存分配器的调用。这耗费了大量的时间。
通过进一步的分析,我们发现:maxDigits总是在最有意义的位置上为进位保留了一个字节的空间,即使在运算中没有发生进位时也是如此。在没有进位时,operator+将在数值的最前面增加一个零。因此,当test()中的循环结束时,在b中总共有997个零,而有意义的只是最后的四个十进制数字。程序的大部分时间都被浪费在处理含有大量零的字符串上了。
另外,在BigInt中,一个逻辑状态的数值可以用多个物理状态来表示。例如数值123所对应的逻辑状态就可以由3210、321、32100等物理状态来表示。当多个物理状态对应于同一个逻辑状态时,类的设计者就必须格外小心。例如,如果我们将operator==增加到BigInt中,那个这个比较所针对的就必须是逻辑状态而不是物理状态。如果只是简单的对字符串digits进行比较,那么就会导致321不等于3210这样的情况。
上面的这两个问题是由于动态字符串长度的无限增长导致的。一个简单的解决方法是:operator+在返回结果之前,对和进行规范化即可。所需的代码如下:
为了进一步分析程序的性能,我们可以通过对全局运算符new和delete进行重载来收集统计信息。如下,我们给出一个简单的模板类,在这个类中把统计new和delete的计数器,以及输出、重置计数器的函数都封装在一起。
之所以我们把HeapStats类称为模板类,是因为这个类的作用与其它普通类的作用是不同的。类通常是被用来实例化对象的,而在HeapStats中只是包含了静态成员,因此用这个类来实例化对象是没有意义的。HeapStats的目的是用来收集并封装某个范围之内的静态成员。如果全局变量和非成员函数被作为类的静态成员,那么他们就可以有一个共同的标识(即这个类的名字)。模板类还可以改进程序的结构并加强封装,在大型程序中,模板类能够减少全局变量冲突的可能性。
在主程序test()前后加入下面语句:
HeapStats::reset();
HeapStats::report();
输出结果为:
4001 operator new calls
4001 operator delete calls
首先,我们可以注意到程序中并没有内存泄露:对new的调用次数等于对delete的调用次数。其次,我们并没有办法来避免需要分配如此之多的字符串,但可以通过为BigInt设计一个专门的内存器来改进性能。在选择这条技术路线之前,我们可以首先对程序进行分析,看看能否在程序中减少对动态分配的字符串的需求。在目前的每次循环中,需分配4个字符串,这其中部分原因在于BigInt的实现,还有部分原因是表达式b=b+1的书写方式。
在BigInt的实现中,函数operator=中的字符串分配与释放可以是不必要的。在函数中,即使旧字符串的大小等于新字符串的大小,operator=还是会分配一个新的字符串。而事实上,如果新旧字符串的大小相等,我们就不需要删除旧字符串并分配一个新字符串。下面给出了一个优化之后的operator=,如果在程序中,大多数的赋值运算都是在位数不同的数值之间进行的,那么这个优化并不会为程序带来好处。
在test()中共执行了1000次赋值运算,其中997次赋值运算中,左边操作数的位数是不用改变的,因此这个优化起到了一定的作用。
优化后运行结果为:
3004 operator new calls
3004 operator delete calls
到目前,所有的修改都是针对BigInt的实现,我们也可以对客户代码test()进行修改,也是可以提高性能的。在test()中,关键语句是b=b+1,容易的,我们可以想到做下面的修改:
改后结果为:
2005 operator new calls
2005 operator delete calls
最后修改下上面提到的其它问题,优化后的程序为:
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 [email protected] 举报,一经查实,本站将立刻删除。