引言

高層著色語言(HLSL)是DirectX® 9最為強力的新組件之一。使用這種標準的高級語言, 在進行著色時編寫者可以專注于算法而不用再去理會諸如寄存器的分配，寄存器讀端口限制, 并行處理指令等等硬件細節. 除了把開發者從硬件細節中解放出來之外，HLSL 也具有高級語言所有的全部優勢，諸如：代碼重用容易, 可讀性增強以及存在一個優化過的編譯器。本書和 ShaderX² - Shader Tips & Tricks 這本書的許多章節就用到了HLSL編寫的著色器. 閱讀完本章引言后，你會很容易理解那些著色器并在工作中用到它們。

這一章, 我們概述語言本身的基本結構以及將HLSL集成到你的應用程序中的方法。

一個簡單的示例

在徹底描述HLSL之前, 讓我們先看一下程序中HLSL頂點著色和HLSL像素著色的實現，這個程序渲染簡單的木紋。下邊顯示的第一個HLSL著色是一個簡單的頂點著色:

float4x4 view_proj_matrix;
float4x4 texture_matrix0;
struct VS_OUTPUT
{   float4 Pos     : POSITION;
   float3 Pshade  : TEXCOORD0;
};
VS_OUTPUT main (float4 vPosition : POSITION)
{  
 VS_OUTPUT Out = (VS_OUTPUT) 0;    //Transform position to clip space   
Out.Pos = mul (view_proj_matrix, vPosition);   // Transform Pshade   Out.Pshade = mul (texture_matrix0, vPosition); 
  return Out;}

最開始兩行聲明了一對4×4的矩陣，分別命名為view_proj_matrix和texture_matrix0。在全局矩陣之后，聲明了一個結構體。這個VS_OUTPUT有兩個成員：Pos和Pshade。

該著色器的main函數接受一個單精度float4類型的輸入參數并返回一個VS_OUTPUT結構體。float4類型的vPosition是著色器唯一的輸入，返回的VS_OUTPUT結構體定義了該頂點著色器的輸出。目前不必關心在參數和結構體之后的關鍵字POSITION和TEXCOORD0。它們被稱為語義，他們的含義將在本章后邊討論。

看一下main函數的實際代碼部分，你可以看到一個內部函數mul，它被用來把輸入的向量vPosition和矩陣view_proj_matrix相乘。在頂點著色器中這個函數最常被用來執行頂點-矩陣的乘法。就這樣，vPosition被作為列向量，因為它是mul的第二個參數。如果向量 vPosition是mul的第一個參數，它將被作為行向量。內部函數mul以及其他內部函數將在本章后邊更詳細的討論。在把輸入的vPosition的位置轉換換到裁減空間之后，vPosition與另一個矩陣texture_matrix0相乘以產生3D紋理坐標。兩次轉換的結果寫入返回的結構體 VS_OUTPUT。一個頂點著色器必須總是以最小值輸出到一個裁減空間位置。任何從頂點著色器輸出的額外值都是通過貫穿光柵化多邊型插值得到的，也可用來輸入到像素著色器。就這樣，通過一個內插器， 三維的Pshade從頂點著色器被傳遞到像素著色器。

下邊，我們看到一個簡單的HLSL木紋像素著色器。這個像素著色器和剛才我們描述的頂點著色器一起工作，它將被編譯成模型ps_2_0。

 
float4 lightWood; // xyz == Light Wood 
Colorfloat4 darkWood;  // xyz == Dark Wood 
Colorfloat  ringFreq;  // ring
 frequencysampler PulseTrainSampler;
float4 hlsl_rings (float4 Pshade : TEXCOORD0) : COLOR
{   
 float scaledDistFromZAxis = sqrt(dot(Pshade.xy, Pshade.xy)) * ringFreq; 
   float blendFactor = tex1D (PulseTrainSampler, scaledDistFromZAxis); 
    return lerp (darkWood, lightWood, blendFactor);
}

最開始幾行在全局范圍內聲明了一對浮點類型的四元數組和一個浮點變量。在這些變量之后，聲明了一個被稱為PulseTrainSampler的取樣器。取樣器將在章節后邊討論，目前你可以把它看成一個在顯存中的窗口，它與過濾狀態和紋理坐標尋址模式發生關聯。在變量和取樣器聲明后邊是著色器代碼的主體部分。你可以看到有一個輸入參數Pshade，它是貫穿多邊形插值得到的。它的值是由頂點著色器計算每一個頂點得出的。在像素著色器中，把著色空間Z軸上的笛卡爾距離作為一維紋理坐標來計算，衡量，使用，以存取綁定于PulseTrainSampler的紋理。tex1D()取樣函數返回的顏色標量被用作混合因子，以混合在著色器全局范圍內聲明的兩種相反顏色。像素著色器最終輸出一個混合的四元向量結果。所有的像素著色器至少必須返回一個四元 RGBA 顏色。我們將在稍后章節中討論像素著色器的附加選項。

匯編語言和編譯對象

