對于剛接觸SV的小伙伴來說，SV有幾種不怎么能引起關注，但在實際工作中又經常會用到的數據類型。它們就是枚舉（enumeration）、結構體（structures）和自定義類型（typedef）。

這三種數據類型的合理應用能夠處理不同邏輯結構的數據，提高代碼編寫效率和可讀性。本文先講枚舉類型的使用語法和一些注意的點。

認識枚舉類型

枚舉指的是一組有限的被賦予了名字的值的集合。在默認情況下，集合中元素的數據類型是int類型，元素值的大小是從0開始的遞增關系。當然，元素的數據類型和值都是可以用戶自定義的。

枚舉類型在日常生活中很常見，比如春夏秋冬就是表示季節的枚舉集合，周一到周天就是表示星期的枚舉集合?？梢钥闯觯杜e的重要作用，就是為了方便區分和使用。

打個比方，在正常交流時，我們會說現在在冬天，而不會故意去說現在是第4季。同樣，當我們使用代碼來描述有限集合，比如描述狀態機各個狀態的時候，使用名字可以大致表達不同狀態的行為，代碼可讀性自然也就提高了。

枚舉在代碼中實現的功能跟使用宏類似，都可以用名字來代替數值。宏是在預處理階段將名字換成了值，而枚舉是在編譯階段將名字換成值。也就是說，枚舉類型的這些名字不是變量，它們不會占據任何內存。且這些名字的有效范圍是全局的，如果有變量等命名沖突了可能導致編譯不過。

枚舉類型的使用

SV的枚舉類型聲明語法跟C語言很像。如果自增的值與已經自定義的值產生沖突，會導致編譯不過；如果枚舉名以數字開頭，也會導致編譯不過。另外，SV為枚舉變量還提供了一系列的內建方法(first/last/next/prev等)，用來方便對枚舉變量進行索引等操作。

在SV中還明確說明了枚舉類型是一種強類型（strongly typed）的數據類型。如果給一個枚舉變量直接賦一個數值，這個數值不管是不是在枚舉范圍內，都是不允許的。這種類型檢查是為了防止用戶亂賦值。不過，SV是允許使用顯式類型轉換（explicit cast）來完成這種賦值的。

此外，SV允許枚舉變量寫到數值表達式中進行數值計算，枚舉名可以當常量使用。這個時候枚舉變量會被自動轉換成對應的整型數字之后，再繼續完成數值計算。不過當計算結果想要重新賦值給枚舉變量的時候，依然需要進行顯式的類型轉換。

都在代碼里

下面代碼和注釋總結了以上介紹的枚舉類型的使用方法和限制，個人覺得掌握例程中的內容對工作來說已經完全足夠啦，但例程我還沒有經過編譯哈。

參考文獻

[1] IEEE Standard Association. "IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language." (2013).