Re: templates

[BLS]

On 19/04/2010 20:16, Ellery Newcomer wrote:

Hello.

Say I have a [struct] template T, which takes a param S.

Any T!(S) satisfies a certain template constraint W, so I can use any
T!(S) the same way. I want to be able to store heterogeneous T!(S) in a
single list. Is there any good way to express the type for this?

Why not simply...

class C(O)
{
  private O obj;
  object next;
  this(O obj)
  {
    this.obj = obj;
  }
  ...
  invariant()
  {
    assert(this.obj fulfills W);
  }
  ...
}