c# - 通用类型层次结构的流畅接口(interface)

Question

我相信这是实现我想要的唯一方法，但我想把它放在那里看看是否有不需要使用动态/反射的解决方案。

我有以下类型层次结构，只剩​​下最基本的部分来证明这一点:

// Validators:

public abstract class Validator<T> { }

public class RequiredValidator<T> : Validator<T> { }

// Fields:

public abstract class Field { }

public abstract class Field<T> : Field
{
    public void AddValidator(Validator<T> validator) => 
        Console.WriteLine($"Added validator {validator.GetType()}");
}

public sealed class ValueField<T> : Field<T> { }
public sealed class ComputedField<T> : Field<T> { }
...many other field types that inherit Field<T>

这是我想实现的流畅界面的一个用法示例:

ValueField<string> field1 = new ValueField<string>().Required();

Required()方法必须适用于继承 Field<T> 的所有类型.

这是我想出的:

public static class Extensions
{
    public static TField Required<TField, T>(this TField field) where TField : Field<T>
    {
        field.AddValidator(new RequiredValidator<T>());
        return field;
    }

    public static TField DynamicRequired<TField>(this TField field) where TField : Field
    {
        DynamicAddRequiredValidator((dynamic)field);
        return field;
    }

    private static void DynamicAddRequiredValidator<T>(Field<T> field)
    {
        field.AddValidator(new RequiredValidator<T>());
    }
}

void Main()
{   
    // This is desired API usage but results in error:
    // The type arguments for method 'Extensions.Required<TField,T>(TField)' cannot be inferred from the usage.
    ValueField<string> field1 = new ValueField<string>().Required();

    // This works but the user shouldn't have to specify types like this, makes it very annoying to use:
    ValueField<string> field2 = new ValueField<string>().Required<ValueField<string>, string>();

    // This works but requires dynamic:
    ValueField<string> field3 = new ValueField<string>().DynamicRequired();
}

我是否缺少一种避免使用 dynamic 的实现方法？基于代码？

Answer 1

C# 中的泛型是全有或全无。你要么全部通过，就像你所做的那样，要么一个都不通过。它的设计方式必须能够推断出所有论点。对于你正在做的事情，你可以使用 Field<T>而不是 TField<T> , 删除那个泛型类型参数；尽管它可能不那么理想。还有其他方法……一些 FLUENT 设计返回包含泛型作为属性的新类型，允许您继续前进，但您的延续也需要使用该延续类型的逻辑。这有点令人困惑，但我觉得你明白了。如果没有，请告诉我。

如果 where 就好了约束也可以帮助推断类型，但事实并非如此。 Eric Lippert 最近帮助我了解到 C# 仅尝试推断通用参数，如果无法推断则失败。 where constraint 只是将泛型类型限制为一个基类，并告知开发者。虽然感觉我们也可以基于约束进行推断，但由于我们是基于类型，所以 C# 不会。埃里克对不这样做有意见，我敢肯定这比我对 ATM 的理解要多。无论哪种方式，你都有。