详解C++编程中的sizeof运算符与typeid运算符
sizeof运算符
产生与char类型的大小有关的操作数大小。
语法
sizeofunary-expressionsizeof(type-name)
备注
sizeof运算符的结果为size_t类型,它是包含文件STDDEF.H中定义的整数类型。利用此运算符,你可以避免在程序中指定依赖于计算机的数据大小。
sizeof的操作数可以是下列项之一:
类型名称。若要将sizeof用于类型名称,则该名称必须用括号括起。
一个表达式。当用于表达式时,无论是否使用括号都可指定sizeof。不计算表达式。
当sizeof运算符应用到char类型的对象时,它将生成1。当sizeof运算符应用到数组时,它将产生该数组的字节总数,而非由数组标识符表示的指针的大小。若要获取由数组标识符表示的指针的大小,请将其作为参数传递给使用sizeof的函数。例如:
#include<iostream> usingnamespacestd; size_tgetPtrSize(char*ptr) { returnsizeof(ptr); } intmain() { charszHello[]="Hello,world!"; cout<<"Thesizeofacharis:" <<sizeof(char) <<"\nThelengthof"<<szHello<<"is:" <<sizeofszHello <<"\nThesizeofthepointeris" <<getPtrSize(szHello)<<endl; }
示例输出
Thesizeofacharis:1 ThelengthofHello,world!is:14 Thesizeofthepointeris4
当sizeof运算符应用到class、struct或union类型时,结果为该类型的对象中的字节数,以及添加的用于在字边界上对齐成员数据的任何填充。结果不一定对应于通过将各个成员的存储需求相加计算出的大小。/Zp编译器选项和pack杂注会影响成员的对齐边界。
sizeof运算符永远不会产生0,即使对于空类也是如此。
sizeof运算符不能用于以下操作数:
函数。(但是,sizeof可应用于指向函数的指针。)
位域。
未定义的类。
void类型。
动态分配的数组。
外部数组。
不完整类型。
带括号的不完整类型的名称。
当sizeof运算符应用于引用时,结果与sizeof应用到对象本身时的结果相同。
如果某个未确定大小的数组是结构的最后一个元素,则sizeof运算符将返回没有该数组的结构的大小。
sizeof运算符通常用于通过使用以下形式的表达式计算数组中的元素数量:
sizeofarray/sizeofarray[0]
typeid运算符
语法
typeid( type-id ) typeid(expression) (expression)
备注
typeid运算符允许在运行时确定对象的类型。
typeid的结果是consttype_info&。该值是对表示type-id或expression的类型的type_info对象的引用,具体取决于所使用的typeid的形式。
typeid运算符不适用于托管类型(抽象声明符或实例)。
typeid运算符在应用于多态类类型的左值时执行运行时检查,其中对象的实际类型不能由提供的静态信息确定。此类情况是:
对类的引用
使用*取消引用的指针
带下标的指针(即[])。(请注意,通常情况下,将下标与指向多态类型的指针一起使用不安全。)
如果expression指向基类类型,但该对象实际上是派生自该基类的类型,则派生类的type_info引用是结果。expression必须指向多态类型(具有虚函数的类)。否则,结果是expression中引用的静态类的type_info。此外,必须取消引用指针以使用它指向的对象。如果未取消引用指针,结果将是指针的type_info,而不是它指向的内容。例如:
//expre_typeid_Operator.cpp //compilewith:/GR/EHsc #include<iostream> #include<typeinfo.h> classBase{ public: virtualvoidvvfunc(){} }; classDerived:publicBase{}; usingnamespacestd; intmain(){ Derived*pd=newDerived; Base*pb=pd; cout<<typeid(pb).name()<<endl;//prints"classBase*" cout<<typeid(*pb).name()<<endl;//prints"classDerived" cout<<typeid(pd).name()<<endl;//prints"classDerived*" cout<<typeid(*pd).name()<<endl;//prints"classDerived" deletepd; }
如果expression正在取消引用某个指针,并且该指针的值是零,typeid将引发bad_typeid异常。如果该指针没有指向有效的对象,则会引发__non_rtti_object异常来指示尝试了分析引发错误(如访问冲突)的RTTI,因为该对象在某种程度上是无效的(无效的指针或代码不是用/GR编译的)。
如果expression既不是指针也不是对对象的基类的引用,则结果是表示expression的静态类型的type_info引用。表达式的statictype将引用在编译时已知的表达式的类型。在计算表达式的静态类型时,将忽略执行语义。此外,在确定表达式的静态类型时,将忽略引用(如果可能):
//expre_typeid_Operator_2.cpp #include<typeinfo> intmain() { typeid(int)==typeid(int&);//evaluatestotrue } typeid还可在模板中使用以确定模板参数的类型: //expre_typeid_Operator_3.cpp //compilewith:/c #include<typeinfo> template<typenameT> Tmax(Targ1,Targ2){ cout<<typeid(T).name()<<"scompared."<<endl; return(arg1>arg2?arg1:arg2); }