48 lines
2.1 KiB
C#
48 lines
2.1 KiB
C#
#nullable enable
|
||
using System;
|
||
using System.Collections.Generic;
|
||
using Cysharp.Threading.Tasks;
|
||
|
||
namespace ShrinkContext
|
||
{
|
||
/// <summary>
|
||
/// 组件 = (inject 依赖键集合 d, provide 供给键集合 p, apply 效应函数 e)（论文定义 43）。
|
||
/// apply 内部通过 ctx.Set 提供依赖、ctx.Get 消费依赖、ctx.Effect 注册可逆效应；
|
||
/// 组件的拆卸由运行时按已追踪的逆操作自动推导，无需手写卸载路径。
|
||
/// </summary>
|
||
public interface IShrinkComponent
|
||
{
|
||
string Name { get; }
|
||
|
||
/// <summary>声明的依赖键集合（论文 d）：全部可用时组件才激活。</summary>
|
||
IReadOnlyList<string> Inject { get; }
|
||
|
||
/// <summary>供给键集合（论文 p）：apply 的效应不应写入 p 之外的键。</summary>
|
||
IReadOnlyList<string> Provide { get; }
|
||
|
||
/// <summary>效应函数（论文 e）：激活时执行；其中注册的效应在停用时按 LIFO 回滚。</summary>
|
||
UniTask ApplyAsync(ShrinkCtx ctx, object? config);
|
||
}
|
||
|
||
/// <summary>
|
||
/// 分步效应组件（论文 𝔈iterΓ）：apply 以步进器逐步产出逆操作。
|
||
/// 目标在步进边界发生变化时中断迭代并回滚已执行步骤（部分回滚，论文 4.3.2 / 定理 64）。
|
||
/// 使用自定义 UniTask 步进协议而非 IAsyncEnumerable：
|
||
/// Mono 的 ValueTask 迭代器恢复经同步上下文调度，会破坏同步内联的确定性语义。
|
||
/// </summary>
|
||
public interface IShrinkIterativeComponent : IShrinkComponent
|
||
{
|
||
IShrinkStepEffectEnumerator ApplySteps(ShrinkCtx ctx, object? config);
|
||
}
|
||
|
||
/// <summary>分步效应步进器：MoveNextAsync 执行该步前向并使 Current 指向其逆操作。</summary>
|
||
public interface IShrinkStepEffectEnumerator
|
||
{
|
||
/// <summary>推进到下一步；返回 false 表示迭代结束。前向在该调用内执行完毕。</summary>
|
||
UniTask<bool> MoveNextAsync();
|
||
|
||
/// <summary>最近一次 MoveNextAsync 成功后该步的逆操作。</summary>
|
||
Func<UniTask> Current { get; }
|
||
}
|
||
}
|