Do everything in Java…

[H. S. Teoh via Digitalmars-d]

On Tue, Dec 09, 2014 at 10:22:13PM +0300, Dmitry Olshansky via Digitalmars-d wrote:
> 09-Dec-2014 22:18, Iain Buclaw via Digitalmars-d пишет:
> >On 9 December 2014 at 19:15, H. S. Teoh via Digitalmars-d
> ><digitalmars-d at puremagic.com> wrote:
> >>On Tue, Dec 09, 2014 at 10:08:35PM +0300, Dmitry Olshansky via Digitalmars-d wrote:
> >>>09-Dec-2014 20:54, H. S. Teoh via Digitalmars-d пишет:
> >>>>On Tue, Dec 09, 2014 at 07:16:56PM +0300, Dmitry Olshansky via Digitalmars-d wrote:
[...]
> >>>>>And that's not nearly enough. Also both LDC & GDC often can't
> >>>>>inline many functions from phobos due to separate compilation.
> >>>>[...]
> >>>>
> >>>>Really? Most of the Phobos function I use are templates, so
> >>>>inlining shouldn't be a problem, should it? Besides, gdc is far
> >>>>better at inlining that dmd ever was, though of course there are
> >>>>some constructs that the front-end doesn't inline, and the backend
> >>>>doesn't have enough info to do so. This is an area that should be
> >>>>improved.
> >>>>
> >>>
> >>>std.ascii.isWhite ... and there are plenty of things our templates
> >>>inevitably unfold to. I mean come on phobos library is big pile of
> >>>object code, it can't be all templates.
> >>>
> >>>Last time I checked if you copy-paste isWhite it to your source
> >>>code it gets much faster then std one because of inlining.
> >>[...]
> >>
> >>Hmm. Would it help to change isWhite into a template function?
> >>
> >
> >That can't be the answer for everything.
> >
> 
> As someone (ab)using empty template "idiom", I agree, we need a better
> solution.
[...]

I don't see what's the problem with making it an "empty" template. It
eliminates dead code in your executable if you never call that function,
it enables attribute inference, and it allows inlining. The only major
incompatibility I can see is the ability to ship closed-source
libraries, but in that case, inlining is already out of the question
anyway, so it's a non-issue.

Or am I missing something obvious?


T

-- 
IBM = I Blame Microsoft