一個狀態機的實現

来源:http://www.cnblogs.com/Nobel/archive/2017/02/02/6361595.html
-Advertisement-
Play Games

interface IState { string Name { get; set; } //後件處理 IList Nexts { get; set; } Func Selector { get; set; } } class State : IState { pu... ...


interface IState
    {
        string Name { get; set; }

        //後件處理
        IList<IState> Nexts { get; set; }
        Func<IState /*this*/, IState /*next*/> Selector { get; set; }
        
    }

    class State : IState
    {
        public string Name { get; set; } = "State";

        IList<IState> IState.Nexts { get; set; } = new List<IState>();
        public Func<IState, IState> Selector { get; set; }

    }

狀態比較簡單,一個Name標識,一個後件狀態列表,然後一個狀態選擇器。

比如狀態a,可以轉移到狀態b,c,d,那麼選擇器就是其中一個。至於怎麼選,就讓用戶來定義實際的選擇器了。

delegate bool HandleType<T>(IState current, IState previous,ref T value);
    interface IContext<T> : IEnumerator<T>, IEnumerable<T>
    {
        //data
        T Value { get; set; }
        //前件處理
        
        IDictionary<Tuple<IState/*this*/, IState/*previous*/>, HandleType<T>> Handles { get; set; }

        IState CurrentState { get; set; }
        bool transition(IState next);
    }

和狀態類State關註後件狀態不同,上下文類Context關註前件狀態。當跳轉到一個新的狀態,這個過程中就要根據當前狀態來實施不同的策略。比如想進入狀態c,根據當前狀態是a, b,d 有不同的處理程式。這種轉移處理程式,是一一對應的,所以用了 Tuple<進入的狀態,當前狀態> 來描述一個跳轉鏈。然後用Dictionary 捆綁相關的處理程式。

上下文會攜帶 T Value 數據,要怎麼處理這種數據?我是通過ref 參數來傳遞給處理程式。因為我不想IState 關心上下文的構造,它只需要關註實際的數據 T value;

上下文保存數據和當前狀態,然後通過transiton 讓用戶控制狀態的轉移。這裡面有一個重覆,因為IState有選擇器來控制狀態轉移了。為什麼要這麼處理?我是為了構造一個跳轉序列。引入IEnumerator和IEnumerable介面,然狀態可以在選擇器的作用下自動跳轉,然後用foreach 讀取結果序列(只是不知道有什麼用)。

class Context<T> : IContext<T>
    {
        T data;
        T IContext<T>.Value { get=>data ; set=>data = value; }
        IDictionary<Tuple<IState, IState>, HandleType<T>> IContext<T>.Handles { get; set; } 
            = new Dictionary<Tuple<IState, IState>, HandleType<T>>();

        public IState CurrentState { get; set;}

        T IEnumerator<T>.Current =>  (this as IContext<T>).Value ;
        object IEnumerator.Current => (this as IContext<T>).Value;

        bool IContext<T>.transition(IState next)
        {
            IContext<T> context= this as IContext<T>;
            if (context.CurrentState == null || context.CurrentState.Nexts.Contains(next))
            {
                //前件處理
                var key = Tuple.Create(next, context.CurrentState);
                if (context.Handles.ContainsKey(key) && context.Handles[key] !=null)
                    if (!context.Handles[key](next, context.CurrentState,ref this.data))
                        return false;

                context.CurrentState = next;
                return true;
            }
            return false;
        }

        bool IEnumerator.MoveNext()
        {
            //後件處理
            IContext<T> context = this as IContext<T>;
            IState current = context.CurrentState; 
            if (current == null)
                throw new Exception("必須設置初始狀態");
            if (context.CurrentState.Selector != null)
            {
                IState next= context.CurrentState.Selector(context.CurrentState);
                return context.transition(next);
            }

            return false;
        }

        void IEnumerator.Reset()
        {
            throw new NotImplementedException();
        }

        #region IDisposable Support
        private bool disposedValue = false; // 要檢測冗餘調用

        protected virtual void Dispose(bool disposing)
        {
            if (!disposedValue)
            {
                if (disposing)
                {
                    // TODO: 釋放托管狀態(托管對象)。
                }

                // TODO: 釋放未托管的資源(未托管的對象)併在以下內容中替代終結器。
                // TODO: 將大型欄位設置為 null。

                disposedValue = true;
            }
        }

        // TODO: 僅當以上 Dispose(bool disposing) 擁有用於釋放未托管資源的代碼時才替代終結器。
        // ~Context() {
        //   // 請勿更改此代碼。將清理代碼放入以上 Dispose(bool disposing) 中。
        //   Dispose(false);
        // }

        // 添加此代碼以正確實現可處置模式。
        void IDisposable.Dispose()
        {
            // 請勿更改此代碼。將清理代碼放入以上 Dispose(bool disposing) 中。
            Dispose(true);
            // TODO: 如果在以上內容中替代了終結器,則取消註釋以下行。
            // GC.SuppressFinalize(this);
        }

        IEnumerator<T> IEnumerable<T>.GetEnumerator()
        {
            return this;
        }

