#include <boost/lambda/lambda.hpp> #include <boost/static_assert.hpp> #include <boost/utility/result_of.hpp> #include <boost/type_traits.hpp> template <class F> void f(const F& f) { BOOST_STATIC_ASSERT(( boost::is_same< typename boost::result_of<F(int)>::type, bool >::value )); } int main() { f(boos…</f(int)></class></boost/type_traits.hpp></boost/utility/result_of.hpp></boost/static_assert.hpp></boost/lambda/lambda.hpp>