本发明公开了一种关于模板库编程约定的检查方法,属于计算 机并行程序设计技术领域。本发明首先将编程约定描述为状态,以及 将状态的迁移描述为编程约定中对指定方法的调用;然后将状态实现 为类,并在类中编写符合编程约定的方法来供编程人员调用,以保证 当编程人员违反编程约定的时候让编译器会停止编译并给出相应提 示;预测编程人员可能会出现哪些错误,并在相应的表示状态的类中 添加方法,使得当编程人员违反编程约定时能给出相应的提示信