templates c++

[void90]

Λοιπόν έχω

template <class TYPE>
void test(TYPE x)
{
//σώμα1
}

το οποίο λειτουργεί για όλους τους τύπους.
Θέλω να κάνω κάτι έτσι ώστε όταν ο τύπος έχει "unsigned" να εκτελείται κάτι άλλο
δηλαδή κάτι τέτοιο

template <class TYPE>
void test(unsigned TYPE x)
{
//σώμα2
}

unsigned int x=0;
int y=0;
short int z=0;
unsigned short int k=0;
test(x); //εκτελείται το σώμα2
test(y); //εκτελείται το σώμα1
test(z); //εκτελείται το σώμα1
test(k); //εκτελείται το σώμα2

πώς το κάνω αυτό;

[imitheos]

Δοκίμασες την enable_if ? Αν ο compiler σου υποστηρίζει C++11 τότε είναι std:: αλλιώς είναι boost::

#include <iostream>
#include <type_traits>

template <class TYPE>
void test(TYPE x, typename std::enable_if<!std::is_unsigned<TYPE>::value >::type *dummy = 0)
{
	std::cout << "signed" << std::endl;
}

template <class TYPE>
void test(TYPE x, typename std::enable_if<std::is_unsigned<TYPE>::value >::type *dummy = 0)
{
	std::cout << "unsigned" << std::endl;
}

int main(void)
{
	unsigned int ui = 0;
	int i = 0;
	short int si = 0;
	unsigned short int usi = 0;

	test(ui);
	test(i);
	test(si);
	test(usi);

	return 0;
}

% g++ -Wall -std=c++11 mitsos.cc
% ./a.out
unsigned
signed
signed
unsigned

Disclaimer: Είμαι τελείως σκράπας από c++ οπότε μπορεί να υπάρχει ένας πολύ πιο εύκολος τρόπος να γίνει η δουλειά.

[void90]

Ευχαριστώ, έχει πολύ φασαρία

[MichaelSE]

Πέρα από αυτό που λέει ο imitheos (που δεν το έχω χρησιμοποιήσει), υπάρχουν δύο τρόποι να το κάνεις. Ο πρώτος είναι με template specialization και ο δεύτερος απλά γράφοντας μία non-template function. Με τον πρώτο τρόπο έχεις:

template <class TYPE>
void test(TYPE x)
{
//σώμα1
}

template<>
void test<unsigned>(unsigned x)
{
//σώμα2
}

και με τον δεύτερο, απλά:

template <class TYPE>
void test(TYPE x)
{
//σώμα1
}

void test(unsigned x)
{
//σώμα2
}

Ο δεύτερος τρόπος δουλεύει επειδή οι non-template functions έχουν προτεραιότητα σε σχέση με τις template functions.

Εγώ θα προτιμούσα τον πρώτο τρόπο επειδή δείχνει ακριβώς αυτό που θέλεις να κάνεις (να εξειδικεύσεις το template σε σχέση με τον τύπο unsigned).

[void90]

MichaelSE, έαν δεν κάνω λάθος με αυτόν τον τρόπο εάν η παράμετρος είναι unsigned long int, unsigned short int, unsigned long long int, θα εκτελεστεί το σώμα1. Εγώ θέλω για όλα τα "unsigned [κατι]" να εκτελείτε το σώμα2 όχι μόνο για unsigned int, χωρίς να γράψω για το κάθε ένα ξεχωριστά

[imitheos]

Πέρα από αυτό που λέει ο imitheos (που δεν το έχω χρησιμοποιήσει), υπάρχουν δύο τρόποι να το κάνεις. Ο πρώτος είναι με template specialization και ο δεύτερος απλά γράφοντας μία non-template function. Με τον πρώτο τρόπο έχεις:

template <class TYPE>
void test(TYPE x)
{
//σώμα1
}

template<>
void test<unsigned>(unsigned x)
{
//σώμα2
}

και με τον δεύτερο, απλά:

template <class TYPE>
void test(TYPE x)
{
//σώμα1
}

