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

31 Mar 2009


      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
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 CheckFunctionCompatible {
public:
    BOOST_CONCEPT_USAGE(CheckFunctionCompatible) {
        BoostF test(f);
    }
private:
    F f;
};

In Christ,
Steven Watanabe