Struct EffectSink 

pub struct EffectSink { /* private fields */ }

Effect 输出缓冲（写入端）。

由 ExecutionShell 持有，跨 step() 调用复用（clear 而非 drop+new）， 实现热路径零分配（轴①）。

模块通过 &mut EffectSink 参数写入 effect，driver 通过 as_slice() 读取。 原草稿中 EffectBuffer / EffectBatch<'_> / EffectSink 三个名字统一为此类型 （审查意见2 S4 落实）。

Implementations

impl EffectSink

pub fn new() -> Self

pub fn push(&mut self, e: Effect)

写入一个 Effect

pub fn clear(&mut self)

清空缓冲（跨 step 复用，不释放内存）

pub fn as_slice(&self) -> &[Effect]

读取本次 step 产出的全部 Effect

pub fn is_empty(&self) -> bool

是否有 Effect 产出

Trait Implementations

impl Default for EffectSink

fn default() -> Self

Returns the “default value” for a type.