Template: classe che utilizza int, short o float quando necessario

Question

Voglio scrivere una classe che gestisca il vettore euclideo e che memorizzi il suo punto iniziale usando short, int, long o float. Ho pensato di creare un modello come questo:

template<class unit> class EVector 
{ 
private: 
    unit x; 
    unit y; 
public: 
    EVector(); 
    setX(); 
    setY(); 
}; 

Così l'utente crea un EVector scegliendo il tipo primitivo adatto. Ma come posso implementare l'operazione tra diverse classi, ad es.

EVector<int> a; 
EVector<float> b; 

EVector<double> c; 

c = a + b; 

operator = copia le coordinate, l'operatore + le aggiunge.

Answer 1

Per Inoltre, è possibile utilizzare la mia promote implementazione:

template<typename A, typename B> 
EVector<typename promote<A, B>::type> 
operator +(EVector<A> const& a, EVector<B> const& b) { 
    EVector<typename promote<A, B>::type> ev; 
    ev.setX(a.getX() + b.getX()); 
    ev.setY(a.getY() + b.getY()); 
    return ev; 
} 

Per i tipi double e int, sarà resa double per esempio.

Answer 2

si desidera attivare l'assegnazione (e copia-costruzioni) EVector<U>-EVector<T> quando U è convertibile in T

template<class T> 
class EVector 
{ 
    template<class U> 
    EVector(EVector<U> const & rhs) 
      :x(rhs.x), y(rhs.y) 
    { 
    } 
    ... 
} 

Si noti che anche se hai fornito questo costruttore di copia su modelli, il compilatore genererà un copy-constructor per te (quando T è uguale a U). In questo caso stai bene con quell'implementazione di default: fa esattamente quello che ti serve. Altrimenti dovresti definire esplicitamente anche il costruttore non contemplato (e il compito di copia).