基础入门:C++编程易范的错误
C/C++语言中有许多对初学者(甚至是有经验的编程人员)来说很容易范的错误。通晓这样的错误可使你免于陷入其中。
忘记初始化指针
这个表达式的问题是单个表达式包含有相互副作用的两个子表达式——变量nI是增量。哪个nA[nI++]首先被执行,左边的nA[nI++]还是右边的nA[nI++]?没法说,上述代码可能会以预期的方式工作,但也可能不会。
说明虚拟成员函数
为了在子类中重载虚拟成员函数,必须用和基本类中函数一样的形式说明子类中函数的参数和返回类型。这并不总是清楚的。例如,下列代码似乎讲得通:
class Base
{
public:
virtual void AFunc(Base *pB);
};
class Subclass:public Base
{
public:
virtual void AFunc(Subclass *pS);
}; 这个代码会编译通过,但不会有迟后联编。函数Base::AFunc()的参数是Base*类型的,而函数Subclass::AFunc()的参数是Subclass*,它们是不同的。
这个规则的唯一例外是下面的例子,它符合ANSI C++标准:
class Base
{
public:
virtual void Base* AFunc();
};
class Subclass:public Base
{
public:
virtual void Subclass* AFunc();
};
从构造符内调用虚拟函数是前期联编的,这样,它就短路掉了那些原本可能的简洁的能力:
class Base
{
public:
Base();
virtual void BuildSection();
};
class Subclass:public Base
{
public:
Subclass();
virtual void BuildSection();
};
Base::Base()
{
BuildSection();
}; 在此例中,程序员希望构造函数能够多态地调用BuildSection(),当正在构造的对象是Base对象时调用Base::BuildSection(),当对象是类Subclass对象时调用Subclass::BuildSection()。
由于下列简单的原因这个例子不起作用:当调用BuildSection()完成时,正在构造的对象仅仅是一个Base对象。即使对象最终成为Subclass对象,也要等到Subclass的构造函数把它过一遍以后。在这些情况下调用Subclass::BuildSection()可能是致命的。即使对象将最终成为Subclass对象,但在调用BuildSection()的时候,对象只不过是Base对象,而且,这个调用必须要前期联编到函数Base::BuildSection()。
指针对准
当你在80x86处理器(例如,你的PC机的芯片)上执行你的程序时,这个问题不是致命的,但对其他的绝大多数芯片来说,这就是致命的了。它还会对你的应用程序移植到某个其他环境的能力产生影响。此外,甚至对于Intel 处理器来说,这个问题也将导致低于标准的性能。
当你的指针从一种类型转换到另一种类型的时候,就有可能产生一个非对准指针(misaligned pointer)。处理器一般要求内存块的地址要与一个和这个内存块的尺寸匹配的边界对齐。例如,字只能在字边界上被访问(地址是二的倍数),双字只能在双字边界上被访问(地址是四的倍数),依次类推。
编译器通常确保监视这个规则。但是当你的指针类型从一种类型转换成较大类型时,你就可以很容易地违反这个规则:
char cA;
char* pC = &cA;
int* pI;
pI = (int*)pC;
*pI = 0; // this may be fatal. 因为字符仅仅是一个字节长,所以地址&cA可能有任意值,包括奇数值。可是,pI应只包含四的倍数的地址。通过转换,允许把pC赋给pI,但是如果地址不是四的倍数,则接着发生的赋值可能使程序崩溃。
对于Intel处理器来说,甚至当pC值为奇数时,该赋值也不是致命的;虽然占用的时间要长得多,但是赋值还是能够正常执行。请你谨防非对准指针。
这种情况只在你正在把你的指针从指向一种类型转换成指向较大类型时才会出现。
忘记初始化指针
这个表达式的问题是单个表达式包含有相互副作用的两个子表达式——变量nI是增量。哪个nA[nI++]首先被执行,左边的nA[nI++]还是右边的nA[nI++]?没法说,上述代码可能会以预期的方式工作,但也可能不会。
说明虚拟成员函数
为了在子类中重载虚拟成员函数,必须用和基本类中函数一样的形式说明子类中函数的参数和返回类型。这并不总是清楚的。例如,下列代码似乎讲得通:
class Base
{
public:
virtual void AFunc(Base *pB);
};
class Subclass:public Base
{
public:
virtual void AFunc(Subclass *pS);
}; 这个代码会编译通过,但不会有迟后联编。函数Base::AFunc()的参数是Base*类型的,而函数Subclass::AFunc()的参数是Subclass*,它们是不同的。
这个规则的唯一例外是下面的例子,它符合ANSI C++标准:
class Base
{
public:
virtual void Base* AFunc();
};
class Subclass:public Base
{
public:
virtual void Subclass* AFunc();
};
在此例中,每个函数返回其固有类型对象的地址。这种技术很通用,所以标准委员会决定承认它。
从构造函数内调用虚拟成员函数从构造符内调用虚拟函数是前期联编的,这样,它就短路掉了那些原本可能的简洁的能力:
class Base
{
public:
Base();
virtual void BuildSection();
};
class Subclass:public Base
{
public:
Subclass();
virtual void BuildSection();
};
Base::Base()
{
BuildSection();
}; 在此例中,程序员希望构造函数能够多态地调用BuildSection(),当正在构造的对象是Base对象时调用Base::BuildSection(),当对象是类Subclass对象时调用Subclass::BuildSection()。
由于下列简单的原因这个例子不起作用:当调用BuildSection()完成时,正在构造的对象仅仅是一个Base对象。即使对象最终成为Subclass对象,也要等到Subclass的构造函数把它过一遍以后。在这些情况下调用Subclass::BuildSection()可能是致命的。即使对象将最终成为Subclass对象,但在调用BuildSection()的时候,对象只不过是Base对象,而且,这个调用必须要前期联编到函数Base::BuildSection()。
指针对准
当你在80x86处理器(例如,你的PC机的芯片)上执行你的程序时,这个问题不是致命的,但对其他的绝大多数芯片来说,这就是致命的了。它还会对你的应用程序移植到某个其他环境的能力产生影响。此外,甚至对于Intel 处理器来说,这个问题也将导致低于标准的性能。
当你的指针从一种类型转换到另一种类型的时候,就有可能产生一个非对准指针(misaligned pointer)。处理器一般要求内存块的地址要与一个和这个内存块的尺寸匹配的边界对齐。例如,字只能在字边界上被访问(地址是二的倍数),双字只能在双字边界上被访问(地址是四的倍数),依次类推。
编译器通常确保监视这个规则。但是当你的指针类型从一种类型转换成较大类型时,你就可以很容易地违反这个规则:
char cA;
char* pC = &cA;
int* pI;
pI = (int*)pC;
*pI = 0; // this may be fatal. 因为字符仅仅是一个字节长,所以地址&cA可能有任意值,包括奇数值。可是,pI应只包含四的倍数的地址。通过转换,允许把pC赋给pI,但是如果地址不是四的倍数,则接着发生的赋值可能使程序崩溃。
对于Intel处理器来说,甚至当pC值为奇数时,该赋值也不是致命的;虽然占用的时间要长得多,但是赋值还是能够正常执行。请你谨防非对准指针。
这种情况只在你正在把你的指针从指向一种类型转换成指向较大类型时才会出现。
顶(0)
踩(0)
上一篇:C++中union的应用剖析
- 最新评论
