c# - 泛型类型和表达式的协变

Question

我试图在我的程序中使用协方差，但是当我使用 Expression<Func<T>> 时在我的方法中作为参数，我得到以下错误

Parameter must be input-safe. Invalid variance.
The Type parameter T must be invariently valid on Expression <TDelegate>

有什么方法可以将表达式用作方法中的参数以及协方差吗？

下面的例子

class Program
    {
        static void Main(string[] args)
        {
            var temp = new Temp<People>();
            TestMethod(temp);

        }

        public static void TestMethod(ITemp<Organism> param)
        {

        }
    }

    class Temp<T> : ITemp<T>
        where T : Organism
    {
        public void Print() {}

        public void SecondPrint(Expression<Func<T>> parameter) {}
    }


    class People : Organism {}
    class Animal : Organism {}
    class Organism {}

    interface ITemp<out T> where T : Organism
    {
        void SecondPrint(Expression<Func<T>> parameter);
    }

Answer 1

查看此 Eric Lippert的 answer :

The "out" means "T is only used in output positions". You are using it in an input position

(即使它是 Func 委托(delegate)的返回类型)。如果编译器允许，您可以编写(在您的示例中):

static void Main(string[] args)
{
    var temp = new Temp<People>();
    TestMethod(temp);
}

public static void TestMethod(ITemp<Organism> param)
{
    param.SecondPrint(() => new Animal());
}

调用 SecondPrint在 Temp<People> , 但传递一个返回 Animal 的 lambda .

我会删除 T 上的方差注释:

interface ITemp<T> where T : Organism
{
    void SecondPrint(Expression<Func<T>> parameter);
}

并制作TestMethod参数化 T :

public static void TestMethod<T>(ITemp<T> param) where T : Organism
{
}