是否存在标注或分析器，可标记需在特定锁内使用的成员？

DevOps 小满

2026-7-28

C#中标记成员需在特定锁范围内访问的方案

自定义标注+Roslyn分析器

这是最灵活的实现方式，分三步完成：

定义关联锁的自定义特性

[AttributeUsage(AttributeTargets.Field | AttributeTargets.Property)]
public class RequiresLockAttribute : Attribute
{
    public string LockFieldName { get; }

    public RequiresLockAttribute(string lockFieldName)
    {
        LockFieldName = lockFieldName;
    }
}

给目标成员添加标注
修改示例代码，给需要约束的成员加上特性：

public class Example
{
    private readonly object _lock = new object();
    
    [RequiresLock("_lock")]
    private readonly List<int> _collection = new List<int>();

    public void Add(int value)
    {
        lock (_lock)
        {
            _collection.Add(value);
        }
    }

    public void Remove(int value)
    {
        lock (_lock)
        {
            _collection.Remove(value);
        }
    }
}

编写Roslyn分析器
基于Roslyn SDK开发分析器，扫描带有RequiresLock特性的成员，检查所有访问该成员的代码是否处于对应锁对象的lock块范围内。一旦发现违规访问（比如直接在lock块外调用_collection的方法），就触发编译警告或错误。

IDE内置工具支持

JetBrains ReSharper/Rider：可通过自定义代码检查规则，配置特定字段必须在指定锁块内访问。IDE会在编辑代码时实时检测违规操作并给出提示。
Visual Studio + Roslyn规则集：虽无原生内置的锁关联规则，但可通过扩展Roslyn规则实现，思路和自定义分析器一致。