如何要求传入的委托/Lambda必须为静态？

需求背景 #

我需要编写一个真正线程安全的RunTask<T>替代方法，逻辑是在独立线程执行委托处理不可变参数P并生成不可变结果R，再回到原线程处理结果。方法定义如下：

// 在独立线程执行asyncDelegate处理P实例并生成R实例，
// 然后在原线程执行resultConsumer处理R
RunTask<P,R>(P parameter, System.Func<P,R> asyncDelegate,
        System.Action<R> resultConsumer )

为保证线程安全，已确保P和R是不可变类型，还需要保证asyncDelegate无副作用，满足以下任一条件即可：

• 确保asyncDelegate是静态委托；
• 若委托操作实例，则该实例必须不可变。

注：静态委托理论上可能因修改静态状态产生副作用，但暂时不关注这一点。

问题：现有校验逻辑对Lambda失效 #

我需要编译时或运行时的校验方案，且校验要同时对普通方法和Lambda表达式生效，但当前的校验逻辑对Lambda存在失效问题，示例代码如下：

public static class RunTaskTest
{
    public static void Run()
    {
        int fortyTwo = 42;
        assertStatic( true, staticFunction ); // 正常生效
        assertStatic( false, nonStaticFunction ); // 正常生效
        assertStatic( false, () => fortyTwo ); // 正常生效
        assertStatic( true, () => 42 ); // 校验失败
        assertStatic( true, static () => 42 ); // 同样校验失败
        return;

        static int staticFunction() => 42;
        int nonStaticFunction() => fortyTwo;
    }

    static void assertStatic<T>( bool shouldBeStatic, System.Func<T> action )
    {
        Assert( IsStatic( action ) == shouldBeStatic );
    }

    public static bool IsStatic( System.Delegate @delegate )
    {
        bool hasTarget = @delegate.Target != null;
        Assert( @delegate.Method.IsStatic == !hasTarget );
        return !hasTarget;
    }
}

可行解决方案 #

运行时方案：修正静态委托判断逻辑 #

当前代码仅通过Target != null判断是否为静态委托，这对Lambda表达式不适用——C#编译器会将未捕获外部变量的非static Lambda编译为实例方法（即使没有Target），而标注static的Lambda其Method.IsStatic属性会直接为true。

修正后的IsStatic方法应直接检查委托方法的静态属性：

public static bool IsStatic( System.Delegate @delegate )
{
    return @delegate.Method.IsStatic;
}

修正后各场景的校验结果：

• 普通静态方法委托：返回true；
• 普通实例方法委托：返回false；
• 捕获外部变量的Lambda：返回false；
• 未捕获变量的非static Lambda：返回false（编译器生成实例方法）；
• 标注static的Lambda：返回true。

编译时方案：借助Roslyn分析器强制校验 #

如果希望在编码阶段就拦截不符合要求的委托，可以编写Roslyn分析器，实现以下逻辑：

• 检查传入RunTask的asyncDelegate参数；
• 对于方法组，直接判断原方法是否为静态；
• 对于Lambda表达式，检查是否带有static修饰符，且未捕获任何外部变量；
• 若不符合条件，抛出编译警告或错误。

这种方式能提前规避问题，避免运行时才发现委托不符合要求。

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