在架構內部定義的類型是否會在其外部被知道？

Question

我有一個狀態機，它使用一個自己是狀態機的組件。爲了實現我使用的是新型的狀態機：

type state_machine is 
    (
    st_idle, 
    st_cycle_1, 
    ... 
    st_cycle_17 
    ); 

被內部狀態機的架構中定義

。我還可以定義一個類型爲state_machine的外部組件的體系結構中的其他狀態，而不會發生衝突嗎？

Answer 1

是的，你可以。體系結構中的類型定義是本地定義，不能在該特定體系結構之外看到。
因此，可以在所有體系結構中一遍又一遍地使用相同的類型名稱，例如，作爲FSM類型。如果這是合理的是另一個問題，並且不能一般回答。我個人更喜歡使用FSM的自我記錄名稱，因爲這對於其他人（和幾個星期後的我）在查看您的代碼方面會有很大的幫助;對於小型FSM或模塊中只有一個FSM（本身已有詳細記錄），這不是一個大問題。

但是，體系結構中的類型定義可能與導入的庫的類型定義衝突。只是提及它。