Here's a bit of code (and my apologies for it's length, but I'm unsure
which bit is the failure point)
#include <cstddef>
#include "boost/lambda/lambda.hpp"
#include "boost/lambda/bind.hpp"
#include "boost/function.hpp"
#include "boost/type_traits.hpp"
namespace
{
template < bool >
struct cmp_detail
{
template < typename T >
static bool cmp( const T & lhs, const T & rhs )
{
return lhs != rhs;
}
};
template < >
struct cmp_detail< true >
{
template < typename T, std :: size_t sz >
static bool cmp( const T ( & lhs )[ sz ], const T ( & rhs )[ sz ] )
{
using boost :: lambda :: _1;
using boost :: lambda :: bind;
using boost :: lambda :: var;
boost :: function< bool( unsigned ) > cmp_element =
bind( cmp_detail< boost :: is_array< T > :: value > :: cmp,
var( lhs )[ _1 ], var( rhs )[ _1 ] );
for ( unsigned i = 0; i != sz; ++ i )
if ( cmp_element( i ) )
// if ( cmp_detail< boost :: is_array< T > :: value > :: cmp( lhs[ i
], rhs[ i ] ) )
return true;
return false;
}
};
template < typename T >
bool cmp( const T & lhs, const T & rhs )
{
return cmp_detail< boost :: is_array< T > :: value > :: cmp( lhs, rhs );
}
template < typename T, std :: size_t sz >
struct Block
{
typedef T type[ sz ][ sz ];
};
}
int main( )
{
Block< int, 16 > :: type a;
Block< int, 16 > :: type b;
cmp( a, b );
}
The problem is the bind call in cmp_detail<true>::cmp(...). Error is this
block.cpp: In static member function `static bool <unnamed>::cmp_detail<
true>::cmp(const T (&)[sz], const T (&)[sz]) [w
ith T = int[16], unsigned int sz = 16u]':
block.cpp:45: instantiated from `bool <unnamed>::cmp(const T&, const T&)
[with T = int[16][16]]'
block.cpp:61: instantiated from here
block.cpp:32: error: no matching function for call to `bind(<unknown type>,
const boost::lambda::lambda_functor