void test(unsigned x)
{
//σώμα2
}

Ο δεύτερος τρόπος δουλεύει επειδή οι non-template functions έχουν προτεραιότητα σε σχέση με τις template functions.

Εγώ θα προτιμούσα τον πρώτο τρόπο επειδή δείχνει ακριβώς αυτό που θέλεις να κάνεις (να εξειδικεύσεις το template σε σχέση με τον τύπο unsigned).

Μάλλον θα ρωτήσω χαζομάρες αλλά ο 2ος τρόπος που δεν χρησιμοποιεί template είναι δηλαδή μια απλή overloaded function ?

Ακόμη, και στους δύο τρόπους η 2η συνάρτηση παίζει για όλους τους τύπους ? Έτσι που την διαβάζω μου δίνει την εντύπωση ότι θα παίζει μόνο για unsigned int αλλά δεν γνωρίζω πως πάνε αυτά στη c++.

[void90]

Το ίδιο λέμε imitheos

[xcyanx]

Το ίδιο με τον ιμίθεο θα σου γράψω απλά αντί να έχω το enable_if μέσα στην func σαν δεύτερη παράμετρο με default τιμή θα το βάλω έξω απο την συνάρτηση:

#include <iostream>
#include <type_traits>

template <class TYPE>
typename std::enable_if<!std::is_unsigned<TYPE>::value>::type test(TYPE x)
{
	std::cout << "signed" << std::endl;
}

template <class TYPE>
typename std::enable_if<std::is_unsigned<TYPE>::value >::type test(TYPE x)
{
	std::cout << "unsigned" << std::endl;
}

[MichaelSE]

MichaelSE, έαν δεν κάνω λάθος με αυτόν τον τρόπο εάν η παράμετρος είναι unsigned long int, unsigned short int, unsigned long long int, θα εκτελεστεί το σώμα1. Εγώ θέλω για όλα τα "unsigned [κατι]" να εκτελείτε το σώμα2 όχι μόνο για unsigned int, χωρίς να γράψω για το κάθε ένα ξεχωριστά

Έτσι είναι όπως τα λες. Συγγνώμη, δεν κατάλαβα αυτό που εννοούσες, γιατί στη C++ ο τύπος unsigned και ο unsigned int ταυτίζονται (όπως λες κι εσύ). Γι΄αυτό θεωρούσα ότι όταν λες unsigned εννοείς unsigned int.

Για να γίνει αυτό που λες χρειάζεται να κάνεις overload κάθε τύπο ξεχωριστά. Γιατί παρόλο που λεξικογραφικά οι τύποι unsigned int και unsigned long long int μοιάζουν, στην πραγματικότητα είναι διαφορετικοί.

Μάλλον θα ρωτήσω χαζομάρες αλλά ο 2ος τρόπος που δεν χρησιμοποιεί template είναι δηλαδή μια απλή overloaded function ?

Ακόμη, και στους δύο τρόπους η 2η συνάρτηση παίζει για όλους τους τύπους ? Έτσι που την διαβάζω μου δίνει την εντύπωση ότι θα παίζει μόνο για unsigned int αλλά δεν γνωρίζω πως πάνε αυτά στη c++.

Όχι, δεν είναι χαζομάρες αυτό που ρωτάς, αντίθετα μάλιστα, είναι και ο λόγος που έγραψα και παραπάνω ότι εγώ προτιμάω τον πρώτο τρόπο δήλωσης. Γιατί όντως ο δεύτερος τρόπος είναι μία απλή overloaded function και δεν σου δίνει καθόλου να καταλάβεις ότι είναι specialization του template. Γι' αυτόν το λόγο μπορεί να οδηγήσει σε παρανοήσεις στον κώδικα.

Για το δεύτερο που λες, έχεις δίκιο, είναι αυτό που απάντησα και στον void90. Ήταν δικό μου λάθος γιατί δεν κατάλαβα τι ρώτησε εξαρχής.

[void90]

Ευχαριστώ για τις απαντήσεις, η λύση του xcyanx φαίνεται πιο ωραία, να'στε καλά