Linux內核版本：2.6.14
今天分析內核時又看到了typeof，只知道它大概是返回變量的類型，後來上網查了下發現這個關鍵字在linux中用的非常多。如果你對sizeof很熟悉的話，那麼大可進行類推，sizeof（exp）返回的是exp的數據類型大小，那麼typeof（exp.）返回的就是exp的數據類型。下面是linux內核中typeof的一些例子。
include/linux/kernel.h
/*
* min()/max() macros that also do
* strict type-checking.. See the
* "unnecessary" pointer comparison.
*/
#define min(x,y) ({ \
typeof(x) _x = (x); \ //_x的數據類型和x一樣
typeof(y) _y = (y); \
(void) (&_x == &_y); \
_x < _y ? _x : _y; })
#define max(x,y) ({ \
typeof(x) _x = (x); \
typeof(y) _y = (y); \
(void) (&_x == &_y); \
linux/include/asm-arm/uaccess.h
#define get_user(x,p) \
({ \
const register typeof(*(p)) __user *__p asm("r0") = (p);\ //__p的數據類型和*(p)的指針數據類型是一樣的，__p = p
register typeof(*(p)) __r2 asm("r2"); \ //__r2的數據類型和*(p)的數據類型是一樣的
register int __e asm("r0"); \
switch (sizeof(*(__p))) { \
case 1: \
__get_user_x(__r2, __p, __e, 1, "lr"); \
break; \
case 2: \
__get_user_x(__r2, __p, __e, 2, "r3", "lr"); \
break; \
case 4: \
__get_user_x(__r2, __p, __e, 4, "lr"); \
break; \
case 8: \
__get_user_x(__r2, __p, __e, 8, "lr"); \
break; \
default: __e = __get_user_bad(); break; \
} \
x = __r2; \
__e; \
})
下面寫一個小程序示例一下：
#include <stdio.h>
typedef struct
{
int x;
char y;
}astruct, * pastrcut;
int main()
{
int sizem, sizew;
int x = 3;
typeof(&x) m = &x;
sizem = sizeof(m);
*m = 5;
typeof(((astruct *)5)->y) w;
sizew = sizeof(w);
w = "a";
return 1;
}
首先看main函數裡的m變量，這個變量的類型就是typeof(&x)， 由於x是int型的(這裡與x是否被賦值一點關系都沒有)，所以&x應該是int *類型，那麼typeof(&x)返回的類型就是int*，所以m自然也就是個int*類型的。
然後我們看w變量，其類型是 typeof(((astruct *)5)->y)， 其中astruct是一個被定義的結構類型，其中的y元素是char類型，那麼((astruct *)5)->y是啥意思呢？在這裡5並不是真正的變量，可以把它理解為一個替代使用的符號，當然這個符號最好是一個數，其意思更可以理解為一個被賦值了的變量，這個數可以是0，3，也可以是8也可以隨便什麼都可以。那麼((astruct *)5)->y僅僅就是表示了y這個變量，所以typeof的結果就是y元素的類型，也就是char。