C++模版編程實現(xiàn)Haskell的函數(shù)模式匹配特性[圖]-創(chuàng)新互聯(lián)

C++模版編程實現(xiàn)Haskell的函數(shù)模式匹配特性[圖]：
大神 Bartosz Milewski 在2009年寫了一篇文章《What Does Haskell Have to Do with C++?》，使用C++實現(xiàn)Haskell函數(shù)式編程語言的一些特性。【傳送門在文末】
其中有這樣一段例子：
// code 1
1.template<int n>class fact {
2.public:

創(chuàng)新互聯(lián)秉承實現(xiàn)全網(wǎng)價值營銷的理念，以專業(yè)定制企業(yè)官網(wǎng)，網(wǎng)站設(shè)計、網(wǎng)站建設(shè)，微信小程序開發(fā)，網(wǎng)頁設(shè)計制作，成都手機(jī)網(wǎng)站制作，網(wǎng)絡(luò)營銷推廣幫助傳統(tǒng)企業(yè)實現(xiàn)“互聯(lián)網(wǎng)+”轉(zhuǎn)型升級專業(yè)定制企業(yè)官網(wǎng),公司注重人才、技術(shù)和管理，匯聚了一批優(yōu)秀的互聯(lián)網(wǎng)技術(shù)人才,對客戶都以感恩的心態(tài)奉獻(xiàn)自己的專業(yè)和所長。

3. staticconstint value = n * fact<n -1>::value;
   4.};

4. 6.template<>class fact<0>{// specialization for n = 0
   7.public:

5. staticconstint value =1;
   9.};
   注：原文中使用的是struct關(guān)鍵字，這里改為class并加上了public
   我猜，你沒看懂。沒關(guān)系，我們先跳過上面這一段有著【令人恐怖的語法】的C++模版代碼。
   上面的例子想干嘛呢？其實它只是想計算n的階乘。
   
   如果你在C語言里面學(xué)過遞歸，應(yīng)該知道下面這段計算階乘的遞歸函數(shù)
   // code 2
   int fact(int n){
   if(0== n )
   return1; //0階問題答案。0! 等于1
   else
   return( n fact( n -1)); //問題降階：n階->n-1階
   }
   它的效果就等于下面的代碼
   // code 3
   int fact2(int n){ // 用 for 循環(huán)計算階乘
   int p =1;
   for(int i=n; i >=1; i--)
   p= i;
   return p;
   }
   那么，第一段代碼（code1）與第二段代碼（code2）的區(qū)別在哪里呢？
   區(qū)別在于，code1是在編譯時（由編譯器）計算的，code2是在運行時（就是代碼運行的時候）計算的。
   現(xiàn)在來解釋一下code1 （部分根據(jù)Bartosz Milewski文中的說法）
   // code 1
   / 第1行代碼聲明了一個類模版 fact。
   這個模版接受一個“非類型參數(shù)”n，
   n是整數(shù)。
   /
   1.template<int n>class fact {
   2.public:
   / 第3行代碼聲明了一個靜態(tài)整型常量
   成員 value。而 value 的值是使用
   遞歸模版表示的
   /
6. staticconstint value = n * fact<n -1>::value;
   4.};

7. / 第6行代碼是“特化”類模版fact，
   也就是顯式地給出某種類型參數(shù)的
   類模板的一個實例的代碼，而非由
   編譯器生成。
   在這里，是給出了參數(shù)n為0時模板
   fact的代碼。這樣，編譯器不會再
   根據(jù)類模版fact生成n=0時的代碼
   關(guān)于模版特化，詳見文末鏈接
   /
   6.template<>class fact<0>{// specialization for n = 0
   7.public:

8. static const int value = 1;
9. };
   / 根據(jù)C++規(guī)范，模版特化的代碼必須
   放到模版聲明之后。
   因此上面的代碼看上去好像先處理了
   由n階到n-1階的降階問題，然后再給
   出了0階的解答
   這可不像code2。code2中有if/else，
   因此可以把降階代碼與0階解答代碼調(diào)
   換先后次序（當(dāng)然if條件得改）。
   /
   那么這個用模版計算階乘的代碼（類？）該怎么用呢？如下：
   cout <<"Factorial of 0 = "<< fact<0>::value << endl;
   其中，C++編譯器會為“fact<0>::value”這個調(diào)用匹配最合適的模版代碼，也就是code1中的第6-9行代碼。
   如果用非零參數(shù)調(diào)用呢？
   cout <<"Factorial of 8 = "<< fact<8>::value << endl;
   其中，C++編譯器會為“fact<8>::value”這個調(diào)用匹配code1中的第1-4行代碼。
   前面blahblhaaaaaaaaaaaah講了一大堆，其實都不是正經(jīng)事兒。
   正經(jīng)是下面的Haskell代碼：
   //code 4
10. fact 0=1
11. fact n = n * fact (n -1)
    上面兩行代碼定義了函數(shù)fact。fact是函數(shù)名，fact的后面、等號的前面是函數(shù)的參數(shù)。等號后面是函數(shù)體，函數(shù)體的計算結(jié)果就是fact函數(shù)的返回值。

    當(dāng)程序員調(diào)用【fact 8】的時候（參數(shù)是8，因為Haskell函數(shù)調(diào)用一般不像C++那樣給參數(shù)加括號），Haskell會將之匹配到上面代碼的第2行。誰動了我的奶酪讀書筆記（http://www.simayi.net/dushubiji/6208.html）摘抄好詞好句及感悟賞析，這種參數(shù)匹配，是Haskell特有的函數(shù)聲明與調(diào)用方式。

    所以前面的code1中C++模版代碼，就是在模仿 code4 中的Haskell代碼。
    下面給出一個完整的Haskell程序
    moduleFactwhere
    importSystem.IO
    fact::Integer->Integer
    fact0=1
    fact n = n * fact (n-1)
    main::IO()
    main=do
    putStrLn $"8! = "++ show (fact 8)
    putStrLn $"88! = "++ show (fact 88)
    上面的代碼輸出結(jié)果是：
    8! = 40320
    88! =185482642257398439114796845645546284380220968949399346684421580986889562184028199319100141244804501828416633516851200000000000000000000
    Haskell對C++說：我能算88!，你行嗎？
    C++說：你欺負(fù)人！

另外有需要云服務(wù)器可以了解下創(chuàng)新互聯(lián)scvps.cn，海內(nèi)外云服務(wù)器15元起步，三天無理由+7*72小時售后在線，公司持有idc許可證，提供“云服務(wù)器、裸金屬服務(wù)器、高防服務(wù)器、香港服務(wù)器、美國服務(wù)器、虛擬主機(jī)、免備案服務(wù)器”等云主機(jī)租用服務(wù)以及企業(yè)上云的綜合解決方案，具有“安全穩(wěn)定、簡單易用、服務(wù)可用性高、性價比高”等特點與優(yōu)勢，專為企業(yè)上云打造定制，能夠滿足用戶豐富、多元化的應(yīng)用場景需求。

文章標(biāo)題：C++模版編程實現(xiàn)Haskell的函數(shù)模式匹配特性[圖]-創(chuàng)新互聯(lián)
轉(zhuǎn)載來源：http://bm7419.com/article0/gopio.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供微信小程序、網(wǎng)站改版、面包屑導(dǎo)航、標(biāo)簽優(yōu)化、品牌網(wǎng)站設(shè)計、軟件開發(fā)

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請盡快告知，我們將會在第一時間刪除。文章觀點不代表本網(wǎng)站立場，如需處理請聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時需注明來源： 創(chuàng)新互聯(lián)