BitArray/BitFields - Reworking with templates

[Era Scarecrow]

On Monday, 30 July 2012 at 20:48:26 UTC, Philippe Sigaud wrote:
>> Now if all that is correct, say I want to make two functions 
>> that both use X, but are not compatible, but template 
>> functions will allow it. So...
>
> I'm not sure I understand what you're trying to do. Do you mean 
> you want a function that accept X!(T)s for any T, and not any 
> other type?

  Anything of template X! previous post of mine shows sort of an 
example.

> struct X(T) {}
>
> void func(T)(X!T x)
> {}
>
> void main()
> {
>     X!bool b;
>     X!int i;
>     func(b);
>     func(i);
> }

  Hmmm i do think that seems right... but if it contains multiple 
parameters, then...?

template X(x1, x2, x3) {
  struct XT {}
}

> void func(T)(X!T x) {}
Will this still work?

> Here you want a constraint that checks that U and T are both
> X!(SomeType) or an XY?

  As before, of Template X, and struct XY, but T (or sometype) 
doesn't matter.

> void tempFunc(T,U)(T t, U u) if (is(T a == X!(SomeType), 
> SomeType) &&
> is(U a == X!(SomeType), SomeType)
>                                                 || is(T == XY) 
> && is(U == XY))
> {
> ...
> }
> Is that what you need?

  I want to say no... But I haven't actually tested it for my use 
cases. Leaving it unconstrained (without checking) to make it 
work is a disaster waiting to happen: I want T and U to both be 
of the same template (X in this case) but not the same 
instantiation arguments.

  I hope I'm not repeating myself too much.