AMDG On 05/13/2015 04:28 PM, Nick Stokes wrote:

The use case is from Boost Graph, but my question is a general one about Boost Concept Check Library: How to "restrict" a template class/function argument based on concepts.

For instance, I want to overload functions based on Graph or VertexListGraph or similar refinement.

template void foo( VertexListGraph& g ) {...}

where XXX is somekind of SFINAE that leverages boost::VertexListGraphConcept.

You can't. Boost.ConceptCheck isn't designed for this. In Christ, Steven Watanabe