Yo, de primeras, procuraría no convertir el dato hasta el final para evitar, en la medida de lo posible, copiar valores. Pudiendo copiar punteros...
inline T result( ) {
void * tmp;
base->move( base, tmp );
return static_cast<T>(*tmp);
}
Además así te podrías beneficiar del uso de la sintaxis move (si está implementada) o de la omisión de copia (copy elision).
Aun así sigues teniendo una variable temporal... para eliminarla sería necesario modificar un poco el diseño:
struct Base {
using FuncPtr = void*(*)(Base*);
FuncPtr move;
inline Base( FuncPtr m ) : move( m ) { }
};
template< typename T > struct Derivada : public Base {
T value;
static inline void* do_move(Base *b) {
Derivada *d = static_cast< Derivada * >( b );
return &(d->value);
}
inline Derivada( ) : Base( do_move ), value( 10 ) { }
};
template< typename T > struct Envoltura {
Base *base;
inline T result( ) {
return *static_cast<T*>(base->move(base));
}
inline Envoltura( ) : base( new Derivada<T> ) { }
};
Ahora el valor no se extrae mediante un argumento sino vía return
. La clase Envoltura
se limita entonces a convertir el valor en el tipo que interese en cada momento.