C語(yǔ)言是否支持泛型編程？毫無(wú)疑問(wèn)，答案是不支持。

什么是泛型編程，我覺(jué)得用C++里面的模板可以很好的說(shuō)明。

#include


//函數(shù)模板
template 
void add(T x, T y)
{
    std::cout << x + y << std::endl;
}


int main()
{
    add(1, 2);
    add(1.11f, 2.22f);


    return 0;
}

比如函數(shù)add就是一個(gè)模板函數(shù)，它既能支持整數(shù)的相加，也能支持浮點(diǎn)數(shù)的相加，甚至是其他的自定義類(lèi)型，只要能提供相加的規(guī)則，編譯器都能通過(guò)。

泛型編程可以大大的提高編程的效率。

C語(yǔ)言本身并不支持泛型，好在C11標(biāo)準(zhǔn)后，新增了關(guān)鍵字_Generic，它可以支持輕量級(jí)的泛型編程。

_Generic的作用，如果用一句話(huà)來(lái)描述，就是可以獲得變量的類(lèi)型。

大家可以想一下，在C語(yǔ)言里面，好像確實(shí)沒(méi)有什么方法能獲得一個(gè)變量的類(lèi)型。

比如int a，用戶(hù)確實(shí)可以知道 a 是 int 類(lèi)型，但是如果想要通過(guò)代碼來(lái)計(jì)算出 a 的類(lèi)型，好像確實(shí)比較麻煩。

_Generic就解決了這個(gè)問(wèn)題，寫(xiě)個(gè)簡(jiǎn)單的代碼看下。

#include 


int main()
{
    int a;


    printf("%s
", _Generic((a), int : "int", char : "char"));


    return 0;
}

第一個(gè)表達(dá)式就是變量a，后面依次跟上可能的類(lèi)型，如果是int類(lèi)型，就輸出int，如果是char類(lèi)型，就輸出char。

為了看起來(lái)簡(jiǎn)單一些，我這里就寫(xiě)兩個(gè)。

運(yùn)行程序，確實(shí)輸出的就是int。 如果把代碼寫(xiě)的完整一些，可以來(lái)一個(gè)宏定義，然后把常見(jiàn)的類(lèi)型都寫(xiě)在后面，當(dāng)然，指針也沒(méi)有問(wèn)題。

#include 


#define TYPE_NAME(val) _Generic((val), int : "int", 
                                       char : "char", 
                                       short : "short", 
                                       float : "float", 
                                       double : "double", 
                                       int * : "int *", 
                                       default : "unkown")


int main()
{
inta;
    char b;
    int *c;
    double d;


    printf("%s
", TYPE_NAME(a));
    printf("%s
", TYPE_NAME(b));
    printf("%s
", TYPE_NAME(c));
    printf("%s
", TYPE_NAME(d));


    return 0;
}

再次運(yùn)行程序，這樣得到的結(jié)果就會(huì)更豐富一些。

有了這個(gè)基礎(chǔ)，我們?cè)賮?lái)看下如何用它實(shí)現(xiàn)所謂的泛型編程。

比如還是實(shí)現(xiàn)兩個(gè)數(shù)字的相加。

先來(lái)兩個(gè)函數(shù)，因?yàn)镃語(yǔ)言不支持函數(shù)重載，所以函數(shù)名得不一樣，一個(gè)叫add_int，一個(gè)叫add_float。

int add_int(int a,int b)
{
    printf("%d + %d = %d
",a,b,a+b);
    return a+b;
}


float add_float(float a,float b)
{
    printf("%f + %f = %f
",a,b,a+b);
    return a+b;
}


void unsupport()
{
    printf("unsupport type
");
}

然后來(lái)一個(gè)宏定義，根據(jù)第一個(gè)參數(shù)的類(lèi)型來(lái)匹配到底調(diào)用哪個(gè)函數(shù)。

#define ADD(x,y) _Generic((x),
    int:add_int(x,y),
    float:add_float(x,y),
    default:unsupport())

主函數(shù)里面調(diào)用ADD函數(shù)，參數(shù)既可以是int，也可以是float。

int main()
{
    ADD(1, 2);
    ADD(1.11f, 2.22f);


    return 0;
}

運(yùn)行程序，確實(shí)也能達(dá)到C++函數(shù)模板的效果。

root@Turbo:test# ./1 
1 + 2 = 3
1.110000 + 2.220000 = 3.330000
root@Turbo:test#

審核編輯：劉清