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: 1The length of Hello, world! is: 14The 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 );}