Effective C# 第3版总复习：5章50条整书验收

为什么总复习必须审计一个完整系统

单独回答“readonly与const差别”不代表能设计跨assembly SDK；知道IQueryable延迟执行也不代表会关闭DbContext；会写exception filter也不代表系统failure后state正确。总复习把5章放进同一真实boundary，检查建议之间是否互相支持。

先预测：所有50条各举一个isolated snippet是否足以通过；同一结果在List与remote provider一致是否等于执行contract一致；catch能恢复流程是否等于strong guarantee。三个答案都是否。

第一轮：按五章扫描同一系统

Chapter 1: Language surface

检查public values是否跨version安全、text是否有culture owner、string protocols是否转成type、callbacks/events是否声明thread与retention、hot path是否有boxing evidence、inheritance是否误用new。

Chapter 2: Lifecycle surface

画resource graph：谁创建、谁borrow、谁transfer、谁Dispose；所有constructors是否经过同一invariant；static failure能否重试；virtual activation是否在完整构造后；cache/pool是否有bound与clear policy。

Chapter 3: Substitution surface

Constraint是否最小、specialization是否同语义、ordering是否通过laws、owned T是否级联释放、variance是否由input/output位置推导、classic bridge与extension是否保持最小surface。

Chapter 4: Execution surface

每个sequence标注construction、first enumeration、terminal和repeat；IQueryable检查translation/command/round trip，iterator检查resource scope，Single/First检查0/1/many，closure检查execution-time value。

Chapter 5: Failure surface

每个public operation标注specific signal、cleanup、post-fault state、translation boundary与logging owner；用fault injection验证strong/basic guarantee，filter只做有界observation。

boundary: OrderRepository.Query
owner: request scope
type: IQueryable<Order>
execution: ToListAsync at application boundary
failure: provider cause preserved; no partial domain publish

第二轮：沿四条Contract Chain追踪

Type chain

从external string/DTO进入typed adapter，经generic constraint/variance，到LINQ delegate/expression binding和runtime dispatch。最早能compile-time拒绝的invalid state不应拖到provider或cast exception。

Lifetime chain

从creator与DI scope，经delegate/event、generic container、iterator capture，到materialization、Dispose/finally。每次retention和transfer都必须有owner，normal/fault/cancel paths收敛到同一released state。

Execution chain

从callback/query construction，到generic fast path与enumeration，再到terminal operator/provider command/filter search。记录次数、thread、ordering和short-circuit，禁止用source appearance猜执行。

Failure chain

从specific exception type，经cleanup与state guarantee，到filter selection、translation、retry/response和single logging boundary。Cause chain与primary fault不能被cleanup或wrapper覆盖。

await using var session = await factory.OpenAsync(token);
var result = await session.Orders
    .Where(OrderPolicies.IsReadyExpression)
    .SingleAsync(order => order.Id == id, token);

第三轮：整书发布门禁

1. Outline：5章50条publisher titles覆盖100%，无invented unit。
2. Code：每章normal、boundary与fault evidence可复现，compile/provider/ordering tests按风险运行。
3. Visual：每章3个unique interactive labs解释该章state transition，不复用装饰图。
4. Compatibility：base/derived、generic/classic、local/remote、C# 6/current runtime差异均有明确边界。
5. Release：chapter scores、book score、MDX、type、lint在promotion前全绿。

publisher TOC -> 7 active pages -> 21 interactive labs -> chapter 100 -> book 100 -> global gates

本章回顾：50条建议最终变成四条可执行Contract

1. 五章扫描确保source、lifecycle、substitution、execution与failure面无遗漏。
2. Type chain把invalid state前移到compile/boundary；lifetime chain让owner和release可追踪。
3. Execution chain记录真实次数、位置和ordering；failure chain保护cause、cleanup与post-fault state。
4. 现代补充必须version-bounded，不能把原书历史结构改写掉。
5. 整书只有在outline、code、visual、compatibility和release evidence全部通过时完成。

术语表