對于開發者而言，開發語言就是工具，中途換工具一般需要付出的成本。本文是一篇開發者自述，講述了自己是如何從C/C++改投D語言門下，并介紹了D語言相對C/C++的衍生功能和優勢。

作為開發人員，換開發語言其實是一件需要很高成本的事，本文主要講講我是怎么從C語言轉投D語言的。

其實我的經歷和許多系統程序員的故事差不多。曾經有一段時間，C是大多數程序員的首選語言。有一天，我意識到我的大多數C程序都在重新實現C++中的東西：動態數組、更好的字符串、多態類等等。所以我嘗試使用C++，起初我很喜歡它。RAII、類、泛型等新的組件和概念讓編程再次變得有趣起來。

我曾經想象過，如果我把所有關于C ++的書籍都看一遍，并掌握了模板元編程之類的東西，我說不定會成為系統編程的全能之神，我寫的代碼會讓人大吃一驚。但事后看來，學習也可能最終會產生更多相反的效果: 我寫出的代碼實際上變得更糟。

總之全能之神當不上了，我很傷心。

我記得我讀過Scott Meyer著名的《Effective C ++》，這本書其實更多講的是指出低效率的C ++編程的問題，我發現自己寫的大多數C++代碼都對上了號。讓我們面對現實吧：C可能很難用，但它確實足夠“優雅”，而提到C++，你很難跟“優雅”搭上邊。

很多前C ++程序員最終都用回了C。就我而言，我發現了D語言。其實D也不完美，但是我使用它因為它讓我感覺更像是C++應該有的樣子（C+=1）。比如以下面這個簡單的C程序為例（一加一等于幾？）：

#includeint main(){ printf("1 + 1 = %d! ", 1 + 1); return 0;}

如果使用C++標準庫，代碼是這樣的：

#include int main(){ std::cout << "1 + 1 = " << 1 + 1 << "!" << std::endl; return 0;}

如果使用D語言，代碼是這樣的：

import std.stdio;void main(){ writef("1 + 1 = %d! ", 1 + 1);}

這個例子雖然淺顯，但它體現出了C++和D之間背后理念的一些區別。

這篇關于C ++成員函數指針的文章也是對D的起源的一個很好的解釋。如果你酷愛編程，這篇文章是一個很好的解讀， 但我的解讀是：C++成員函數指針應該是感覺像是一個低級功能（就像普通函數指針一樣），但其實現的復雜性和多樣性說明它們真的很“高級”。

這些指針的實現過程很復雜，因為關于它們能做什么/不能做什么的規則是很微妙的。作者解釋了幾個C ++編譯器的實現，包括優雅而簡單的Digital Mars C ++實現，即DMC。DMC編譯器是由Walter Bright編寫的，他是“D語言”的發明者。

D具有C ++的類和模板以及其他核心功能，但設計者花費了大量時間思考C ++規范，以及如何讓設計和編程變得更簡單。Walter曾經說過，他在部署C ++模板的痛苦經歷，讓他考慮過根本不把該功能納入D，后來他意識到，這個過程本來不需要那么復雜。

下面對D語言的功能和特點進行一番大概的介紹，其實可以把D視作一個“改進版”的C語言。介紹中時刻少不了和C/C++的對比。

-betterC開關

D編譯器支持-betterC開關，該開關可以啟用/禁用D運行時以及依賴于它的所有高級功能。上面的C代碼可以直接轉換為betterC：

import core.stdc.stdio;extern(C):int main(){ printf("1 + 1 = %d! ", 1 + 1); return 0;}

$ dmd -betterC example.d$ ./example1 + 1 = 2!

生成的二進制文件看起來很像等效的C二進制文件。事實上，如果你在betterC中重寫了一個C庫，仍然可以鏈接到已經對C版本編譯的代碼，無需修改就可立即使用。

實際上，如果只是要在D語言中編寫類似C的代碼，并不需要-betterC開關。只有在沒有D Runtime的特殊情況下才需要使用。

靜態assert（）

這個功能允許開發者在編譯時驗證一些假設。

static assert（kNumInducers<16）;

系統代碼通常對對齊或結構大小或其他事物做出假設。使用靜態assert不僅可以記錄這些假設，而且如果有人通過添加struct成員或其他東西來破壞假設，則會觸發編譯錯誤。

Slices

典型的C代碼中存在大量的“指針/長度”參數對，一個常見bug就是二者的不同步。對于由指針和長度定義的一系列內存，Slice是一種簡單且超級有用的抽象表示。現在不必使用這樣的代碼：

buffer_p += offset;buffer_len -= offset; // Got to update both

而可以用下邊這種更不容易出bug的代碼:

buffer = buffer[offset..$];

Slice 其實就是具備優秀語法功能的指針/長度對。

編譯時間函數估計 (CTFE)

許多函數都可以用編譯時間來評估。

long factorial(int n) pure{ assert (n >= 0 && n <= 20); long ret = 1; foreach (j; 2..n+1) ret *= j; return ret;}// Statically allocated array// Size is calculated at compile timePermutation[factorial(kNumThings)]permutation_table;

scope Guards

函數的一部分中的代碼通常會在后續部分帶上一段清理代碼。一個常見的錯誤來源是未能正確匹配該代碼，（尤其是涉及多個控制流路徑時）。D的scope guards設定使得這個問題變得不再困難：

p = malloc(128);// free() will be called when thecurrent scope exitsscope (exit) free(p);// Put whatever if statements, or loops,or early returns you like here

你甚至可以在作用域中使用多個scope，或嵌套使用scope。清理代碼將在需要時以正確的順序被調用。

D語言還利用結構析構函數支持RAII。

常量和不可變量

有一個流行的說法是，C和C++中的const對編譯器優化很有用。不過D的作者表示，每當他想到一個新的基于const的C++優化時，最終都發現它在實際代碼中并不起作用。所以他對D的const語義做了一些修改，并添加了不可變量。可以在D const FAQ中閱讀更多內容。

函數純度

可以實施函數純度功能。我之前寫過關于pure關鍵字的一些好處。

@Safe

SafeD是D的一個部分，禁止使用指針類型轉換和內聯匯編等高風險語言功能。標記為@safe的代碼由編譯器強制執行，不使用這些功能，因此高風險代碼可以僅限需要這些功能的應用程序的一小部分。

元編程

如前所述，元編程在一些C ++程序員中名聲不好。但是D中的元編程具備一些沒那么有趣的優點，程序員一般傾向于只在必要時才用，而不是一個有趣的謎題。

需要將枚舉類型的名稱作為數組？容易！

enum State{ stopped, starting, running, stopping,}string[] state_names =[__traits(allMembers, State)];

沒有預處理器

好吧，這其實是一個“非功能”，但D沒有相當于C的預處理器的功能。所有理智的用例都被替換為本機語言功能，如清單常量和模板。這包括適當的模塊支持，這意味著D可以擺脫舊#include黑客的限制。