28 KiB
DatePicker 桌面版实现原理
本文档描述 DatePicker 桌面版的内部实现范围、源码职责、状态流、生命周期、资源边界和维护规则。共享输入分层见 输入控件共享架构设计,公共设计与 API 契约见 DatePicker 桌面版架构设计,CalendarView 的系统性优化目标见 CalendarView 系统性优化设计,变化记录见 DatePicker Changelog。涉及控件 Token 的实现应同时阅读 DatePicker Token 设计。
Popup 接入边界:InfoPickerInput 负责业务状态和内容准备,PickerPopup 负责实际显示。模板重建或宿主切换时必须先释放旧 relay,再绑定新的 Popup;普通外点、Escape、失焦和业务关闭在 pinned 状态下被拦截,detach、窗口销毁、跨 TopLevel 和无效锚点必须走生命周期关闭并释放 Popup host。完整状态机见 Popup 钉住打开设计。
1. 实现定位
本文档覆盖 DatePicker 的控件实现、主题接入、状态同步和 Gallery 可见维护边界。具体属性注册、默认值、绘制细节和 AXAML selector 仍应直接阅读源码;本文只记录维护者必须理解的稳定结构和不变量。
2. 源码文件结构
主要源码文件:
src/AtomUI.Desktop.Controls/DatePicker:DatePicker 控件家族根目录,代表文件DatePicker.cs、RangeDatePicker.cs、DatePickerPresenter.cs、DatePickerFormattingHelper.cs、DatePickerDateRangeConstraint.cs、DatePickerToken.cs、DualMonthRangeDatePickerPresenter.cs等。src/AtomUI.Desktop.Controls/DatePicker/CalendarView:CalendarView runtime。State保存归一化状态和 action,Models保存纯 panel model,Rendering将 model 应用到 generated buttons,Infrastructure封装 culture 和 pointer tracking。src/AtomUI.Desktop.Controls/DatePicker/Localization:DatePickerLangResourceKind.cs定义稳定 Catalog,en-US.xlf、zh-CN.xlf、zh-TW.xlf提供内置翻译。src/AtomUI.Desktop.Controls/DatePicker/Themes:19 个文件,代表文件CalendarButtonTheme.axaml、CalendarButtonTheme.cs、CalendarDayButtonTheme.axaml、CalendarItemTheme.axaml、CalendarItemTheme.cs等。src/AtomUI.Desktop.Controls/Primitives/InfoPickerInput/InfoPickerTextBox.cs与Themes/InfoPickerTextBoxTheme.axaml:DatePicker 输入框使用的 internal 子控件及其文本 presenter、padding 基础视觉。
职责边界:
- 控件主文件保留 public/protected API、Avalonia 属性注册、事件和主要生命周期入口。
- Theme 文件负责静态视觉结构、template part、selector 和资源绑定。
- Token 文件只提供组件视觉变量,不保存实例状态。
- Gallery 文件只展示用法和示例,不作为运行时逻辑 owner。
- CalendarView 的深度重构必须以 CalendarView 系统性优化设计 中定义的单向状态模型、panel model、renderer 和生命周期规则为边界。
3. 核心类职责
Calendar:控件核心或内部协作类型,维护 public surface 与主题可观察行为。CalendarButtonTheme:ControlTheme 类型入口,连接主题资源和控件类型。CalendarItem:集合项、节点或容器类型,承载单项状态和模板协作。CalendarItemTheme:ControlTheme 类型入口,连接主题资源和控件类型。CalendarTheme:ControlTheme 类型入口,连接主题资源和控件类型。DatePicker:控件核心或内部协作类型,维护 public surface 与主题可观察行为。DatePickerPresenter:模板协作类型,承载内容展示、宿主或视觉边界。DatePickerDateRangeConstraint:internal 纯值约束模型,按PickerMode归一MinDate、MaxDate,提供 picker unit 有效性判断和显示锚点收敛,不持有控件或视觉对象。DatePickerPresenterTheme:ControlTheme 类型入口,连接主题资源和控件类型。InfoPickerTextBox:internalAbstractTextInput输入子控件,使用StyleVariant=Borderless表达无 chrome 语义;DatePicker/RangeDatePicker 主题只负责 picker 专用内容和布局。DatePickerToken:控件 Token scope,负责从全局 token 派生控件语义变量。DualMonthArrowDecoratedBox:模板协作类型,承载内容展示、宿主或视觉边界。DualMonthCalendarItem:集合项、节点或容器类型,承载单项状态和模板协作。DualMonthRangeCalendar:控件核心或内部协作类型,维护 public surface 与主题可观察行为。DualMonthRangeDatePickerPresenter:模板协作类型,承载内容展示、宿主或视觉边界。RangeCalendar:控件核心或内部协作类型,维护 public surface 与主题可观察行为。RangeCalendarItem:集合项、节点或容器类型,承载单项状态和模板协作。RangeDatePicker:控件核心或内部协作类型,维护 public surface 与主题可观察行为。RangeDatePickerPresenter:模板协作类型,承载内容展示、宿主或视觉边界。RangeDatePickerPresenterTheme:ControlTheme 类型入口,连接主题资源和控件类型。TimedRangeDatePickerPresenter:模板协作类型,承载内容展示、宿主或视觉边界。DatePickerLangResourceKind:稳定的本地化 Catalog enum;生成器从三个 XLIFF 文件编译资源表和 XAML 扩展。
核心协作规则:
- 控件实例是 public API 和运行时状态 owner。
- Template part 是视觉协作对象,生命周期必须受
OnApplyTemplate或模板加载流程管理。 - 数据对象、选项对象、任务对象或节点对象只保存业务数据,不应反向持有不可释放的视觉对象。
- 弹层、窗口、计时器、异步 loader 和全局管理器必须有明确关闭、解绑或释放路径。
4. 状态与数据流
DatePicker 的状态流遵循下面路径:
Public API / ItemsSource / Command / Event
-> 控件实例状态
-> internal state / effective state / pseudo-class
-> template part property / AXAML selector
-> renderer / popup / adorner / Gallery observable behavior
源码中的状态入口按以下语义维护:
- 内容与数据:
HeaderBackground。 - 选择与集合:
PickerMode、RangeEndSelectedDate、RangeStartSelectedDate、SelectedDateTime。其中SelectedDateTime是单值 DatePicker 的受控提交值,默认TwoWay绑定并启用 Avalonia data validation。 - 日期边界:
MinDate、MaxDate。外层控件拥有原始 public 属性值,presenter 拥有按PickerMode计算的有效范围,CalendarView 只接收投影后的DisplayDateStart、DisplayDateEnd和有效选中状态。 - 弹层显示游标:
PickerDisplayDate,以及 presenter 内部转发到 CalendarView 的DisplayDate、SelectedMonth、SelectedYear、LastSelectedDate。 - 交互与状态:
IsFloatingArrowPosition、IsHorizontalFlipped、IsNeedConfirm、IsShowNow、IsShowTime、IsTodayHighlighted。 - 视觉与布局:
RangePickerIndicatorOffsetEnd、RangePickerIndicatorOffsetStart。 - 其他稳定入口:
ClockIdentifier、DefaultDateTime、Format。
维护要求:
- 外部设置的 Avalonia 属性必须在模板应用前后保持一致。
- 集合、选择、展开、过滤、分页、上传任务或异步 loader 必须能处理 reset、replace 和 clear。
- 伪类和 internal state 必须从单一 owner 推导,避免双向同步导致循环更新。
- overview.md 的 API 契约说明应与源码实际状态流一致。
日期边界数据流固定为:
DatePicker / RangeDatePicker MinDate, MaxDate, PickerMode
-> presenter DatePickerDateRangeConstraint
-> Calendar.DisplayDateStart / Calendar.DisplayDateEnd
-> CalendarViewState and panel navigation bounds
-> visible disabled cells / valid Calendar selection / button availability
DatePickerPresenter 及其范围派生类型是日期边界同步的单一 owner。AXAML 不得通过多条 binding 独立维护有效范围、Calendar 选中值或确认状态。
5. 生命周期与模板接入
生命周期规则:
- 构造阶段只注册必要状态,不依赖 template part。
- 模板应用时获取 part、建立事件订阅和绑定,并先释放旧 part 订阅。
- 控件卸载、弹层关闭、窗口关闭、集合替换或 container recycle 时释放事件订阅和资源宿主。
- DynamicResource、TokenResourceBinder 或 C# binding 必须有明确 owner 和释放点。
- Browser 和 Desktop 宿主下的主题加载顺序不得影响 public API 语义。
- presenter 应在 Calendar part 可用后按
PickerMode -> effective range -> active range endpoint -> valid selection -> display anchor -> button state的顺序回放状态。模板重套用、运行时切换PickerMode、边界变化和受控值变化都必须进入同一同步入口。 DatePickerPresenterTheme.axaml、TimedRangeDatePickerPresenterTheme.axaml和DualMonthRangeDatePickerPresenterTheme.axaml不直接TemplateBinding原始SelectedDateTime/SecondarySelectedDateTime到 Calendar;presenter 在有效范围就绪后写入经过校验的 Calendar 选中状态,避免模板应用顺序使越界受控值进入 Calendar。
稳定 template part 接入点:
PART_CalendarItem:稳定模板协作入口,重命名前必须同步主题和实现。PART_CalendarView:稳定模板协作入口,重命名前必须同步主题和实现。PART_ClearUpButton:承载用户触发入口、导航或关闭动作。PART_ConfirmButton:承载用户触发入口、导航或关闭动作。PART_ContentRightAddOnPresenter:展示用户内容、文本、图标或模板化数据。PART_HeaderButton:承载用户触发入口、导航或关闭动作。PART_HeaderFrame:承载根视觉、边框、背景或尺寸基线。PART_HeaderLayout:稳定模板协作入口,重命名前必须同步主题和实现。PART_InfoInputBox:承载文本输入、过滤、显示或编辑入口。PART_ItemFrame:承载根视觉、边框、背景或尺寸基线。PART_ItemRootLayout:承载根视觉、边框、背景或尺寸基线。PART_MonthView:稳定模板协作入口,重命名前必须同步主题和实现。PART_MonthViewLayout:稳定模板协作入口,重命名前必须同步主题和实现。PART_NextButton:承载用户触发入口、导航或关闭动作。PART_NextMonthButton:承载用户触发入口、导航或关闭动作。PART_NowButton:承载用户触发入口、导航或关闭动作。PART_Popup:承载弹层宿主、打开关闭或候选内容。PART_PreviousButton:承载用户触发入口、导航或关闭动作。PART_PreviousMonthButton:承载用户触发入口、导航或关闭动作。PART_RangePickerArrow:稳定模板协作入口,重命名前必须同步主题和实现。PART_RangePickerIndicator:展示指示器、进度、分页或状态反馈。PART_SecondaryHeaderButton:承载用户触发入口、导航或关闭动作。PART_SecondaryInfoInputBox:承载文本输入、过滤、显示或编辑入口。PART_SecondaryMonthView:稳定模板协作入口,重命名前必须同步主题和实现。- 其他 7 个 part 按相同生命周期规则维护。
6. 交互与事件处理
DatePicker 的交互事件应从输入源收敛到控件级语义事件:
- Pointer、keyboard、focus 和 command 事件不应绕过 Avalonia 基础控件语义。
- 没有弹层职责的路径不应引入额外 popup 或全局输入捕获。
- 非集合控件不应通过隐藏集合状态模拟业务数据。
- 值提交或命令触发必须保持继承控件的事件顺序。
当前没有抽取到控件专属 public 事件;交互语义主要通过继承事件、命令、属性变化和 Gallery 可观察行为体现。
7. 内部算法与关键流程
维护者需要重点关注以下流程:
- API 默认值到 effective state 的归一。
- Template part 重新应用时的状态回放。
- 主题资源、Token 和 SharedToken 计算后的视觉更新。
- 内容、命令和视觉状态在模板节点之间的同步。
- 状态变化时避免创建不必要的视觉对象、订阅或动画对象。
输入宽度维护规则:
DatePicker和RangeDatePicker的输入预留宽度以当前有效格式对应的最宽格式化日期时间为基线;未显式设置Format时,还需要与 AtomUI 定义的默认单选或范围输入基线取最大值。输入基线表达控件的默认视觉宽度,不由日期格式最小宽度、当前值或外部源码实现反向推导。PlaceholderText和SecondaryPlaceholderText不参与PreferredInputWidth/PreferredWidth计算;placeholder 只能在已预留的输入内容区域内显示,超出时由文本呈现层使用 ellipsis 省略,不能反向撑大控件默认宽度。Text和SecondaryText只表达当前显示值或 hover preview,不作为PreferredInputWidth/PreferredWidth的计算来源。IsShowTime、Format、ClockIdentifier、AM/PM 文本和字体变化会重新计算格式预留宽度;选中值、hover 值和范围端点切换不得改变预留宽度。Width显式设置或HorizontalAlignment=Stretch时,控件应交给外部布局系统决定实际宽度,不再强制内部预留宽度。- 范围选择的两端输入使用同一个格式预留宽度,
RangePickerIndicator和 popup placement 只跟随稳定输入框 bounds,不反向驱动输入框测量。 - 范围输入模板的内部
AddOnDecoratedBox和 content presenter 必须在控件内部 stretch;范围整体测量以base.MeasureOverride的完整宽度为基础,只替换两端输入框宽度为PreferredWidth,不得重新手算 padding、spacing、icon 或 add-on 宽度。
弹层显示锚点维护规则:
SelectedDateTime、DefaultDateTime和PickerDisplayDate是三个不同状态:已提交值、默认选中/reset 值、弹层显示锚点。实现中不得复用DefaultDateTime表达弹层显示锚点。PickerDisplayDate只在打开弹层时参与面板定位,不是受控面板游标;面板导航过程中不应反向写回PickerDisplayDate。- 单值
DatePicker仅在设置PickerDisplayDate后介入打开定位;面板锚点优先级为SelectedDateTime ?? PickerDisplayDate,结果为空时保持现有 CalendarView 默认行为。 - 范围选择打开弹层时,面板锚点优先级为当前 active endpoint 的选中值、
PickerDisplayDate、现有默认行为;inactive endpoint 不得把面板拉回自身日期。 - 应用锚点前必须按当前
PickerMode通过DatePickerFormattingHelper.NormalizeDateTime归一化。周为 ISO 周起始日,月份为当月 1 日,季度为季度首月 1 日,年份为当年 1 月 1 日。 - 应用锚点时只同步内部 CalendarView 的
DisplayDate、SelectedMonth、SelectedYear、LastSelectedDate和高亮刷新;不得设置SelectedDate,不得修改SelectedDateTime、输入框文本、Form value 或清除按钮状态。
日期边界约束维护规则:
DatePicker注册MinDateProperty和MaxDateProperty,默认值为null;RangeDatePicker使用AddOwner复用同一属性实例和语义,不复制独立边界实现。DatePickerDateRangeConstraint只接收MinDate、MaxDate和PickerMode。它忽略时间部分,并通过与提交值相同的 picker unit 归一化规则输出 effective start/end;无边界方向映射到 Calendar 支持的开放范围。Date按天、Week按 ISO 周起始日、Month按月首日、Quarter按季度首日、Year按年首日比较。归一化逻辑必须与DatePickerFormattingHelper.NormalizeDateTime保持单一语义,不能在 presenter、Calendar 和 renderer 中分别实现。- 当 effective start 晚于 effective end 时,内部范围收敛为 effective start 所在 picker unit。收敛只影响 internal constraint,不通过
SetCurrentValue修改 publicMinDate或MaxDate。 - presenter 将 effective start/end 写入
Calendar.DisplayDateStart/DisplayDateEnd后,才允许同步 Calendar 选中状态。单值或范围端点越界时,Calendar 对应SelectedDate/SecondarySelectedDate设为null,外层SelectedDateTime/ range endpoint 和输入文本保持原值。 RangeDatePickerPresenter先同步IsRangeStartActive,再分别验证 active/inactive endpoint。两个端点共享同一约束;保留既有反向范围修复行为,但修复结果仍必须处于 effective range 内。- 打开弹层时,先按既有优先级解析候选锚点,再归一化并收敛到 effective range。单值面板、范围 active endpoint 和双面板 secondary anchor 都不得越过导航边界。
CalendarPanelBuilder对范围外的 day、week、month、quarter、year cell 输出IsDisabled=true、IsHidden=false。renderer 只映射状态,不能重新判断边界,也不能用隐藏 cell 代替 disabled 语义。- pointer 选择、keyboard/Enter、PageUp/PageDown、header 导航以及双面板前后翻页必须在 Calendar 层使用同一 effective range 防线;禁用视觉不能作为唯一阻止提交的机制。
Today/Now先按当前PickerMode归一化并验证。越界时按钮禁用,点击处理仍必须再次校验;Confirm 只有在待提交值非空且处于 effective range 时可用。- 边界变化只重算纯值约束、CalendarView state、现有 generated cell 状态和按钮可用性,不重建 popup、Calendar 或 cell 视觉树。
范围日历视觉状态维护规则:
CalendarRangeSelectionState同时保存真实端点和 hover 日期,但必须通过 committed range 与 preview range 两条路径输出。CalendarPanelBuilder只用真实SelectedDate/SecondarySelectedDate设置IsSelected,不能因为日期处于区间中或 hover 预览中而设置 selected。IsRangeStart、IsRangeEnd、IsRangeMiddle只描述两个真实端点形成的区间;IsRangePreviewStart、IsRangePreviewEnd、IsRangePreviewMiddle只描述 hover 形成的预览区间。Date、Month、Quarter、Year的 range 状态必须在CalendarPanelBuilder按当前 picker unit 统一归一化后输出到CalendarCellState;renderer 只负责把状态映射到CalendarDayButton或CalendarButton,不能在按钮事件或主题层重新推断范围。CalendarDayButtonTheme.axaml必须让 committed endpoint 和 preview endpoint 共用半边 range indicator;半边 indicator 的宽度来自实际 cell slot 的 50%,不能固定为CellWidth,否则双月弹层或宽布局下范围背景会断裂。CalendarDayButtonTheme.axaml与CalendarButtonTheme.axaml必须让:range-preview-start/:range-preview-end使用与 selected endpoint 相同的主色背景和白色前景;这是 hover range 的临时视觉端点,不等价于提交:selected。CalendarDayButton.EffectiveCornerRadius与CalendarButton.EffectiveCornerRadius必须在 committed endpoint 和 preview endpoint 上压平连接侧圆角,让浅色 range indicator 与主色端点连续。CalendarDayButton与CalendarButton的 hover 入口都必须通知Calendar.NotifyHoverDateChanged;Month、Quarter、Year 的范围选择依赖这个入口同步输入框临时结束值和面板 preview range,不能只在 day button 上维护 hover。- 范围选择的 active part 是面板显示月份的前置状态,
RangeDatePickerPresenter.IsRangeStartActive必须先通过模板传给RangeCalendar.IsSelectRangeStart,再同步SelectedDate/SecondarySelectedDate。 Calendar.SelectedDate在 range 模式中只代表开始端点;只有 Start 端激活时它才允许驱动DisplayDate。End 端激活时,开始端点只能参与范围计算和高亮,不能把双月面板回滚到开始月份。
PickerMode 颗粒度维护规则:
DatePickerMode是 public 颗粒度契约,外层DatePicker/RangeDatePicker通过PickerModerelay 到 presenter,再由 AXAMLTemplateBinding传给Calendar/RangeCalendar/DualMonthRangeCalendar。Calendar.PickerMode必须进入CalendarViewState,panel model 构建和 selected/focused 判断都从同一个 state 读取颗粒度,不能在 renderer 或按钮事件里重新推断。- 目标面板映射固定为
Date/Week->CalendarMode.Month,Month/Quarter->CalendarMode.Year,Year->CalendarMode.Decade。 CalendarItem点击年面板按钮时按目标颗粒度决定行为:Date/Week继续进入月视图,Month/Quarter直接提交,十年面板中的Year直接提交。PickerMode=Week仍复用月视图容器,但实际结构必须切换为 8 列:首列为 ISO 周序号,后 7 列为日期;CalendarPanelBuilder.BuildMonthPanel通过WeekCells输出周序号列,renderer 负责按行把周序号和 7 个日期 cell 对齐。- Week 模式的选中周必须使用
:week-selection-start/:week-selection-middle/:week-selection-end这组内部伪类和WeekSelectionIndicator渲染连续主色行;不能通过给 7 个日期 cell 分别设置普通:selected背景来模拟。 - Week 模式的 hover 周必须从
Calendar.HoverDate同步到CalendarViewState,再由CalendarPanelBuilder输出:week-hover-start/:week-hover-middle/:week-hover-end;hover 触发范围是整行,CalendarItem必须基于PART_MonthViewpointer 位置推导当前周,不能只依赖日期按钮自身PointerEntered。 - Week 模式的 hover 状态入口必须统一经过
Calendar.NotifyHoverDateChanged归一化为周起始日;RangeCalendar.HoverDateTime与Calendar.HoverDate必须保存同一个归一化值,不能让输入框 preview 使用归一化值而面板模型继续持有原始日期 cell。 - 双月 Week 面板的 pointer hit-test 必须同时覆盖主
PART_MonthView和PART_SecondaryMonthView;DualMonthCalendarItem.IsPointerInMonthView与周起点推导逻辑必须保持同一覆盖范围,不能出现“右侧面板判定在月视图内,但周起点只从左侧面板查找”的状态断裂。 CalendarDayButtonTheme.axaml使用WeekHoverIndicator渲染连续浅色行,并排除普通单格:pointerover背景。- Week 模式中 selected 周优先于 hover 周;当 hover 命中已选周时,builder 不输出 week hover 伪类,避免浅色 hover 覆盖主色选中行。
- Week 范围选择中,已提交范围的端点周继续使用
:week-selection-*主色整行;两个端点之间的中间周使用:week-range-start/:week-range-middle/:week-range-end和WeekRangeIndicator渲染CellActiveWithRangeBg浅色整行,周号列也必须参与范围背景。 - Week 范围选择预览中,
CalendarRangeSelectionState.HoverDate形成的临时端点周也使用:week-selection-*主色整行,但CalendarCellState.IsSelected必须保持false;预览端点之间的中间周复用:week-range-*浅色整行,且 preview range 优先于 committed range 输出。 - Week 模式不得输出普通范围伪类
:range-start/:range-end/:range-middle/:range-preview-start/:range-preview-end/:range-preview-middle;这些伪类服务 Date、Month、Quarter、Year 的 picker unit cell,否则会与周行 indicator 叠加,导致端点周和中间周背景断裂。 CalendarPanelBuilder.BuildQuarterPanel输出 Q1-Q4 四个季度 cell,季度选择不能复用 12 个月面板伪装;CalendarItem在PickerMode=Quarter且DisplayMode=Year时必须把PART_YearView配置为 1 行 4 列紧凑面板,并取消通用年/月/十年面板最小高度,避免未使用的 8 个 slot 撑出空白。RangeDatePicker的弹层始终保持双面板语义:Date/Week使用左右双月面板,Month使用左右双年面板,Quarter使用左右双年紧凑季度面板,Year使用左右双十年面板;DualMonthCalendarItem的 secondary 面板必须有独立PART_SecondaryYearView,不能在非月视图时退化成单面板。CalendarItem.SetupHeaderForDisplayModeChanged()是CalendarMode可见布局的唯一源头:运行时切换PickerMode或DisplayMode时,必须同步维护PART_MonthViewLayout、PART_MonthView与PART_YearView的互斥可见性;DualMonthCalendarItem只在此基础上补齐PART_SecondaryMonthView、PART_YearViewLayout、PART_SecondaryYearView和左右导航按钮,不能只依赖OnApplyTemplate初始化分支。CalendarItem.OnAttachedToVisualTree只能走RefreshLocalizedContent()的 mode 分发刷新,不能无条件调用 day cell 渲染;否则RangeDatePicker在Month/Quarter/Year颗粒度下会让未初始化或不参与当前 DisplayMode 的 secondary month state 进入月视图构建。- 提交值统一由
DatePickerFormattingHelper.NormalizeDateTime归一化:周为 ISO 周起始日,月份为当月 1 日,季度为季度首月 1 日,年份为当年 1 月 1 日。 DatePickerFormattingHelper同时负责默认格式、显示文本和预留宽度。显示文本按目标颗粒度格式化;默认宽度预留在非 Date 颗粒度下仍使用稳定输入基线,显式Format才按用户格式重新计算,不能因为用户传入的 placeholder、hover 或选中值变化而改变宽度。IsShowTime只在PickerMode=Date时形成有效时间选择;presenter 使用IsTimeSelectionVisible控制 TimeView 显示和时间拼接,其他颗粒度忽略时间面板。
实现文档不逐行解释私有方法。若某个私有算法成为稳定维护入口,应在本节补充算法不变量,而不是把代码复述为说明书。
8. 资源、性能与 AOT 边界
资源和 AOT 约束:
- 不通过运行时反射扫描 public API、Token 或 Gallery 示例数据。
- 不把可静态声明的模板结构迁移到 C# 动态创建。
- 异步加载、上传、弹层和窗口生命周期必须能取消或释放。
- 缓存对象必须与控件、窗口、弹层或数据 owner 生命周期一致。
- Source generator 生成文件不手工编辑;需要修改时改输入源或 generator。
- 日期边界模型使用静态注册的 Avalonia 属性和 internal 纯值计算,不引入反射、动态类型发现、运行时代码生成或 trimming 注解。
性能边界:
- 控件应优先复用 Avalonia 原生虚拟化、模板绑定和资源系统。
- 避免为每次状态变化创建不必要的视觉对象、订阅或动画对象。
- 大集合控件必须保证 container recycle 后不会泄漏旧 item 状态。
- effective range 计算和单值/端点校验保持 O(1);面板刷新复用现有
CalendarViewState、panel model 和 generated button,不为每个 cell 创建日期约束对象或额外订阅。
9. 维护不变量
维护 DatePicker 时不得破坏:
- Public API、默认值、事件顺序和 Gallery 可观察行为。
- Template part 名称、ControlTheme key、伪类和资源 key。
- 旧 template part、事件订阅、Popup/Flyout/Window host 和 collection view 的释放路径。
- Light/Dark、Browser/Desktop 和不同 SizeType 下的主题一致性。
- 控件文档、源码 public surface、Token 类型或生成数据与源码契约的一致性。
MinDate/MaxDate的包含边界、PickerMode 归一化、越界受控值不回写以及可见 disabled cell 语义。
10. 测试与验证
推荐验证:
- 纯文档改动运行
git diff --check并检查相对链接。 - 控件 API 或行为变更运行对应
tests/AtomUI.Desktop.Controls.Tests或专用包测试。 - DataGrid 相关变更运行
tests/AtomUI.Desktop.Controls.DataGrid.Tests。 - Gallery 示例或源码片段变更运行
tests/AtomUIGallery.Tests。 - AOT、生成器或动态数据路径变更按 Gallery NativeAOT 发布流程验证。
日期边界行为至少覆盖:
null、仅最小值、仅最大值、双边界、边界相等以及MinDate > MaxDate的纯约束计算。- Date、Week、Month、Quarter、Year 的包含边界和 picker unit 归一化。
- 单值、范围端点、运行时边界变化和越界受控值不回写。
- pointer、keyboard、Enter、PageUp/PageDown、header 导航、双面板导航和 display anchor 收敛。
- 范围外 cell 可见且 disabled,以及
Today/Now/ Confirm 的视觉状态与点击防线。 - 三条 presenter 模板路径在首次应用和模板重套用时都先应用范围再同步有效选中值。