条件类型约束参数

我有一个类Container <T>，它有一个ContainerContents <T>。 Container实际上有两个类型约束参数：Container <TContainer，TContents> - TContainer是容器的类型，TContents是它接受的内容的类型。

我想确保如果TContainer是X或从X派生，那么TContents也将是X或派生自X，但是TContents不必等于TContainer。

我试图表达以下几种事情。

可以随身携带的东西（Swag），就像铅笔一样。

不能携带的东西（BaseObject），就像一棵树。

可以容纳其他东西的东西（容器）

不能携带的容器，如银行保险库。

可携带的容器（如背包）。

如果一个容器可以被运输，那么它的内容也必须是易于携带的。 但是，仅仅因为Container是背包并不意味着它只能背着背包。

我想要能够编码：

var ringWorld = new Container<BigRing, CivicWork>();

var pickleKnox = new Container<BankVault, Pickle>();

var swagBag = new Container<ToteBag, Swag>();

var tomeBag = new Container<ToteBag, Book>();

但不是var treeBag = new Container<Bag, Tree>();

这是我的骨架设置。

public abstract class BaseObject
{
    private readonly string _name;

    protected BaseObject(string name)
    {
        _name = name;
    }

    public string Name { get { return _name; } }
}

public class Swag : BaseObject
{
    private readonly int _weight;

    public Swag(string name, int weight):base(name)
    {
        _weight = weight;
    }

    public int Weight { get { return _weight; } }
}

/* I like the flexibility of i.e.: Container<BankVault,Pickles> 
but if the container itself is carriable (Swag), then its contents 
are by nature also carriable. */

public class Container<TContainer,TContents> : BaseObject 
    where TContainer:BaseObject 
    where TContents:BaseObject, or Swag if TContainer:(Swag or derived from Swag)
{
    ContainerContents<TContents> _contents;

    public Container(string name, int maxItems):base(name)
    {

        /* if (TContainer is derived from Swag) { TContents must be too } */

        _contents = new ContainerContents<TContents>(maxItems);
    }
}

public class ContainerContents<T> : List<T> where T : BaseObject
{
    int _maxItems;

    public ContainerContents(int maxItems)
    {
        _maxItems = maxItems;
    }
}

---

我认为这不会起作用。

我会创建以下接口：

interface ICarryable { }
interface IContainer<T> { }

然后你可以实现以下类：

class Backpack<T> : ICarryable, IContainer<T>
where T : ICarryable 
{  }

class Vault<T> : IContainer<T>
{  }

如果一个类实现了ICarryable ，它可以被携带。 如果它不实现那个接口，它是一个不能被携带的固定对象。 这更准确地描述了发生了什么。 您的泛型Container类不通信，容器的类型为TContainer ，其内容类型为TContainerContents 。

为了避免违反DRY原则，您仍然可以创建一个通用容器基类，您的保险库和背包将继承。 使它抽象可以确保没有人使用它来代替具体的实现。

链接地址: http://www.djcxy.com/p/8651.html

上一篇: Conditional type constraint parameter

下一篇: Binding a User entity and a GlassFish Principal