Skip to main content
se añadieron 11 caracteres en el cuerpo
Origen Enlace
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 std::move(*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.

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.

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 std::move(*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.

Origen Enlace
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.