On Monday, September 24, 2012 08:21:46 monarch_dodra wrote:
> template Hello(R)
> if ( is(typeof(takeExactly(R.init, 1))) &&
> is(R == typeof(takeExactly(R.init, 1)))
> )
> {
> alias R Hello;
> }
> What is wrong with my proposed solution?
It may work, but again, it's relying on how takeExactly works. It's testing
that you can call takeExactly on R.init and then that R is the same type as
that result, which means that it's relies on the fact that takeExactly returns
itself if you call takeExactly on it. It also relies on init, which can be
risky, given the fact that it can be disabled.
So, between your prosposal and the other that Philippe and Timon gave, theirs
seems better. But unfortunately, none of the proposals work generically.
Ideally, there would be a way to generically test that a type is the type
returned by particular function, and I would _think_ that that's possible, but
the way that I would expect to work doesn't.
Regardless, thanks for your help.
- Jonathan M Davis
