D語(yǔ)言和Visual D簡(jiǎn)介
D語(yǔ)言是一種由Digital Mars公司創(chuàng)造的系統(tǒng)編程語(yǔ)言，它專(zhuān)注于“把C和C++的能力和高性能與先進(jìn)的語(yǔ)言——像Ruby和Python——的高生產(chǎn)力結(jié)合起來(lái)。”盡管它仍然是一種靜態(tài)類(lèi)型的語(yǔ)言，可以直接編譯成本地代碼，而且語(yǔ)法看起來(lái)與Java或者C#非常類(lèi)似，但是它做出了很多有意義的改進(jìn)。
這些改進(jìn)包括明確地支持惰性參數(shù)。當(dāng)我們使用關(guān)鍵字“lazy”標(biāo)記一個(gè)形參時(shí)，就意味著相關(guān)的實(shí)參會(huì)被賦值0次或者多次。這與Haskell之類(lèi)的語(yǔ)言不同，它會(huì)延遲對(duì)實(shí)參賦值0次或者1次，但不會(huì)再多。
為了保證程序的正確性，特別是在并行以及多線程的領(lǐng)域中的正確性，D語(yǔ)言支持把“immutable”和“const”作為一等概念。和C++不同的是，在D語(yǔ)言中的immutable和const修飾符是可傳遞的。如果我們用immutable標(biāo)記了一個(gè)變量，那么不但不能對(duì)其進(jìn)行變更，也不能變更通過(guò)它所能夠訪問(wèn)的任何變量。const關(guān)鍵字的工作方式和immutable類(lèi)似，不過(guò)特定的對(duì)象還是可以通過(guò)non-const的引用來(lái)修改變量的值。
D語(yǔ)言還包括了很多來(lái)自于其它語(yǔ)言的流行特性。例如，它擁有for-each循環(huán)、字符串轉(zhuǎn)換、數(shù)組分片、閉包、try-catch-finally塊，以及值類(lèi)型和引用類(lèi)型的分離等等。同時(shí)，它還考慮到了直接對(duì)內(nèi)存的訪問(wèn)，80位的浮點(diǎn)型數(shù)字、結(jié)構(gòu)成員排列控制以及內(nèi)聯(lián)程序集。
通常，因?yàn)榘踩裕言创a轉(zhuǎn)換為本地代碼會(huì)付出高昂的代價(jià)。C和C++是最容易受到類(lèi)似于緩沖區(qū)溢出之類(lèi)的編碼錯(cuò)誤影響的，其它大多數(shù)本地語(yǔ)言也都一樣。D語(yǔ)言通過(guò)既在編譯時(shí)又在運(yùn)行時(shí)執(zhí)行數(shù)組邊界檢查來(lái)避免這些問(wèn)題。同樣，非零長(zhǎng)度的數(shù)組的內(nèi)容會(huì)自動(dòng)初始化為它們的默認(rèn)值。
關(guān)于內(nèi)存管理，D語(yǔ)言和.NET非常類(lèi)似。默認(rèn)情況下，引用類(lèi)型會(huì)存儲(chǔ)在垃圾回收堆中，而值類(lèi)型或者會(huì)存儲(chǔ)在堆棧中，或者存儲(chǔ)在其它對(duì)象中。D語(yǔ)言也可是分配堆棧來(lái)存儲(chǔ)引用類(lèi)型，但這不可避免要使用指向它們的指針。和.NET一樣，你還可以讓指針指向非托管的內(nèi)存。讓這些彼此分離非常重要，因?yàn)楹芏嗄隳軌蛟诜峭泄艿闹羔樕夏軌驁?zhí)行的操作，在托管指針上執(zhí)行是不安全的。
對(duì)于能夠使用非快捷版Visual Studio的開(kāi)發(fā)者來(lái)說(shuō)，有一個(gè)項(xiàng)目叫做Visual D，它提供了Visual Studio 插件。Lloyd在一篇文章中介紹了如何在你的環(huán)境中安裝Visual D。
當(dāng)前D語(yǔ)言有四種實(shí)現(xiàn)。Digital Mars公司為Windows、Linux、OS X和FreeBSD提供了免費(fèi)的編譯器。還有一種Gnu D編譯器，它是構(gòu)建在gcc之上的。而LLVM也發(fā)布了他們的D語(yǔ)言編譯器的beta版本，最后還有針對(duì).NET的部分實(shí)現(xiàn)。
英文原文地址：http://www.infoq.com/news/2011/05/Visual-D
【編輯推薦】
