关于结构化并发的笔记，或者：Go 语句的危害
内容提要
本文讨论了结构化并发的概念，特别是Trio库如何通过“育儿园”机制替代传统的并发方法。育儿园确保所有子任务在父任务完成前不会返回，从而维护函数的抽象性，避免控制流混乱。Trio通过这种方式实现了更可靠的资源管理和错误传播，提升了代码的可读性和可维护性。
延伸解读
从 goto 到 go：历史的重演
文章将 go 语句与历史上的 goto 类比，指出两者都破坏控制流抽象。goto 曾导致“面条代码”，而 go 语句同样让函数调用可能隐藏后台任务，使局部推理失效。Dijkstra 当年主张移除 goto，如今作者认为应移除 go 语句，用结构化并发原语替代。这一类比帮助读者理解并发 API 设计的深层问题。
育儿园如何维护函数抽象
育儿园要求父任务等待所有子任务结束后才能退出代码块。这意味着函数返回时，其内部启动的所有并发任务都已完成，调用者无需担心后台残留任务。这恢复了函数的黑盒特性，使资源清理和错误传播能像同步代码一样可靠，提升了代码的可读性和可维护性。
动态任务生成与逃生舱口
育儿园支持在运行时动态添加任务，例如服务器接受循环中为每个连接启动新任务。同时，通过显式传递育儿园对象，函数可以启动超出自身生命周期的任务，但调用点能清晰识别这种违规，且任务仍受育儿园生命周期约束。这平衡了灵活性与可控性。
错误传播与取消的协同
在育儿园中，子任务未处理的异常会重新抛出到父任务，并立即取消同一育儿园中的其他任务，等待它们清理后再传播异常。这模拟了调用栈展开，确保错误不被丢弃。Trio 的取消系统因此更可靠，甚至让 control-C 能按预期工作，这是传统并发框架难以实现的。
Q&A
什么是结构化并发？
结构化并发是一种通过特定机制（如Trio库的育儿园）来管理并发任务的方法，确保所有子任务在父任务完成前不会返回，从而维护函数的抽象性。
Trio库的育儿园机制有什么优势？
育儿园机制避免了控制流混乱，提升了代码的可读性和可维护性，并自动处理资源清理和错误传播。
与传统的并发方法相比，育儿园机制如何改善代码质量？
育儿园机制通过确保所有子任务在父任务完成前不会返回，避免了潜在的后台任务干扰，从而提高了代码的可靠性和可维护性。
育儿园机制如何支持动态任务生成？
育儿园机制允许在运行时创建子任务，适用于需要动态处理的场景，如服务器的连接处理。
为什么说Go语句是有害的？
Go语句可能导致控制流的混乱，使得函数的返回不再明确，增加了程序的复杂性和错误的可能性。
如何通过育儿园机制实现自动错误传播？
育儿园机制确保每个任务都在父任务的控制下运行，若子任务发生异常，可以自动将错误传播到父任务中处理。
