构造函数中作为泛型类型的操作会产生编译错误

Question

为什么Funky<T> 中的构造函数重载有action 参数的问题，而子类FunkyAction 却没有？

class Funky<T>
{
    readonly T _data;

    public Funky(T data)
    {
        _data = data;
    }

    public Funky(Action action, bool imJustAnOverload)
        : this(action) // cannot convert from 'System.Action' to 'T'
    {
    }
}   


class FunkyAction : Funky<Action>
{
    public FunkyAction(Action action)
        : base(action) // no compile error
    {
    }
}

Answer 1

这个构造函数：

public Funky(Action action, bool imJustAnOverload)
    : this(action)

正在尝试使用此构造函数：

public Funky(T data)

将Action 作为参数传递给T 类型的参数。

由于T 是泛型类型参数，因此编译器不能保证action 可以强制转换为T。就编译器而言，T 可以是int 或string。

现在，对于派生类，这个构造函数：

public FunkyAction(Action action)
    : base(action)

正在尝试使用这个基类构造函数：

 public Funky(T action)

但是由于它定义T为Action（在class FunkyAction : Funky<Action>中），那么基础构造函数实际上是这样的（从FunkyAction的角度来看）：

public Funky(Action action)

现在将Action 类型的参数传递给需要Action 的方法没有问题。

你可以像这样使基类构造函数通用：

public Funky(T action, bool imJustAnOverload)
        : this(action)
    {
    }

这将允许您创建一个 Funky<Action> 并使用 Action 构造它，如下所示：

Funky<Action> funky = new Funky<Action>(() => DoSomething(), true);