简化泛型类型推断

Question

我正在编写一个通用代码，用于处理从多个来源加载数据的情况。我有一个带有以下签名的方法：

public static TResult LoadFromAnySource<TContract, TSection, TResult>
    (this TSection section, 
          string serviceBaseUri, 
          string nodeName)
    where TSection : ConfigurationSection
    where TResult : IDatabaseConfigurable<TContract, TSection>, new() 
    where TContract : new()

但这有点矫枉过正：当我通过TResult 时，我已经知道TContract 和TSection 到底是什么。在我的例子中：

public interface ISourceObserverConfiguration 
    : IDatabaseConfigurable<SourceObserverContract, SourceObserverSection>

但我必须写以下内容：

sourceObserverSection.LoadFromAnySource<SourceObserverContract, 
                                        SourceObserverSection, 
                                        SourceObserverConfiguration>
    (_registrationServiceConfiguration.ServiceBaseUri, nodeName);

您可以看到我必须指定对 <SourceObserverContract, SourceObserverSection> 两次，这违反了 DRY 原则。所以我想写这样的东西：

sourceObserverSection.LoadFromAnySource<SourceObserverConfiguration>
   (_registrationServiceConfiguration.ServiceBaseUri, nodeName);

并从接口推断出SourceObserverContract 和SourceObserverSection。

是否可以在 C# 中使用，或者我应该在任何地方手动指定它？

IDatabaseConfigurable 看起来像：

public interface IDatabaseConfigurable<in TContract, in TSection> 
    where TContract : ConfigContract
    where TSection : ConfigurationSection
{
    string RemoteName { get; }

    void LoadFromContract(TContract contract);

    void LoadFromSection(TSection section);
}

然后扩展只是根据一些逻辑调用这两个方法。我必须指定类型，因为我需要访问每个特定实现的属性，所以我需要协方差。

Answer 1

不，你不能。类型推断不考虑方法的返回类型。 TResult可能包含所有需要的信息，但类型推断不会使用它。

您需要将TContract 作为方法签名的一部分，以便可以推断出类型。 TResult 是多余的，不需要泛型，直接使用IDataBaseConfigurable<TContract, TSection> 作为方法的返回类型即可。

Answer 2

这在某种程度上取决于您的代码有多灵活，以及您如何使用它。一般来说，不需要 - 您要么需要指定 所有 泛型类型，要么不需要指定它们。

这意味着简单地传递 TResult 并不意味着其他泛型类型已被解析（即使从逻辑上讲，它们也可以）。

根据您可以更改定义的程度，您可以变得更整洁：

public static class Helper
{
    public static TResult LoadFromAnySource<TResult>(this ConfigurationSection section, string serviceBaseUri, string nodeName)
        where TResult : IDatabaseConfigurable<object, ConfigurationSection>, new()
    {
        return default(TResult);
    }
}

public class ConfigurationSection { }
public interface IDatabaseConfigurable<out TContract, out TSection> 
    where TContract : new()
    where TSection : ConfigurationSection
{ 
}

public class DatabaseConfigurable<TContract, TSection> : IDatabaseConfigurable<TContract, TSection>
    where TContract : new()
    where TSection : ConfigurationSection
{ 
}

public class SourceObserverContract { }
public class SourceObserverSection : ConfigurationSection { } 

让你写作：

var sect = new ConfigurationSection();
sect.LoadFromAnySource<DatabaseConfigurable<SourceObserverContract, SourceObserverSection>>("a", "B");

不同之处在于您将约束放在IDatabaseConfigurable 上，而不是放在方法上。您还需要使接口协变。如果您的设计无法做到这一点，那么据我所知，就不可能完成您想要完成的事情（没有非通用的IDatabaseConfigurable）

Answer 3

使用LoadFromAnySource 方法的当前方法签名，这不能如您所愿推断。但是，这可以通过修改LoadFromAnySource 签名来推断。

既然您已经知道ISourceObserverConfiguration 接口（并且由此我们知道它重新实现了IDatabaseConfigurable<SourceObserverContract, SourceObserverSection> 接口），请在您的方法声明中使用它作为通用约束：

代替

public static TResult LoadFromAnySource<TContract, TSection, TResult>
    (this TSection section, 
          string serviceBaseUri, 
          string nodeName)
    where TSection : ConfigurationSection
    where TResult : IDatabaseConfigurable<TContract, TSection>, new() 
    where TContract : new()

使用这个

public static TResult LoadFromAnySource<TResult>
    (this SourceObserverSection section, 
          string serviceBaseUri, 
          string nodeName)
    where TResult : ISourceObserverConfiguration, new()

这消除了对TContract 和TSection 的需求，因为它们在ISourceObserverConfiguration 接口中是已知的。编译器知道接口约束是IDatabaseConfigurable<SourceObserverContract, SourceObserverSection>，它会正常工作。

此外，由于这是一个扩展方法，并且我们在ISourceObserverConfiguration 上定义了一个通用约束，我们需要扩展SourceObserverSection。

---

然后你可以完全按照你的意愿消费它：

sourceObserverSection.LoadFromAnySource<SourceObserverConfiguration>
   (_registrationServiceConfiguration.ServiceBaseUri, nodeName);

更新

根据OP的对问题的修改/澄清，我有以下几点：

是否可以在 C# 中使用，或者我应该在任何地方手动指定它？

您应该手动指定它。 不可能根据重新实现的要求来推断这一点，其中基本接口定义了您的顶级约束试图解决的具体类型。换句话说，由于您有多个IDatabaseConfigurable 实现，调用者必须通过其TContract 和TSection 约束指定要使用的实现。