在構建復雜的sequence序列的時候，我們經常會用到m_sequencer和p_sequencer，并且在很多資料中都提到兩者實際指向的是同一個對象，那么為什么要同時存在他們兩個，存在一個不就夠用了嗎？為此，本文通過示例說明下兩者之間的關系。

首先，我們先來看看“白皮書”上的一個示例。

【示例】

“白皮書”中講解在case0_sequence中如果企圖通過m_sequencer引用my_sequencer中的變量將會報錯，需要通過調用宏聲明p_sequencer后通過p_sequencer才能引用my_sequencer中的變量，并且還強調了了m_sequencer和p_sequencer指向同一個對象，那么為什么m_sequencer不能直接訪問my_sequencer中的變量呢？這里首先需要明白，在UVM中m_sequencer句柄的類型是uvm_sequencer_base，并且定義在uvm_sequence_item類中，可以理解為其是sequence的member sequencer的簡寫，是uvm_sequence_item類中的一個成員（如下圖），用戶編寫的sequence大都派生自該類。

在建立sequence和sequencer關系（uvm_sequence::start()）時，該成員將指向該sequence將要運行的sequencer。

那么，p_sequencer的類型是什么呢？我們從代碼中的宏定義來看一下，這個宏定義展開如下。

在該宏中，SEQUENCER必須為“類型”，當程序中使用該宏時，SEQUENCER為用戶自定義的sequencer，即示例中的my_sequencer，而因為宏中p_sequencer指定的類型為SEQUENCER，即也就是調用該宏時傳入的參數my_sequencer，所以可以知道p_sequencer的類型為用戶自定義的sequencer，即示例中的my_sequencer，而用戶自定義的sequencer派生自uvm_sequencer。

至此，我們也就知道了m_sequencer和p_sequencer的句柄類型。我們匯總下上述信息可以得到下圖。

在聲明p_sequencer的宏中，451行通過$cast將p_sequencer指向了m_sequencer指向的對象，而m_sequencer此時指向對象的類型就是用戶自定義的sequencer，即經過一番騷操作之后，p_sequencer和m_sequencer指向了同一個sequencer。既然指向了同一個對象，為什么一個句柄（p_sequencer）可以訪問對象的屬性而另一個（m_sequencer）不行呢？這里就需要大家理解SystemVerilog中的句柄轉換后，父類句柄都可以訪問子類對象中的那些屬性的問題。為了描述問題方便，我們通過一個簡化示例來說明p_sequencer和m_sequencer之間的訪問關系。

【示例】

【仿真結果】

示例中，m_sequencer句柄的類型為sequencer_base，p_sequencer句柄類型為sequencer_user，p_sequencer指向創建對象之后，可以訪問sequencer_user中的屬性user_str，通過顯示函數顯示出來，但是在18行將m_sequencer指向p_sequencer指向的對象之后，通過m_sequencer訪問sequencer_user中的屬性user_str析構時報錯！這是因為在SystemVerilog中，如果企圖使用父類句柄去訪問子類對象時，父類句柄是不能直接訪問子類對象中的屬性成員，其實這也符合人之常情，時代在進步，子類肯定會具有一些父類所不具有的特性，這些特性就是父類所不具有也不能直接進行訪問的。

那么，如何實現父類對于子類中屬性的訪問呢？可以采用曲線救國的策略，我們可以通過父類句柄訪問子類中的方法，并且該方法還必須是虛方法，然后在子類中的方法訪問子類中的屬性實現，只不過這樣實現起來有些費勁，所以我們將一些通用的屬性都放在父類中，這樣可以實現這些資源的共享。

回到UVM中的m_sequencer和p_sequencer中，因為m_sequencer相當于是父類句柄，而p_sequencer是子類句柄，所以不能使用m_sequencer去訪問子類句柄指向的子類對象。

如果要實現對于子類對象的訪問，那么應該如何實現呢？在SystemVerilog中，我們可以通過將指向子類對象的父類句柄通過$cast轉換成具有子類對象類型的子類句柄，從而實現子類對象中屬性的訪問，我們還是通過上例進行示例說明。

【示例】

【仿真結果】

示例中，雖然m_sequencer句柄具有父類類型，但是其指向的是子類對象，所以此時可以通過$cast成功將p1_sequencer句柄指向m_sequencer指向的子類對象，因為p1_sequencer具有和子類對象相同的類型，所以p1_sequencer可以訪問指向對象中所有的屬性。

所以我們回到本文開始“白皮書”示例描述的，之所以出現“白皮書”中描述m_sequencer不能訪問用戶自定義的sequencer中屬性的原因就是因為m_sequencer句柄的類型為當前自定義sequencer類型的父類，訪問用戶自定義sequencer類的對象中屬性的方法只能通過具有該類型的句柄p_sequencer才行。

審核編輯：劉清