假设我有一个通用class,它具有一个约束,其中T必须实现IWatchable<TKey>,有什么方法可以使用Watcher而不用显式声明TKey类型,考虑到T无论如何提供?

public class Watcher<T, TKey> where T : IWatchable<TKey>
{
}

public interface IWatchable<TKey>
{
    TKey Key { get; }
}


如果随后要使用Watcher class,则无论如何都必须将TKey声明为第二种类型。

var watcher = new Watcher<BeingWatched, int>();

public class BeingWatched : IWatchable<int> { ... }


要么

var watcher = new Watcher<AlsoBeingWatched<Guid>, Guid>();

public class AlsoBeingWatched<TKey> : IWatchable<TKey> { ... }

最佳答案

如果我理解正确,则本质上您是希望编译器从另一种推断出通用类型。通过使用静态的泛型构造方法,您可以做到这一点,但是您必须妥协并让Watcher 实现仅具有一个泛型类型参数的接口。我将在下面尝试说明,您可以决定是否值得做出妥协。

这是您现有的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 作为返回类型,即使它正在构造Watcher 。这个技巧使我们只能指定一种类型的参数。

下一个技巧是依靠C#的类型推断,以便在调用“ For”方法时不必指定“ TKey”类型。如果我们上课:

public class BeingWatched : IWatchable<int>
{
    public BeingWatched(int key)
    {
        Key = key;
    }

    public int Key { get; }
}


那么我们可以使用以下代码为该实例的观察者:

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


这种方法可能不是您所要的(或者也许是您所希望的),但是我认为这是避免为许多常见情况明确指定类型的最佳方法。

关于c# - 避免显式泛型C#,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/39243423/

10-10 12:40