Intento crear una mochila, una clase plantilla que actúe como envoltura de otra, y realize llamadas a un callable proporcionado en uno de sus argumentos.
Me gustaría que el callable pudiera ser tanto una clase que admita operator( )
, como una función normal.
Todo el meollo del asunto es una única función, void call( )
. Como C++11 no admite la especialización de funciones miembro, he creado una clase base plantilla, que oferta esa única función. En la clase hija es donde estará toda la funcionalidad necesaria.
Al grano. He intentado
#include <iostream>
#include <functional>
template< typename T, typename F, bool IC, bool IF > struct Base;
// Especialización para VOID
template< typename T > struct Base< T, void, false, false > {
void call( const T &, signed ) const { }
};
// F es una clase.
template< typename T, typename F > struct Base< T, F, true, false > {
void call( const T &data, signed inc = 1 ) const {
static F imp{ };
imp( data, inc );
}
};
// ESTO FALLA ESTREPITOSAMENTE.
//
// F es una función
template< typename T, typename F > struct Base< T, F, false, true > {
void call( const T &data, signed inc = 1 ) const {
F( data, inc );
}
};
// Clase real, la que usamos.
template< typename T, typename F = void, bool IC = ::std::is_class< F >::value, bool IF = ::std::is_function< F >::value > struct Test :
public Base< T, F, IC, IF > {
T value;
Test< T, F, IC, IF >( ) : value( ) { Base< T, F, IC, IF >::call( value, 1 ); }
};
// Callable de prueba. Una clase.
struct Counter {
template< typename T > void operator( )( const T &, signed i ) { ::std::cout << "Counter: " << i << "\n"; }
};
// Callable de prueba. Una función no-miembro.
void FCounter( const int &, signed inc ) { ::std::cout << "FCounter: " << inc << "\n"; }
int main( void ) {
Test< int > t1; // CASO 1
Test< int, Counter > t2; // CASO 2
Test< int, FCounter > t3; // CASO 3
//Test< int, []( int, signed i ) { std::cout << "lambda: " << i << "\n"; } > t4;
return 0;
}
Dentro del main( )
están los casos de prueba actuales. El 1 y el 2 se pasan sin problemas, pero el 3 ...
prog.cc:40:23: error: type/value mismatch at argument 2 in template parameter list for 'template struct Test'
Test< int, FCounter > t3;
prog.cc:40:23: note: expected a type, got 'FCounter'
prog.cc:40:23: error: template argument 3 is invalid
prog.cc:40:23: error: template argument 4 is invalid
- ¿ Como lo hago para el caso 3 ? Usar una función no-miembro.
Y, en un abuso ...
- ¿ Como sería para el caso 4 ? Usar una lambda. O, mejor aún, algo compatible con
std::function< void( const T &, signed ) >
.