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

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

sizeof unary-expression sizeof ( type-name )

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

#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;
}

示例输出

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 运算符
语法

   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,而不是它指向的内容。例如:

// 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 将引用在编译时已知的表达式的类型。在计算表达式的静态类型时,将忽略执行语义。此外,在确定表达式的静态类型时,将忽略引用(如果可能):

// 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 );
}

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索c++
, sizeof
, 运算符
typeid
sizeof运算符、sizeof运算符如何使用、sizeof详解、scala函数编程运算符、c语言运算符详解,以便于您获取更多的相关知识。

时间: 2024-10-31 08:12:18

详解C++编程中的sizeof运算符与typeid运算符_C 语言的相关文章

详解C++编程中的文件流与字符串流_C 语言

C++文件流类与文件流对象 文件流是以外存文件为输入输出对象的数据流.输出文件流是从内存流向外存文件的数据,输入文件流是从外存文件流向内存的数据.每一个文件流都有一个内存缓冲区与之对应. 请区分文件流与文件的概念,不用误以为文件流是由若干个文件组成的流.文件流本身不是文件,而只是以文件为输入输出对象的流.若要对磁盘文件输入输出,就必须通过文件流来实现. 在C++的I/O类库中定义了几种文件类,专门用于对磁盘文件的输入输出操作. 除了标准输入输出流类istream.ostream和iostream

详解C++编程中表达式的语义与计算顺序_C 语言

表达式根据其运算符的优先级和分组来计算. 计算顺序请看以下示例: // expre_pluslang__pluslang_Order_of_Evaluation.cpp // compile with: /EHsc #include <iostream> using namespace std; int main() { int a = 2, b = 4, c = 9; cout << a + b * c << "\n"; cout <<

详解C++编程中的静态成员与可变数据成员_C 语言

静态成员类可以包含静态成员数据和成员函数.当数据成员被声明为"静态"时,只会为类的所有对象保留一个数据副本. 静态数据成员不是给定的类类型的对象的一部分.因此,静态数据成员的声明不被视为一个定义.在类范围中声明数据成员,但在文件范围内执行定义.这些静态类成员具有外部链接.下面的示例阐释了这一点: // static_data_members.cpp class BufferedOutput { public: // Return number of bytes written by a

详解C++编程中用数组名作函数参数的方法_C 语言

C++数组的概念 概括地说:数组是有序数据的集合.要寻找一个数组中的某一个元素必须给出两个要素,即数组名和下标.数组名和下标惟一地标识一个数组中的一个元素. 数组是有类型属性的.同一数组中的每一个元素都必须属于同一数据类型.一个数组在内存中占一片连续的存储单元.如果有一个整型数组a,假设数组的起始地址为2000,则该数组在内存中的存储情况如图所示. 引入数组就不需要在程序中定义大量的变量,大大减少程序中变量的数量,使程序精炼,而且数组含义清楚,使用方便,明确地反映了数据间的联系.许多好的算法都与

详解C++程序中定义struct结构体的方法_C 语言

什么是结构体?简单的来说,结构体就是一个可以包含不同数据类型的一个结构,它是一种可以自己定义的数据类型,它的特点和数组主要有两点不同,首先结构体可以在一个结构中声明不同的数据类型,第二相同结构的结构体变量是可以相互赋值的,而数组是做不到的,因为数组是单一数据类型的数据集合,它本身不是数据类型(而结构体是),数组名称是常量指针,所以不可以做为左值进行运算,所以数组之间就不能通过数组名称相互复制了,即使数据类型和数组大小完全相同. 结构体的定义 定义结构体使用struct修饰符,例如: struct

详解Java编程中的策略模式_java

策略模式属于对象的行为模式.其用意是针对一组算法,将每一个算法封装到具有共同接口的独立的类中,从而使得它们可以相互替换.策略模式使得算法可以在不影响到客户端的情况下发生变化. 策略模式的结构 策略模式是对算法的包装,是把使用算法的责任和算法本身分割开来,委派给不同的对象管理.策略模式通常把一个系列的算法包装到一系列的策略类里面,作为一个抽象策略类的子类.用一句话来说,就是:"准备一组算法,并将每一个算法封装起来,使得它们可以互换".下面就以一个示意性的实现讲解策略模式实例的结构. 这个

详解Java编程中的反射在Android开发中的应用_Android

反射定义 "反射"(Reflection)能够让运行于JVM中的程序检测和修改运行时的行为.为何需要反射 反射带来的好处包括:     在运行时检测对象的类型.     动态构造某个类的对象.     检测类的属性和方法.     任意调用对象的方法.     修改构造函数.方法.属性的可见性. 反射方法Method getDeclaredMethod方法 声明如下: public Method getDeclaredMethod(String name, Class<?>

详解Java编程中向量(Vector)的应用_java

Vector(向量)是 java.util 包中的一个类,该类实现了类似动态数组的功能. 向量和数组相似,都可以保存一组数据(数据列表).但是数组的大小是固定的,一旦指定,就不能改变,而向量却提供了一种类似于"动态数组"的功能,向量与数组的重要区别之一就是向量的容量是可变的. 可以在向量的任意位置插入不同类型的对象,无需考虑对象的类型,也无需考虑向量的容量. 向量和数组分别适用于不同的场合,一般来说,下列场合更适合于使用向量: 如果需要频繁进行对象的插入和删除工作,或者因为需要处理的对

详解C++编程中的主表达式与后缀表达式编写基础_C 语言

主表达式主表达式是更复杂的表达式的构造块.它们是文本.名称以及范围解析运算符 (::) 限定的名称.主表达式可以具有以下任一形式: literal this :: name name ( expression ) literal 是常量主表达式.其类型取决于其规范的形式. this 关键字是指向类对象的指针.它在非静态成员函数中可用,并指向为其调用函数的类的实例. this 关键字只能在类成员函数体的外部使用. this 指针的类型是未特别修改 this 指针的函数中的 type *const(