Re: [boost] "Simple C++11 metaprogramming"

On Jun 2, 2015 11:09 AM, "Peter Dimov" wrote:

Bruno Dutra wrote:

...

What you mean? std::decay<>::type is the lazy backend.

Eh, no, it's just an implementation detail. Change your

template<> struct test_c<void>{using type = void;};

to

template<> struct test_c<int>{using type = int;};

I'm sorry, I don't see why this is relevant, could you elaborate?

and then look at the following decay<> of mine, which I'm sure you'll agree really has no "lazy backend".

template<class T> T make(); template<class T> T decay_impl(T); template<class T> using decay = decltype(decay_impl(make()));

template<class T> using test2 = test;

I agree that it does not have a "lazy backend" in the sense of my previous replies, but I don't see your point, you've just switched to an equivalent type dependent evaluation similar to what Hana does, but now at the expense of not being able to even provide a lazy version to the end user in order to allow for lazy branching, that is, you just made it crypt enough just so you could call it "implementation detail". All I'm trying to say is that laziness is required somehow under the hood at some point and I don't see why hiding it from the end user if the effort must be made to bring it about anyways. Keep in mind it is useful and very much aligned to the current design of the standard C++ library and please note I'm not even arguing in favor of lambdas and binding at this point. Bruno Dutra