News for hackers. Stuff that matters.

A comment on How to abuse a C++ compiler?.

Re:How to abuse a C++ compiler? by vinkelhake on Thursday March 20, 2014 @10:27AM (#7435691)
It should be noted that at least some cases which previously required template meta programming can now be done in a more natural style with constexpr. A constexpr function can be evaluated at compile time, this means that its return value can be used in places that require a compile time constant.

constexpr functions where quite restrictive in C++11. They could pretty much only contain a single expression and a return. C++14 significantly relaxes these restrictions.

http://en.wikipedia.org/wiki/C%2B%2B14#Relaxed_constexpr_res...

Type-level meta programming is still confined to using templates though...

[ Parent | on HN ]
Re:How to abuse a C++ compiler? by hun-nemethpeter on Thursday March 20, 2014 @10:57AM (#7435884)
I tried to make a proposal for a more natural meta programming:

https://github.com/hun-nemethpeter/cpp-reflector-mini/blob/m...

[ Parent | on HN ]
Re:How to abuse a C++ compiler? by zem on Thursday March 20, 2014 @04:03PM (#7438250)
D has very good support for this. here's a quick string templating function i wrote, for instance: https://gist.github.com/martindemello/2686640

it calls a function at compile time to expand placeholders, and then compiles the generated string via the mixin() statement and carries on with the code. far more pleasant than c++.

[ Parent | on HN ]
Re:How to abuse a C++ compiler? by pcwalton on Thursday March 20, 2014 @11:37AM (#7436185)
constexpr doesn't really help for logic programming though, which is what this post is using template specialization to do. You can't ask for the answer to Russell's paradox using constexpr (which is, IMHO, a good thing).
[ Parent | on HN ]
Re:How to abuse a C++ compiler? by pfultz2 on Thursday March 20, 2014 @03:30PM (#7437985)
> Type-level meta programming is still confined to using templates though...

Which there is less of need for this, since we have better type deduction in C++11 and 14 as well.

[ Parent | on HN ]