Re: [Boost-users] [concept check][mpl] (Conditional) Concept checking for functions

Subject: Re: [Boost-users] [concept check][mpl] (Conditional) Concept checking for functions
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2009-03-30 22:41:50

AMDG

Jesse Perla wrote:
> One rough idea I had was that since I will always have boost::function
> declarations as the default type, I could try to see if the type F is
> compatible with the boost::function type?  Could this be done in a simple
> metafunction similar to the following:
>
> template<class BoostF, class F>
> struct CheckFunctionCompatible
> {
>     static void Check()
>     {
>          F f;
>          BoostF fboost = f; //If this fails, then I am basically failing
>     }
> };
>
> But then if I instantiate, won't it also try to instantiate the constructor?
>   

You could do it like this, but I doubt the error messages
from deep inside boost::function will be very helpful.

template<class BoostF, class F>
class CheckFunctionCompatible {
public:
    BOOST_CONCEPT_USAGE(CheckFunctionCompatible) {
        BoostF test(f);
    }
private:
    F f;
};

In Christ,
Steven Watanabe