Clang-18 和 GCC-15 引入了 counted_by 属性,用于将结构体的柔性数组成员与其元素数量关联起来,增强了运行时边界检查。文章详细介绍了 counted_by 属性的使用方法,特别是在 Linux 内核中的应用,并提供了一些代码示例和常见错误案例,例如计数器初始化顺序和循环更新等问题,帮助开发者正确使用该属性提高代码安全性。