C++學(xué)習(xí)之cstdbool和cstddef頭文件封裝源碼分析

更新時(shí)間：2022年09月05日 14:23:23 作者：桑榆晚

這篇文章主要為大家介紹了C++學(xué)習(xí)之cstdbool和cstddef頭文件封裝源碼分析，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪

引言

cstdbool是C++對(duì)stdbool.h頭文件的封裝，里面定義了與bool變量相關(guān)的宏；

cstddef是C++對(duì)stddef.h頭文件的封裝，里面定義一些特殊類型（如size_t），有用的宏函數(shù)（offsetof）。

平時(shí)我們都是使用這些宏或者宏函數(shù)，對(duì)于它們的原理還不是很清楚，是怎么實(shí)現(xiàn)這些功能的呢？接下來我們就一一來看一看源碼實(shí)現(xiàn)。

stdbool.h

cstdbool實(shí)現(xiàn)

代碼參考：www.aospxref.com/android-13.…

在cstdbool文件中的邏輯很簡(jiǎn)單，解除__bool_true_false_are_defined的定義，然后將其定義為1，標(biāo)識(shí)bool，true，false都已經(jīng)被C++定義了。

 #include <__config>
 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
 #pragma GCC system_header
 #endif
 #undef __bool_true_false_are_defined
 #define __bool_true_false_are_defined 1

C語(yǔ)言的原生實(shí)現(xiàn)stdbool.h

參考代碼：www.aospxref.com/android-13.… 在該文件中，如果當(dāng)前不是C++環(huán)境，那么我們將bool/true/false都進(jìn)行定義，同時(shí)將__bool_true_false_are_defined定義為1，以便后續(xù)使用。

 #ifndef __cplusplus
 #define true 1
 #define false 0
 #define bool _Bool
  #endif
  #define __bool_true_false_are_defined 1

小結(jié)

stdbool.h實(shí)際上是為了解決C/C++的兼容問題出現(xiàn)的。

stddef.h

代碼參考：www.aospxref.com/android-13.…

常量NULL的定義

從這里可以看出，實(shí)際上NULL有三種實(shí)現(xiàn)方式，0L,((void*)0)都是我們?cè)贑語(yǔ)言中常用的方式，其中的nullptr是C++定義的內(nèi)部類型，能夠做到對(duì)很多情況的適配，不是一個(gè)單獨(dú)的基本類型。

 #if __cplusplus >= 201103L
 #define NULL nullptr
 #elif defined(__cplusplus)
 #define NULL 0L
 #else
 #define NULL ((void*)0)
 #endif

類型的定義

其中定義了如下的類型：

ptrdiff_t---保存指針減法的結(jié)果
size_t---無符號(hào)整數(shù)，表示類型占據(jù)的size大小
max_align_t---最大默認(rèn)對(duì)齊的類型
nullptr_t---C++中的空指針類型參考代碼：www.aospxref.com/android-13.…

x86_64的相關(guān)實(shí)現(xiàn)如下： ptrdiff_t使用long定義，指針減法，實(shí)際上是64位數(shù)的減法，long足夠表示； size_t使用long表示； max_align_t定義為擁有l(wèi)ong long數(shù)據(jù)和long double數(shù)據(jù)的結(jié)構(gòu)體； nullptr_t定義為nullptr的類型。

 #define _Addr long
  #if defined(__NEED_ptrdiff_t) && !defined(__DEFINED_ptrdiff_t)
  typedef _Addr ptrdiff_t;
  #define __DEFINED_ptrdiff_t
  #endif
  #if defined(__NEED_size_t) && !defined(__DEFINED_size_t)
  typedef unsigned _Addr size_t;
  #define __DEFINED_size_t
  #endif
  #if defined(__NEED_max_align_t) && !defined(__DEFINED_max_align_t)
  typedef struct { long long __ll; long double __ld; } max_align_t;
  #define __DEFINED_max_align_t
  #endif
typedef decltype(nullptr) nullptr_t;

offsetof宏

offsetof (type,member)接受兩個(gè)參數(shù)，類型和成員名，返回該成員的偏移地址。

聽上去這個(gè)實(shí)現(xiàn)起來很簡(jiǎn)單，我們來看看這個(gè)精巧的宏是如何設(shè)計(jì)的。

  #if __GNUC__ > 3
  #define offsetof(type, member) __builtin_offsetof(type, member)
  #else
  #define offsetof(type, member) ((size_t)( (char *)&(((type *)0)->member) - (char *)0 ))
  #endif

不考慮使用內(nèi)建函數(shù)實(shí)現(xiàn)的方式，我們來看看第二種方式，這是一個(gè)比較復(fù)雜的宏，讓我們來一步步拆開它，并體會(huì)其中的精妙：