0

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

这是域：

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));

谢谢！

更新：

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

......是更高种类的例子吗？就像是：

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

P<_>高种类型在哪里？

4

1 回答 1

0

为什么你不能只使用

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

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

于 2012-08-16T18:32:57.113 回答