        IEnumerator IEnumerable.GetEnumerator()
        {
            return this;
        }
        #endregion
    }

重點關註transition函數和MoveNext函數。

bool IContext<T>.transition(IState next)
        {
            IContext<T> context= this as IContext<T>;
            if (context.CurrentState == null || context.CurrentState.Nexts.Contains(next))
            {
                //前件處理
                var key = Tuple.Create(next, context.CurrentState);
                if (context.Handles.ContainsKey(key) && context.Handles[key] !=null)
                    if (!context.Handles[key](next, context.CurrentState,ref this.data))
                        return false;

                context.CurrentState = next;
                return true;
            }
            return false;
        }
 

做的事也很簡單,就是調用前件處理程式,處理成功就轉移狀態,否則退出。

bool IEnumerator.MoveNext()
        {
            //後件處理
            IContext<T> context = this as IContext<T>;
            IState current = context.CurrentState; 
            if (current == null)
                throw new Exception("必須設置初始狀態");
            if (context.CurrentState.Selector != null)
            {
                IState next= context.CurrentState.Selector(context.CurrentState);
                return context.transition(next);
            }

            return false;
        }

MoveNext通過選擇器來選擇下一個狀態。

總的來說,我這個狀態機的實現只是一個框架,沒有什麼功能,但是我感覺是比較容易編寫狀態轉移目錄樹的。

用戶首先要創建一組狀態,然後建立目錄樹結構。我的實現比較粗糙,因為用戶要分別構建目錄樹,前件處理器,還有後件選擇器這三個部分。編寫測試代碼的時候,我寫了9個狀態的網狀結構,結果有點眼花繚亂。要是能統一起來估計會更好一些。

要關註的是第一個狀態,和最後的狀態的構造,否則無法停機,嵌入死迴圈。

//測試代碼
//---------創建部分---------
string mess = "";
//3            
IState s3 = new State() { Name = "s3" };
            
//2           
IState s2 = new State() { Name = "s2" };
            
//1           
IState s1 = new State() { Name = "s1" };

//---------組合起來---------            
s1.Nexts = new List<IState> { s2, s3 };           
s2.Nexts = new List<IState> { s1, s3 };            
s3.Nexts = new List<IState> { }; //註意end寫法

//---------上下文---------             
//transition            
IContext<int> cont = new Context<int> { CurrentState=s1};//begin            
cont.Value = 0;

//---------狀態處理器---------   
HandleType<int> funcLaji = (IState current, IState previous, ref int v) => { mess += $"{current.Name}:垃圾{previous.Name}\n"; v++; return true; };
            
//1            
cont.Handles.Add(Tuple.Create(s1 , default(IState)), funcLaji);            
cont.Handles.Add(Tuple.Create(s1, s2), funcLaji);
            
//2            
cont.Handles.Add(Tuple.Create(s2, s1), funcLaji);
            
//3            
cont.Handles.Add(Tuple.Create(s3, s1), funcLaji);   
cont.Handles.Add(Tuple.Create(s3, s2), funcLaji);

//---------狀態選擇器---------              
var rval = new Random();            
Func<int,int> round = x => rval.Next(x);            
s1.Selector = st => round(2)==0? s2:s3;            
s2.Selector = st => round(2)==0? s1:s3;

構造完畢後,就可以使用這個狀態機了。

//選擇器跳轉            
mess += "選擇器跳轉:\n------------------------\n";
 
foreach (var stor in cont)
                mess+=$"狀態轉變次數:{stor}\n";
            
//直接控制跳轉
mess += "\n直接控制狀態跳轉:\n------------------------\n";

cont.transition(s1);
cont.transition(s2);
cont.transition(s3);

分享到此,謝謝。


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 本系列主要翻譯自《ASP.NET MVC Interview Questions and Answers 》 By Shailendra Chauhan,想看英文原版的可訪問 "http://www.dotnettricks.com/free ebooks" 自行下載。該書主要分為兩部分,ASP.N ...
  • 這裡簡單介紹了一些常用的屬性,以及一些術語的解釋和舉例說明,不太全面,希望讀者多多補充。 1.重載:函數名相同,參數的個數或參數類型不同; 2.繼承:一個類繼承另一個類中的成員,被繼承的叫做基類,繼承類叫做派生類; 3.多態:可以在子類中重寫父類的方法 重寫方法需要定義override類型 4.介面 ...
  • 網站地址:siyouku.cn 後臺地址:siyouku.cn/manage 建站初衷 其實就是無聊,然後就想著把自己覺得的有趣的技術 有趣的demo 丟到這裡。 簡單介紹 全站均由本人開發,基於ASP.NET MVC框架,使用C#進行編寫, 前端和後臺UI框架採用Bootstrap搭建,資料庫為M ...
  • 昂,最近比較閑,寫了個許可權系統。 後端框架還是老樣子,基於本人自己搭建的後端基礎開發框架“Spring_Mvc_EF”;前端框架,我挑選了一陣子,最後選用了HUI前端開發框架,因為剛開始覺得HUI看起來比較清爽; ...
  • 背景 在某些應用中,需要在界面上綁定到索引器,併在值發生變化時實時更新。 解決方案 只要將包含索引器的類實現INotifyPropertyChanged介面,併在索引值更改時引發PropertyChanged事件,並將屬性名稱設置為Item[]即可。示例代碼如下: 在 代碼中,Binding.Ind ...
  • 目錄 前言 什麼是ntko 準備工作 實戰演練 總結 一、前言 Web開發中經常需要用到線上處理office文檔的功能,現在市面上有一些常用的Web頁面調用顯示Office的控制項技術,用起來很方便。有一些第三方ActiveX瀏覽器控制項:比如科瀚的SOAOffice中間件、卓正軟體的pageoffic ...
  • 就簡單實現一下卡拉OK的字幕效果 * 字的顏色變化是線性變化,即隨時間的線性變化 而不是按字的單位變顏色的 所以有時候是字的一部分變顏色 主要代碼實現如下: Graphics g = pea.Graphics; string str = "信號ねぇ あるわけねぇ 俺ら村には電気がねぇ!"; Pen ...
  • 通常會增加管理員的區域使項目層次更加清晰 1.右鍵“解決方案”》“增加區域”,然後輸入區功能變數名稱字如“Admin” 2.打開新增區域的路由配置,增加namespace參數 public override void RegisterArea(AreaRegistrationContext context) ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...