静态断言适合保护哪些嵌入式接口契约？

静态断言适合保护哪些嵌入式接口契约？

请先给出结论，再结合真实项目说明设计边界、失败模式和验证方法。