详解C++编程中的sizeof运算符与typeid运算符

2025-05-27 0 102

sizeof 运算符
产生与 char 类型的大小有关的操作数大小。
语法

?

1
sizeof unary-expression sizeof ( type-name )

备注
sizeof 运算符的结果为 size_t 类型,它是包含文件 STDDEF.H 中定义的整数类型。利用此运算符,你可以避免在程序中指定依赖于计算机的数据大小。
sizeof 的操作数可以是下列项之一:
类型名称。若要将 sizeof 用于类型名称,则该名称必须用括号括起。
一个表达式。当用于表达式时,无论是否使用括号都可指定 sizeof。不计算表达式。
sizeof 运算符应用到 char 类型的对象时,它将生成 1。当 sizeof 运算符应用到数组时,它将产生该数组的字节总数,而非由数组标识符表示的指针的大小。若要获取由数组标识符表示的指针的大小,请将其作为参数传递给使用 sizeof 的函数。例如:

?

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19
#include <iostream>

using namespace std;

size_t getPtrSize( char *ptr )

{

return sizeof( ptr );

}

int main()

{

char szHello[] = "Hello, world!";

cout << "The size of a char is: "

<< sizeof( char )

<< "\\nThe length of " << szHello << " is: "

<< sizeof szHello

<< "\\nThe size of the pointer is "

<< getPtrSize( szHello ) << endl;

}

示例输出

?

1

2

3
The size of a char is: 1

The length of Hello, world! is: 14

The size of the pointer is 4

sizeof 运算符应用到 class、struct 或 union 类型时,结果为该类型的对象中的字节数,以及添加的用于在字边界上对齐成员数据的任何填充。结果不一定对应于通过将各个成员的存储需求相加计算出的大小。 /Zp 编译器选项和 pack 杂注会影响成员的对齐边界。
sizeof 运算符永远不会产生 0,即使对于空类也是如此。
sizeof 运算符不能用于以下操作数:
函数。(但是,sizeof 可应用于指向函数的指针。)
位域。
未定义的类。
void 类型。
动态分配的数组。
外部数组。
不完整类型。
带括号的不完整类型的名称。
sizeof 运算符应用于引用时,结果与 sizeof 应用到对象本身时的结果相同。
如果某个未确定大小的数组是结构的最后一个元素,则 sizeof 运算符将返回没有该数组的结构的大小。
sizeof 运算符通常用于通过使用以下形式的表达式计算数组中的元素数量:
sizeof array / sizeof array[0]

typeid 运算符
语法

?

1

2

3

4

5
typeid(

type-id

)

typeid( expression )

( expression )

备注
typeid 运算符允许在运行时确定对象的类型。
typeid 的结果是 const type_info&。该值是对表示 type-id 或 expression 的类型的 type_info 对象的引用,具体取决于所使用的 typeid 的形式。
typeid 运算符不适用于托管类型(抽象声明符或实例)。
typeid 运算符在应用于多态类类型的左值时执行运行时检查,其中对象的实际类型不能由提供的静态信息确定。此类情况是:
对类的引用
使用 * 取消引用的指针
带下标的指针(即 [ ])。(请注意,通常情况下,将下标与指向多态类型的指针一起使用不安全。)
如果 expression 指向基类类型,但该对象实际上是派生自该基类的类型,则派生类的 type_info 引用是结果。 expression 必须指向多态类型(具有虚函数的类)。否则,结果是 expression 中引用的静态类的 type_info。此外,必须取消引用指针以使用它指向的对象。如果未取消引用指针,结果将是指针的 type_info,而不是它指向的内容。例如:

?

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22
// expre_typeid_Operator.cpp

// compile with: /GR /EHsc

#include <iostream>

#include <typeinfo.h>

class Base {

public:

virtual void vvfunc() {}

};

class Derived : public Base {};

using namespace std;

int main() {

Derived* pd = new Derived;

Base* pb = pd;

cout << typeid( pb ).name() << endl; //prints "class Base *"

cout << typeid( *pb ).name() << endl; //prints "class Derived"

cout << typeid( pd ).name() << endl; //prints "class Derived *"

cout << typeid( *pd ).name() << endl; //prints "class Derived"

delete pd;

}

如果 expression 正在取消引用某个指针,并且该指针的值是零, typeid 将引发 bad_typeid 异常。如果该指针没有指向有效的对象,则会引发 __non_rtti_object 异常来指示尝试了分析引发错误(如访问冲突)的 RTTI,因为该对象在某种程度上是无效的(无效的指针或代码不是用 /GR 编译的)。
如果 expression 既不是指针也不是对对象的基类的引用,则结果是表示 expression 的静态类型的 type_info 引用。表达式的 static type 将引用在编译时已知的表达式的类型。在计算表达式的静态类型时,将忽略执行语义。此外,在确定表达式的静态类型时,将忽略引用(如果可能):

?

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16
// expre_typeid_Operator_2.cpp

#include <typeinfo>

int main()

{

typeid(int) == typeid(int&); // evaluates to true

}

typeid 还可在模板中使用以确定模板参数的类型:

// expre_typeid_Operator_3.cpp

// compile with: /c

#include <typeinfo>

template < typename T >

T max( T arg1, T arg2 ) {

cout << typeid( T ).name() << "s compared." << endl;

return ( arg1 > arg2 ? arg1 : arg2 );

}

收藏 (0) 打赏

感谢您的支持,我会继续努力的!

打开微信/支付宝扫一扫,即可进行扫码打赏哦,分享从这里开始,精彩与您同在
点赞 (0)

声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。

快网idc优惠网 建站教程 详解C++编程中的sizeof运算符与typeid运算符 https://www.kuaiidc.com/74881.html

相关文章

发表评论
暂无评论