Chapter 7. C# 5 bonus features

为什么两个“小Feature”都在修复Hidden Source Context

Closure bug来自reader以为每轮有新value，而compiler曾让delegates共享一个storage；caller info解决callee想知道call site，却不想每处重复脆弱string。两者都把source context变成明确compiler rule：一个调整variable scope/lifetime，一个把call-site metadata烤进arguments。

先预测：C# 5修复foreach后for loop capture是否也改变；每轮iteration variable不同是否意味着captured object immutable；CallerFilePath是否runtime stack读取；caller info是否不可伪造。答案都是否。

Capturing variables in foreach loops

旧语言语义可理解为iteration variable位于loop外，每次赋新值；所有anonymous methods capture同一variable，所以延迟执行时看到最终value。C# 5把foreach iteration variable视为每次iteration在body内新建，closures得到不同storage，使常见直觉成立。

var actions = new List<Action>();
foreach (var value in new[] { "a", "b", "c" })
{
    actions.Add(() => Console.WriteLine(value));
}
// C# 5+: a, b, c

The fix is deliberately narrow

for (var i=0; ...)的i仍是一个loop variable，capture后通常看到loop结束值；需要body-local copy。Foreach修的是iteration-variable declaration semantics，不是“所有loop capture按值”。Code review必须识别实际variable declaration scope。

即使每轮variable storage不同，variable若保存mutable object reference，closures仍看到object后续mutation。想要snapshot应capture immutable value、clone owned data或提前project；“不同reference variable”不保证“不同object state”。

Version and compatibility

同一source用旧/new compiler可能产生不同observable behavior，这正是language breaking change的罕见例子，因旧行为几乎总是bug。Legacy binary不因runtime升级重写closure；只有recompile按新compiler semantics生成。Migration测试要区分existing binary与rebuilt source。

Caller information attributes

CallerMemberName、CallerFilePath、CallerLineNumber标注optional parameters。Call site省略argument时，compiler根据source context写入普通string/int；callee只接收values，不inspect stack。Explicit argument优先，因此它们是convenience diagnostics，不是tamper-proof identity。

static void Trace(
    string message,
    [CallerMemberName] string member = "",
    [CallerFilePath] string file = "",
    [CallerLineNumber] int line = 0) { }

Member name适合INotifyPropertyChanged helper，减少rename后string drift；file/line可辅助logging，但absolute source path可能泄露build machine/目录并增加cardinality。Release pipeline应normalize/redact，需要stable event schema时用explicit event id而不是source line。

Forwarding wrapper若希望保留original caller，自己也要暴露caller-info optional parameters并显式传给inner method；否则inner compiler填的是wrapper member/file/line。每增加一层都测试provenance，避免日志看似精确却指向helper。

Diagnostic provenance的正确边界

Property notification关心的是property contract；caller member name在property setter helper里合适，但若一个method代表多个properties，应显式传name。Logging关心event identity与operation context；source location只是补充。Guard message可在现代版本用CallerArgumentExpression显示source expression，但它属于C# 10 update，不是第4版C# 5内容。

Caller info values会bake进caller binary：source移动line或rename member后，旧binary仍携带旧values，新build产生新values。Aggregating metrics不应以line/file为长期key。Symbol/PDB与runtime stack各解决其他diagnostic问题，不能互相替代。

void OnPropertyChanged([CallerMemberName] string propertyName = "") =>
    PropertyChanged?.Invoke(this, new PropertyChangedEventArgs(propertyName));

本章回顾：Compiler Context是便利证据，不是权威事实

1. C# 5 foreach每轮创建独立iteration-variable storage，修复常见closure结果。
2. For loop variable未改变，captured object也仍可能mutable；必须分开storage与object state。
3. Caller info由caller compiler写入optional arguments，不是runtime stack inspection。
4. Wrapper需显式forward original context，file path要privacy/cardinality治理。
5. Caller metadata适合diagnostics和notification，不适合security identity或stable event key。

术语表