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>。

这个subscribe方法存在于一个静态类（它是一个静态方法，我把那部分留下）。我们的想法是，它将负责构建ISubscriptionProvider<T>并将其保持为单例（可能包含结构图）。所以在使用中：

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

谢谢！

更新

这有点偏离主题，但如果有任何scala人读过这个......

...是一个更高级的类型的例子？类似的东西：

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

P<_>哪个是较高的亲属类型？

Answer 1

为什么你不能只使用

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

类型P参数在您的方案中无关紧要，因为它从未使用过。

C＃：泛型 - 推断通用类型的泛型类型

1 个答案: