核心结论
插槽和渲染回调都是控制反转接口:组件掌握数据与状态,再把明确的上下文交给调用者生成视图。可靠的类型契约应让数据源、标识键、选中状态、渲染上下文和事件载荷共享同一组泛型关系。实体类型应优先从 items、value 等稳定输入推断,再流向插槽或回调;不应使用 any 切断关系,也不应要求调用者重复声明本可自动推断的类型。
底层机制
回调参数由组件产生,因此组件声明的参数类型必须覆盖它在运行时可能传入的全部值。若数据是判别联合,回调应接收完整联合,调用者再通过判别字段缩小。泛型只有连接两个以上位置时才真正有价值,例如同时连接列表元素、键函数、渲染参数和变更事件。