
19 Jul
2005
19 Jul
'05
1:06 p.m.
On Behalf Of Jaakko Järvi:
Yes, a null_type is passed to sig. This is because the signature of the
zero argument lambda function (in lambda_functor class) signature is instantiated always, regardless of whether it is called or not. And there the argument list is just null_type. Hence, the return type deduction is not allowed to cause a compilation error in the case where the argument tuple to sig is null_type.
That makes sense. After looking around some more I found what seems to be an easier way to do it using the action<> template that hides this problem. Thanks, Brock