So I've used <I>plenty</I> of STL functions which takes functors as parameters. For calculating set differences, for sorting vectors, etc. I'm in a situation where I'd like to write such a function ...

You can write some complicated code to ensure that you don't create any object until you absolutely need it. Or you can use the Lazy object...at least some of the time. Sometimes your application ...