[c++]template problema compilatore?

[giuseppe500]

ciao.
ho il seguente codice:

#include "stdafx.h"
#include <vector>
#include <iostream>
#include <string>
using namespace std;
// As long as things are simple,
// this approach works fine:
template<typename C>
void print1(C& c) {
typename C::iterator it;
	for(it = c.begin(); it != c.end(); it++)
		cout << *it << " ";
		cout << endl;
}
// Template-template argument must
// be a class; cannot use typename:
template<typename T, template<typename> class C>

void print2(C<T>& c) {
	copy(c.begin(), c.end(),ostream_iterator<T>(cout, " "));
	cout << endl;
}
int main() {
	vector<string> v(5, "Yow!");
	print1(v);
	print2(v);
}

su print2(v) mi da il seguente errore:

c:\test\copy constructor\copy\copy.cpp(26): error C2784: 'void print2(C<T> &)' : could not deduce template argument for 'C<__unnamed> &' from 'std::vector<_Ty>'
with
[
_Ty=std::string
]
è un problema di compilatore?
uso vs 2003.net
come si trasforma la dichiarazione con deduzione(si chiama cosi?) in dichiarazione esplicita?
grazie.

[shodan]

Non ho mai visto quel tipo di dichiarazione per una funzione, anche perché le funzioni Template non accettano parametri di default. Dove hai preso quel codice?

[giuseppe500]

ciao Shodan.
Ho preso il codice da thinking c++ cap."Template-templates" pg 134.
Come sarebbe la versione corretta?
Grazie.

[MacApp]

da me compila:

/*

$ g++ --version; g++ -Wall -ansi -pedantic -Wextra -Wconversion main.cpp; ./a.out 
i686-apple-darwin8-g++-4.0.1 (GCC) 4.0.1 (Apple Computer, Inc. build 5367)
Copyright (C) 2005 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Yow! Yow! Yow! Yow! Yow! 
Yow! Yow! Yow! Yow! Yow! 

*/

// #include "stdafx.h"
#include <vector>
#include <iostream>
#include <string>
#include <iterator>
using namespace std;
// As long as things are simple,
// this approach works fine:
template<typename C>
void print1(C& c) {
typename C::iterator it;
	for(it = c.begin(); it != c.end(); it++)
		cout << *it << " ";
		cout << endl;
}
// Template-template argument must
// be a class; cannot use typename:
template<typename T, template<typename> class C>

void print2(C<T>& c) {
	copy(c.begin(), c.end(),ostream_iterator<T>(cout, " "));
	cout << endl;
}
int main() {
	vector<string> v(5, "Yow!");
	print1(v);
	print2(v);
}

[shodan]

Fa attenzione che li non si parla di funzioni template, ma di classi.

[giuseppe500]

allora puo essere il compilatore mcapp?
stasera lo provo sul vs 2008.
Ho provato anche a cercare di dare una definizione esplicita della seconda funzione(leggendo l'errore potrebbe essere quello) per "aggirare" il problema ma non ci riesco.

Scusate se parlo da profano e chiedo qui, ma mi sto avvicinando piano piano alla programmazione generica e ho letto che anch essa utilizza il polimorfismo (tramite i tipi pero')ed è una programmazione alternativa all oop , forse mi sbaglio ma non è oop anche essa?ovvero esistono le classi , l'ereditarieta ecc...
Qello che mi chiedo è : quando se devo iniziare un progetto un po esteso utilizzare l'una o utilizzare l'altra?
e tutti i pattern ad es della gof sono applicabili anche ai template?


grazie.

[shodan]

L'esempio compila con G++ ( come dimostrato), ma con VC++ lo stesso prototipo da errore.
Il che, onestamente, non mi stupisce dato che i template sono il tallone d'achille di molti compilatori. Per compilare con VC++ il prototipo dev'essere modificato come segue ( come lo stesso Thinking in C++ riporta)

template<typename T, template< typename U, class = allocator<U> > class C>
void print2(C<T>& c) {
	copy(c.begin(), c.end(),ostream_iterator<T>(cout, " "));
	cout << endl;
};

ed è una programmazione alternativa all oop

Direi più che è complementare. Con i template si ha una oop a compile time, con le derivazioni si ha la oop a run time. Sono cose diverse. Tempo fa avevi chiesto consiglio su una abstract factory: quello è un esempio di come il polimorfismo basato su template si integri con quello a run time.