Typesafe variadics in any position

[H. S. Teoh]

On Tue, Feb 26, 2013 at 05:16:29PM -0500, Steven Schveighoffer wrote:
> On Tue, 26 Feb 2013 17:04:40 -0500, timotheecour
> <thelastmammoth at gmail.com> wrote:
> 
> >I proposed this a few weeks ago, but nobody gave feedback. This
> >would enable it without worrying about special cases.
> >
> >http://forum.dlang.org/thread/miqtvuufvlwgfzblexxp@forum.dlang.org
> >feature request: special optional argument (__FILE__, ...) AFTER
> >variadic template.
> 
> I think this is a different problem, the issue I'm talking about is
> typesafe variadics, not variadic templates.
> 
> >Please let me know what you think!
> 
> Doesn't this work?
> 
> foo(string filename=__FILE__, T...)(T args)
[...]

It should work, except that you'll have template bloat (not as bad as
putting __line__ in the compile-time arguments though!)


T

-- 
What are you when you run out of Monet? Baroque.