Guideline 1 can be ensured by type checking and throwing an error message if there is any static storage declaration in the function.

• 准则1可以通过类型检查得到保证,如果在函数中有任何静态存储声明,则抛出错误消息。