Static strings in templates

[Sean Kelly]

== Quote from Sean Kelly (sean at invisibleduck.org)'s article
> Janice Caron wrote:
> > It occurs to me that even with only a single parameter, passing string
> > literals to templated string function will lead to a lot of template
> > bloat, if the template always considers the argument type to be
> > invariant(char)[N] (for some N), as opposed to simply
> > invariant(char)[].
> >
> > Is this a bug? Can anything be done about this? Is there a workaround?
> It's not a bug, though it would be nice if there were some way to force
> parameters to dynamic arrays a bit easier.  Perhaps if the parameter
> were 'const', 'invariant', or 'in' it could be done automatically, since
> the length restriction is unnecessary in that case.

Scratch that.  In D 2.0, array literals could be automatically passed as
invariant(T)[], since that will produce the correct behavior in each case.
Static arrays could be passed as dynamic arrays in cases where the
parameter they are passed to is not out or inout.  This latter bit is
somewhat of a special case though, and I abhor special cases.


Sean