继承期间的表达推断

时间:2008-11-04 12:21:55

标签: c# compiler-errors expression-trees type-inference

我有以下代码:

using System;
using System.Linq;
using System.Linq.Expressions;

public class Program
{
    public static void Main()
    {
        Descendant d = new Descendant();
        d.TestMethod();
    }
}

public class Base
{
    protected void FigureItOut<TClass, TMember>(Expression<Func<TClass, TMember>> expr)
    {

    }
}

public class Descendant : Base
{
    public void TestMethod()
    {
        FigureItOut(c => c.Name);
    }

    public String Name { get; set; }
}

我收到此编译器错误消息:

The type arguments for method
'Base.FigureItOut<TClass,TMember> 
(System.Linq.Expressions.Expression<System.Func<TClass,TMember>>)'
cannot be inferred from the usage. Try specifying the type arguments explicitly.

如果我将对ImageItOut的调用更改为:

FigureItOut((Descendant c) => c.Name);

然后它有效。有没有办法通过改变基类来获得第一个编译示例?

我知道如果我将整个Base类设为泛型,就像这样:

public class Base<TDescendant>
{
    protected void FigureItOut<TMember>(Expression<Func<TDescendant, TMember>> expr)
    {

    }
}

public class Descendant : Base<Descendant>
{
    public void TestMethod()
    {
        FigureItOut(c => c.Name);
    }

    public String Name { get; set; }
}

然后它可以工作,但我宁愿不这样做,任何其他可以使用的黑客,也许是在方法层面上(即以某种方式改变FigureItOut)。

2 个答案:

答案 0 :(得分:6)

调用实际(protected internal)实现的扩展方法怎么样?唯一的缺点是你必须添加this.

这是有效的,因为source参数(通过this)推断出TClass的类型。

public class Base
{
    protected internal void FigureItOut<TClass, TMember>(Expression<Func<TClass, TMember>> expr)
    {
        Debug.WriteLine("Got to actual method");
    }
}

public static class BaseExt
{
    public static void FigureItOut<TClass, TMember>(this TClass source, Expression<Func<TClass, TMember>> expr)
        where TClass : Base
    { // call the actual method
        Debug.WriteLine("Got to extension method");
        source.FigureItOut(expr);
    }
}
public class Descendant : Base
{
    public void TestMethod()
    {
        this.FigureItOut(c => c.Name);
    }

    public String Name { get; set; }
}

作为替代方案(如果internal很痛苦),请考虑将其设置为静态,并使用主要用于类型推断的实例参数:

protected static void FigureItOut<TClass, TMember>(TClass source, Expression<Func<TClass, TMember>> expr)
{

}

public void TestMethod()
{
    FigureItOut(this, c => c.Name);
}

答案 1 :(得分:0)

除非采用参数,否则无法推断。 除非它指定一个返回值,否则无法推断。