Exceptional coding style

[bearophile]

Artur Skawina:

> static assert(checkArgs!A(fmt), "Invalid or unsupported printf 
> args");

A template constraint is better, I think.


>You can't get any less overhead than this; not even when using a 
>"well designed
statically compiled language".<

Maybe if you compile that with dmd and you look in the binary I 
think you will find some stuff related to that that's not needed.


>> void foo(int x)(string s) {}
>
> A /run-time value known at compile-time/ is an oxymoron.
>
> How would your above function to differ from this one
> 'void foo(alias x)(string s) {}' ?
> Are you asking for 'void foo(alias int x)(string s) {}'?

That wasn't an important request, feel free to ignore it.

What I was trying to say is not impossible. The run-time 
semantics of this:

void foo(static int x)(string s) {}

Is meant to be the same as:

void foo(int x, string s) {}

The only difference is that the compiler requires x to be 
statically known (but then you can't use specialize code on the 
value of x, because that's really not a template function).

This is also allowed, and it's similar to what we were discussing 
about:

void foo(static int x)(string s) if (predicate(x)) {}

Bye,
bearophile