C#：泛型--推断泛型类型的泛型类型

Question

我甚至不知道如何问这个问题，所以我只给出一个代码示例。

以下是域：

public interface ISubscriptionProvider<T>
{
    void Subscribe(Action<T> callback);
}

public class Notification {}

public class CurrentUserNotifications : ISubscriptionProvider<Notification>
{
    public void Subscribe(Action<Notification> callback) { }
}

下面是我想要做的神奇的方法：

public void Subscribe<P, T>(Action<T> callback) where P : ISubscriptionProvider<T>
{
    // body left out -- code uses P
}

这是可行的，这就是你怎么称呼它的：

Subscribe<CurrentUserNotifications, Notification>((n) => Console.WriteLine(n));

所以问题是：有没有办法让它像这个一样可调用？

Subscribe<CurrentUserNotifications>((n) => Console.WriteLine(n));

基本上，它是否可以推断动作类型应该仅仅来自ISubscriptionProvider<T>。

这个订阅方法生活在一个静态类上(它是一个静态方法，我没有使用这个部分)。其想法是，它将负责构建ISubscriptionProvider<T>并将其保持为单例(可能是使用结构图)。因此，在使用中：

Messages.Subscribe<CurrentUserNotifications>((n) => Console.WriteLine(n));

谢谢!

更新：

这个话题有点离题，但是如果斯卡拉人读到这个..。

..。是一个更高类型的例子吗？类似于：

public void Subscribe<P<T>>(Action<T> callback) { }

在哪里P<_>是较高的类型？

Answer 1

你为什么不直接用

public void Subscribe<T>(Action<T> callback)
{
}

P参数类型在您的场景中是无关的，因为它从未被使用过。