C語言中size_t類型詳細說明【轉載】

在c語言的很多庫函數中,函數原型中,參數類型都是size_t。但是在我們編寫程序時size_t類型卻很少有所使用。那麼這個類型到底有什麼作用呢

使用size_t可能會提高代碼的可移植性、有效性或者可讀性,或許同時提高這三者。

 

  在標準C庫中的許多函數使用的參數或者返回值都是表示的用字節表示的對象大小,比如說malloc(n) 函數的參數n指明瞭需要申請的空間大小,還有memcpy(s1, s2, n)的最後一個參數,表明需要複製的內存大小,strlen(s)函數的返回值表明了以’\0’結尾的字符串的長度(不包括’\0’),其返回值並不是該字符串的實際長度,因爲要去掉’\0’。
  或許你會認爲這些參數或者返回值應該被申明爲int類型(或者long或者unsigned),但是事實上並不是。C標準中將他們定義爲size_t。標準中記載malloc的申明應該出現在,定義爲:

void *malloc(size_t n);

memcpy和strlen的申明應該出現在中:

void *memcpy(void *s1, void const *s2, size_t n);
size_t strlen(char const *s);

size_t還經常出現在C++標準庫中,此外,C++庫中經常會使用一個相似的類型size_type,用的可能比size_t還要多。
  據我所知,大部分的C和C++程序員害怕這些庫使用size_t,因爲他們不知道size_t代表什麼或者爲什麼這些庫需要使用它,歸根結底,原因在於他們什麼時候什麼地方需要用到它。

可移植性問題

  早期的C語言(由Brian Kernighan 和 Dennis Ritchie 在The C Programming Language書中所寫,Prentice-Hall, 1978)並沒有提供size_t類型,C標準委員會爲了解決移植性問題將size_t引入,舉例如下:
  讓我們來寫一個可移植的標準memcpy函數,我們將會看到一些不同的申明和它們在不同平臺不同大小的地址空間上編譯下的情況。
  回憶memcpy(s1, s2, n)函數,它將s2指向地址開始的n個字節拷貝到s2指向的地址,返回s1,這個函數可以拷貝任何數據類型,所以參數和返回值的類型應該爲可以指向任何類型的void*,同時,源地址不應該被改變,所以第二個參數s2類型應該爲const void*,這些都不是問題。
  真正的問題在於我們如何申明第三個參數,它代表了源對象的大小,我相信大部分程序員都會選擇int:

void *memcpy(void *s1, void const *s2, int n);

  使用int類型在大部分情況下都是可以的,但是並不是所有情況下都可以。int是有符號的,它可以表示負數,但是,大小不可能是複數。所以我們可以使用unsigned int代替它讓第三個參數表示的範圍更大。
  在大部分機器上,unsigned int的最大值要比int的最大值大兩倍,比如說再也給16位的機器上,unsigned int的最大值爲65535,int的最大值爲32767。
  儘管int類型的大小依賴於C編譯器的實現,但是在給定的平臺上int對象的大小和unsigned int對象的大小是一樣的。因此,使用unsigned int修飾第三個參數的代價與int是相同的:

void *memcpy(void *s1, void const *s2, unsigned int n);  

這樣似乎沒有問題了,unsigned int可以表示最大類型的對象大小了,這種情況只有在整形和指針類型具有相同大小的情況下,比如說在IP16中,整形和指針都佔2個字節(16位),而在IP32上面,整形和指針都佔4個字節(32位)。(參見下面C數據模型表示法)

C數據模型表示法   最近,我偶然發現幾篇文章,他們使用簡明的標記來表述不同目標平臺下c語言數據的實現。我還沒有找到這個標記的來源,正式的語法,甚至連名字都沒有,但他似乎很簡單,即使沒有正規的定義也可以很容易使用起來。這些標記的一邊形式形如:   I nI L nL LL nLL P nP。   其中每個大寫字母(或成對出現)代表一個C的數據類型,每一個對應的n是這個類型包含的位數。I代表int,L代表long,LL代表long long,以及P代表指針(指向數據,而不是函數)。每個字母和數字都是可選的。   例如,I16P32架構支持16位int和32位指針類型,沒有指明是否支持long或者long long。如果兩個連續的類型具有相同的大小,通常省略第一個數字。例如,你可以將I16L32P32寫爲I16LP32,這是一個支持16位int,32位long,和32位指針的架構。   標記通常把字母分類在一起,所以可以按照其對應的數字升序排列。例如,IL32LL64P32表示支持32位int,32位long,64位long long和32位指針的架構;然而,通常寫作ILP32LL64。

  不幸的是,這種memcpy的申明在I16LP32架構上(整形是16-bit 長整形和指針類型時32-bits)顯得不夠用了,比如說摩托羅拉第一代處理器68000,在這種情況下,處理器可能拷貝的數據大於65535個字節,但是這個函數第三個參數n不能處理這麼大的數據。
  什麼?你說很容易就可以改正?只需要把memcpy的第三個參數的類型修改一下:

void *memcpy(void *s1, void const *s2, unsigned long  n); 

  你可以在I16LP32目標架構上使用這個函數了,它可以處理更大的數據。而且在IP16和IP32平臺上效果也還行,說明它確實給出了memcpy的一種移植性較好的申明。但是,在IP16平臺上相比於使用unsigned int,你使用unsigned long可能會使你的代碼運行效率大打折扣(代碼量變大而且運行變慢)。
  在標準C中規定,長整形(無論無符號或者有符號)至少佔用32位,因此在IP16平臺上支持標準C的話,那麼它一定是IP16L32 平臺。這些平臺通常使用一對16位的字來實現32位的長整形。在這種情況下,移動一個長整形需要兩條機器指令,每條移動一個16位的塊。事實上,這個平臺上的大部分的32位操作都需要至上兩條指令。
  因此,以可移植性爲名將memcpy的第三個參數申明爲unsigned long而降低某些平臺的性能是我們所不希望看到的。使用size_t可以有效避免這種情況。
  size_t類型是一個類型定義,通常將一些無符號的整形定義爲size_t,比如說unsigned int或者unsigned long,甚至unsigned long long。每一個標準C實現應該選擇足夠大的無符號整形來代表該平臺上最大可能出現的對象大小。

使用size_t

  size_t的定義在<stddef.h>, <stdio.h>, <stdlib.h>, <string.h>, <time.h>和<wchar.h>這些標準C頭文件中,也出現在相應的C++頭文件, 等等中,你應該在你的頭文件中至少包含一個這樣的頭文件在使用size_t之前。   包含以上任何C頭文件(由C或C++編譯的程序)表明將size_t作爲全局關鍵字。包含以上任何C++頭文件(當你只能在C++中做某種操作時)表明將size_t作爲std命名空間的成員。   根據定義,size_t是sizeof關鍵字(注:sizeof是關鍵字,並非運算符)運算結果的類型。所以,應當通過適當的方式聲明n來完成賦值:

n = sizeof(thing);

考慮到可移植性和程序效率,n應該被申明爲size_t類型。類似的,下面的foo函數的參數也應當被申明爲sizeof:

foo(sizeof(thing));

  參數中帶有size_t的函數通常會含有局部變量用來對數組的大小或者索引進行計算,在這種情況下,size_t是個不錯的選擇。 
  適當地使用size_t還會使你的代碼變得如同自帶文檔。當你看到一個對象聲明爲size_t類型,你馬上就知道它代表字節大小或數組索引,而不是錯誤代碼或者是一個普通的算術值。  

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章