代码检查:冗余的 'scoped' 参数修饰符
当 scoped 参数修饰符在该上下文中不会影响逃逸分析或重载解析时, 此检查会报告此修饰符。 在这种情况下, 该修饰符是多余的, 只会增加干扰。
ref struct R { }
class C
{
static void M(scoped R value)
{
}
}
ref struct R { }
class C
{
static void M(R value)
{
}
}
这通常出现在模式变量、解构变量、委托转换和重写中, 其中 scoped 不会改变实际契约。
2026年 5月 8日