如果我理解正确,您基本上希望编译器从另一个泛型类型中推断出其中一种。您可以通过使用静态泛型构造方法来实现这一点,但您必须妥协并让 Watcher<T, TKey> 实现一个只有一个泛型类型参数的接口。我将尝试在下面进行说明,您可以决定是否值得做出妥协。
这是您现有的 Watcher 类..
public class Watcher<T, TKey> : IWatcher<TKey> where T : IWatchable<TKey>
{
public Watcher(IWatchable<TKey> target) { }
}
这是它需要实现的接口:
public interface IWatcher<TKey> { }
现在我们需要一个非泛型静态 Watcher 类,它包含一个只需要一个类型参数的泛型方法:
public static class Watcher
{
public static IWatcher<TKey> For<TKey>(IWatchable<TKey> target)
{
return new Watcher<IWatchable<TKey>, TKey>(target);
}
}
请注意,类型签名将 IWatcher<TKey> 作为返回类型,即使它正在构造 Watcher<IWatchable<TKey>, TKey>。这个技巧允许我们只指定一个类型参数。
下一个技巧是依赖 C# 的类型推断,这样我们就不必在调用“For”方法时指定“TKey”类型。如果我们上课:
public class BeingWatched : IWatchable<int>
{
public BeingWatched(int key)
{
Key = key;
}
public int Key { get; }
}
然后我们可以使用以下代码获取 this 实例的观察者:
var watcher = Watcher.For(new BeingWatched(123));
类型推断使我们不必显式编写
var watcher = Watcher.For<int>(new BeingWatched(123));
只要没有歧义,这就是有效的。如果你有课
public class AlsoBeingWatched : IWatchable<int>, IWatchable<Guid>
{
private readonly int _numberKey;
private readonly Guid _guidKey;
public AlsoBeingWatched(int numberKey, Guid guidKey)
{
_numberKey = numberKey;
_guidKey = guidKey;
}
int IWatchable<int>.Key { get { return _numberKey; } }
Guid IWatchable<Guid>.Key { get { return _guidKey; } }
}
然后
var watcher = Watcher.For(new AlsoBeingWatched(123, Guid.NewGuid()));
不会编译,你会得到错误
The type arguments for method 'Watcher.For<TKey>(IWatchable<TKey>)' cannot be inferred from the usage.
您必须明确指定
var watcher = Watcher.For<int>(new AlsoBeingWatched(123, Guid.NewGuid()));
或者
var watcher = Watcher.For<Guid>(new AlsoBeingWatched(123, Guid.NewGuid()));
这种方法可能不是您所要求的(或者您可能希望的),但我认为这是避免为许多常见情况显式指定类型的最佳方法。