C语言循环执行次数及表达式解析

循环体执行的次数取决于a的初始值和循环条件'a>=0'的判断结果。每次循环中，b的值增加2，a的值减去2加上b的值。

表达式'a-=2+b'是对a进行自减操作，相当于'a=a-2-b'。

'do'中的a和b的值的生命周期是整个循环体。它们的值在每次循环开始时被初始化，并在每次循环结束后保留上一次循环的值。

'while'每次判断a的值是根据'do'中a变化的值来判断的，即每次循环结束后根据a的新值来判断是否继续执行循环。