‘scoped’关键字的作用是什么？探究其代码中的实际差异

两段代码的核心差异 #

针对你给出的两个AppendFormatted方法，核心区别在于编译器对参数生命周期的约束强度：

• 无scoped的版本：方法内部可以自由地将ReadOnlySpan<char>参数传递给其他非scoped方法，或是将其作为返回值（若方法有返回类型），允许该span的生命周期超出当前方法的作用域。
• 带scoped的版本：编译器会强制限制这个span的生命周期仅局限于当前方法内部：
  • 不能将该参数传递给要求更长生命周期的方法；
  • 不能将其作为返回值返回；
  • 不能将其赋值给类的字段、非scoped的局部变量等会延长其生命周期的存储位置。

实际用途：内存安全的静态保障 #

scoped关键字的核心价值是通过编译器静态检查，避免ref-like类型（如Span、ReadOnlySpan）出现悬垂引用，从而保障内存安全。

以你提到的DefaultInterpolatedStringHandler为例：这个处理器是编译器生成的临时栈分配对象，它的工作是在当前方法的栈上临时拼接字符串。如果AppendFormatted方法允许把传入的ReadOnlySpan<char>泄露到方法外（比如存到Handler的字段里），那么当Handler被销毁、栈帧回收后，这个span就会指向无效的内存区域，引发内存访问错误。

添加scoped关键字后，编译器会自动拦截所有可能导致span生命周期逃逸的操作，从语法层面确保传入的span只会在当前方法的执行周期内被使用，彻底避免这类内存安全风险。

内容的提问来源于stack exchange，提问作者Twenty