Skip to main content
1 de 2
eferion
  • 52.6k
  • 5
  • 35
  • 75

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.

eferion
  • 52.6k
  • 5
  • 35
  • 75