既然我們已經了解了一些HLSL著色器，這里簡要討論一下如何在代碼中涉及Direct3D，D3DX，匯編著色器模型和你的程序。DirectX 8中第一次把著色器引入了Direct3D。在那個時候，這些虛擬著色器是這樣定義的——每一個大致相當于一個特殊的3D硬件商生產的圖形處理器。每個虛擬著色器都設計有匯編語言。在DirectX 8.0和DirectX 8.1中，編寫這些著色器模型的程序(被命名為vs_1_1以及ps_1_1直到ps_1_4)相對短小并且一般由開發者直接用合適的匯編語言編寫。如圖 1左所示，憑借D3DXAssembleShader()程序把人們可讀的匯編語言代碼傳遞給D3DX庫并返回著色器的二進制表示，該二進制表示由 CreatePixelShader()或CreateVertexShader()依次傳遞給Direct3D。更多傳統匯編著色模型的細節，請參考在線和離線資源，包括Shader X 和DirectX SDK。

圖1. Use of D3DX for Assembly and Compilation in DirectX 8 and DirectX 9

如圖1右所示，在DirectX 9中的情形非常相似，憑借D3DXCompileShader() API，程序把HLSL著色器傳遞給D3DX并返回編譯后著色器的二進制表示，該二進制表示由CreatePixelShader()或 CreateVertexShader()輪流傳遞給Direct3D。生成的二進制匯編代碼是一個函數，它只取決于選擇的編譯對象，而不是什么用戶或開發者系統上的特殊圖形設備。就是說，生成的二進制匯編程序與平臺無關，即可在任何地方編譯或運行。事實上，Direct3D運行時本身并不知道HLSL的任何內容，除了二進制匯編著色器模型。這樣做很有好處因為這就意味著 HLSL編譯器的更新不必依賴于Direct3D運行時。事實上，在2003年夏季末本書截稿與首印期之間，Microsoft開始計劃發布含有更新過的 HLSL編譯器的DirectX SDK更新。

除了D3DX中HLSL編譯器的開發之外，DirectX 9.0也提出了另外的匯編層著色器模型以展示最新的3D圖形硬件的功能。直接使用匯編語言為新的模型(vs_2_0，vs_3_0，ps_2_0和ps_3_0) 做開發，程序開發人員會感到自由，不過我們希望絕大多數開發人員都轉移到HLSL從而專注于著色器的開發。

實際的硬件

當然，僅僅因為你可以寫一個HLSL程序來表達一個特殊的著色算法不等于它能夠在硬件上運行。前面已經討論過，應用程序通過調用D3DX中的 D3DXCompileShader() API把HLSL著色器編譯成二進制匯編程序。這個API的入口參數之一是這樣一個參數：它定義了HLSL編譯器使用哪一個匯編語言模型(或編譯對象)來表示最終著色器代碼。如果一個程序在運行時執行HLSL著色器編譯，程序會檢測Direct3D設備的性能并選擇匹配的編譯對象。如果HLSL著色器中的算法太復雜以至于不能在選擇的編譯對象上執行，編譯將會失敗。這意味著盡管HLSL大大有利于著色器的開發，卻不會把開發人員從這么一個現實中解放出來：把游戲封裝后給擁有各種性能圖形設備的用戶。作為一個游戲開發人員，你仍然得為你的圖像處理好一系列步驟，為更好的顯示卡編寫更好的著色器，為較老的卡編寫更基本的。不過，有了編寫完善的HLSL，負擔可以大大減輕。

編譯失敗

如上所述, 給定的HLSL著色器編譯特殊對象的失敗說明對于編譯對象來說著色器太過復雜。這就意味著著色器需要大量的資源或是需要一些諸如動態分支(不被所選編譯對象所支持)的功能。例如，某個HLSL著色器可能被編寫用于在一個著色器內存取所給定的六重紋理貼圖。如果這個著色器被編譯成ps_1_1, 編譯將會失敗，因為ps_1_1模型只支持四重紋理。其他編譯失敗的通常原因是超過了所選編譯對象的最大指令計數器。某個HLSL中表示的算法也許僅僅需要大量指令而使得給定的編譯對象不能被執行。

要重點注意的是所選編譯對象不會限定編寫人員所使用的HLSL語法。例如，著色器編寫人員會使用'for'循環，子程序，'if-else'等等語句，編譯本身不支持循換，分支或'if-else'語句的對象。這種情況下，編譯器將展開循環，內聯函數調用并同時執行'if-else'語句的兩個分支(譯者注：即if與else后的語句全都執行)，根據'if-else'語句中所使用的原始值選擇合適的結果。當然，如果最后所得到的著色器(程序)太長或相反超出了編譯對象的資源，編譯將失敗。

命令行編譯器: FXC

許多開發人員選擇在著色器被封裝之前把它從HLSL編譯成二進制匯編語言，而不是在正在使用D3DX的客戶機器上當程序載入時或首次運行時編譯HLSL著色器。這保證了HLSL源代碼不被窺視，同時也確保所有其程序能夠永久運行的著色器已經通過其內部質量確認流程。在DirectX 9.0 SDK中提供了一個方便的命令行編譯程序fxc允許開發人員脫機編譯著色器。該程序有許多方便的選項，你不但可以以命令行方式編譯你的著色器，也能產生指定編譯對象的反匯編代碼。如果你想優化你的著色器或只是想更詳細的了解虛擬著色器的性能，在開發期間研究輸出的反匯編代碼是非常有用的。表1列出了這些命令行選項。

表1. FXC 命令行選項

既然你了解了用于著色器開發的HLSL編譯器的內容，我們就可以討論實際的語言結構了。 在我們繼續下面內容的時候，頭腦里要一直保留著編譯對象的概念以及潛在的匯編著色器模型的不同性能，這很重要。