D語言超強的編譯時檢測技術,強型別技術

d語言引入了static if ， static assert ， template , is 等一些語句，使得d語言可以使用編譯時執行邏輯處理，同時也能進行編譯時測試，這使得編譯器在編譯時就可以對自定義的類，結構，引數進行動態檢測，這樣讓定義的東西有了強型別功能，牛b之作。

點開第一句，定位到：

這個錯誤提示是由**提供的，而不是編譯器。這段**相當於擴充套件了編譯器，牛b吧。擴大了c++中的#if,#else巨集處理方式。

讓編譯器更加智慧型。一直在想c#中什麼時候才會有編譯檢測技術(強型別技術)，即在編譯時發現問題，而不等到執行時，等到執行裡是個糟糕的事情。這比像c#中依賴於繼承關係，和where條件的檢測技術強大多了。

以前覺得c#中的where條件編譯時檢測技術

很牛，現在才發現d語言的更牛。

剛開始在看《d語言程式設計》這本書時，看到static if語言，還只是以為僅僅是#if巨集的替代產品，沒想到它具有這麼強大的威力。真是太不可思議了。下面來看個標準庫中實現型別判斷的函式是如何實現的：

編譯時型別判斷函式的實現

這是乙個使用模板實現的編譯時檢測函式，檢測條件有4個

template isinputrange(r)
//can test for empty
r.popfront(); //
can invoke popfront()
auto h = r.front; //
can get the front of the range
}));
}

這個檢測函式不僅可以在編譯時進行條件檢測，還可以在程式中使用，用於判斷物件是否實現inputrange需要的函式，欄位和屬性，這就比c#中只依賴繼承關係的is語句更加強大。

看了d語言幾天，真是越來越喜歡d語言了，真是牛b的不行不行的。