[C++] Riconoscimento tipi scalari

[darth fener]

Devo implementare una mia classe vector. In questa classe è presente un metodo clear() che si occupa di eliminare gli elementi presenti nel vettore. Il mio problema è che se questi elementi sono degli oggetti dovrei richiamare il loro distruttore. Come faccio a capire se gli elementi del mio vettore sono degli oggetti(e quindi richiamo il loro distruttore) o non lo sono?

[shodan]

Per la precisione ti servirebbe sapere se il tipo è un pod.
Dipende dal compilatore che usi, Se è Vc++ Express Sp1 puoi usare l'header <type_traits> e un costrutto del genere. Anche G++ ultime versioni lo supporta.
Puoi verificarlo tentando di includere l'header indicato.

   if (!std::tr1::is_pod<T>::value) {
       p->T::~T();
   }

Altrimenti devi ricorrere all'overload delle funzioni.

template <typename T> 
inline void destroy(T* p) {
    p->T::~T();
}
// specializzazione per i tipi base.

inline void destroy(void*) {};
inline void destroy(void**) {};
inline void destroy(void***) {};

inline void destroy(int*) {};
inline void destroy(int**) {};
inline void destroy(int***) {};

etc.

Per ognuno dei tipi fondamentali del linguaggio (void, char, wchar_t, short, int, long, double, float) sia in versione signed, sia in versione unsigned.

[darth fener]

Per quanto riguarda la tua seconda versione, e se è una struttura come faccio a saperlo? richiamerei un distruttore di una struttura andando per esclusione.
Ho la possibilità di usare sia borland 2010 e visual studio 2008

[darth fener]

Originariamente inviato da shodan
Per la precisione ti servirebbe sapere se il tipo è un pod.
Dipende dal compilatore che usi, Se è Vc++ Express Sp1 puoi usare l'header <type_traits> e un costrutto del genere. Anche G++ ultime versioni lo supporta.
Puoi verificarlo tentando di includere l'header indicato.

   if (!std::tr1::is_pod<T>::value) {
       p->T::~T();
   }

Altrimenti devi ricorrere all'overload delle funzioni.

template <typename T> 
inline void destroy(T* p) {
    p->T::~T();
}
// specializzazione per i tipi base.

inline void destroy(void*) {};
inline void destroy(void**) {};
inline void destroy(void***) {};

inline void destroy(int*) {};
inline void destroy(int**) {};
inline void destroy(int***) {};

etc.

Per ognuno dei tipi fondamentali del linguaggio (void, char, wchar_t, short, int, long, double, float) sia in versione signed, sia in versione unsigned.

Grande!!! funziona! grazie

[shodan]

Originariamente inviato da darth fener
Per quanto riguarda la tua seconda versione, e se è una struttura come faccio a saperlo?
Richiamerei un distruttore di una struttura andando per esclusione.

In quel caso il compilatore dovrebbe essere abbastanza furbo da capire se una struttura ha il distruttore o no. Puoi comunque scrivere una funzione destroy() specifica per quella data struttura.

Ho la possibilità di usare sia borland 2010 e visual studio 2008

Borland 2010 (se non ricordo male) ha già l'header <type_traits> quindi puoi usare la prima versione. Per Visual Studio 2008 dovrebbe essere presente con il service pack 1 (dico dovrebbe perché nella Versione Express Sp1 c'è.)

Da notare che la prima versione è leggermente più efficiente perché la scelta può essere fatta a compile time e non a run time:

    template <typename T, bool pod_type = true>
    struct disposer {
        static void destroy(T* ptr) { /* per i pod non serve */ }
    };

    template <typename T>
    struct disposer<T,false> {
        static void destroy(T* ptr) { 
	    ptr->T::~T(); // con borland può essere necessario scrivere: p->~T() 
	}
     }

    // il compilatore sceglie a compile time la versione da usare.
    template <typename T>    
    void qualcosa(T* p) {
        disposer< std::tr1::is_pod< T >::value >:: (destroy(p));
    }

Per POD si intende un tipo di dato compatibile C ovviamente. Quindi niente costruttori, distruttori, public: private etc.

[darth fener]

Scusa, allora mi riconosce è o non è un pod, per richiamare il distruttore non mi funziona. Ho
fatto:

template <class T>
void VettoreDinamico<T>::destroy(T* p)
{
    p->T::~T();
}

template <class T>
void VettoreDinamico<T>::clear()
{
   size = 0;
   if(!tr1::is_pod<T>::value)
   {
       for(unsigned i=0;i<size;i++)
       {
           destroy(ptr+i);
       }
   }
}

e mi dice:
[BCC32 Error] VettoreDinamico.h(72): E2045 Destructor name must match the class name
Full parser context
main.cpp(31): decision to instantiate: void VettoreDinamico<Prova>::destroy(Prova *)
--- Resetting parser context for instantiation...
main.cpp(1): #include VettoreDinamico.h
VettoreDinamico.h(12): class VettoreDinamico<T>
VettoreDinamico.h(71): parsing: void VettoreDinamico<Prova>::destroy(Prova *)

[shodan]

Originariamente inviato da darth fener
Scusa, allora mi riconosce è o non è un pod, per richiamare il distruttore non mi funziona. Ho
fatto:

Questo conferma il mio sospetto.
Modifica così:

template <class T>
void VettoreDinamico<T>::destroy(T* p)
{
#ifdef ( __BORLANDC__ ) 
    p->~T();
#else
    p->T::~T();
#endif
}

[darth fener]

niente, ho fatto come mi hai detto p->~T() e funziona.

Grazie. Ciao