一種關于模板庫編程約定的檢查方法

新一代信息技術

本發明公開了一種關于模板庫編程約定的檢查方法，屬于計算

機并行程序設計技術領域。本發明首先將編程約定描述為狀態，以及

將狀態的遷移描述為編程約定中對指定方法的調用；然后將狀態實現

為類，并在類中編寫符合編程約定的方法來供編程人員調用，以保證

當編程人員違反編程約定的時候讓編譯器會停止編譯并給出相應提

示；預測編程人員可能會出現哪些錯誤，并在相應的表示狀態的類中

添加方法，使得當編程人員違反編程約定時能給出相應的提示信

未應用