Iteratory szablony

Question

#include <iostream>
#include <vector>
using namespace std;
//z iteratorem
template<typename Wot>
void wypisz(vector<vector<Wot>> v){
    for(vector<vector<Wot>>::iterator it= v.begin();it!= v.end();it++){
        for (vector<Wot>::iterator j = (*it).begin() ;j != (*it).end() ;j++){
            cout<<*j<<'_';
        }
        cout << endl;
    }
}

void wypisz1(vector<vector<int>> v){
    for(vector<int> i : v){
        for (int j : i ){
            cout<<j<<'_';
        }
        cout << endl;
    }
    
}
void wypisz2(vector<vector<int>> v){
    for(int i = 0 ; i < v.size();i++){
        for (int j = 0 ; j < v[i].size();j++ ){
            cout<<v[i][j]<<'_';
        }
        cout << endl;
    }
    
}

int main(){
vector<vector<int>> v={{1,2,3,4},{1,2,3},{1,2}};
wypisz(v);
wypisz1(v);
wypisz2(v);
vector<vector<double>> v1={{1.,2.,3.,4.},{1.,2.},{1.,2.},{1.,2.,3.}};
wypisz(v1);
}

 

Ktoś może mi powiedzieć dlaczego szablon taki mi nie działa ?

Jeśli pozbedziemy sie szablonu to kod działa

#include <iostream>
#include <vector>
using namespace std;
//z iteratorem
//template<typename Wot>
void wypisz(vector<vector<int>> v){
	for(vector<vector<int>>::iterator it= v.begin();it!= v.end();it++){
		for (vector<int>::iterator j = (*it).begin() ;j != (*it).end() ;j++){
			cout<<*j<<'_';
		}
		cout << endl;
	}
}

void wypisz1(vector<vector<int>> v){
	for(vector<int> i : v){
		for (int j : i ){
			cout<<j<<'_';
		}
		cout << endl;
	}
	
}
void wypisz2(vector<vector<int>> v){
	for(int i = 0 ; i < v.size();i++){
		for (int j = 0 ; j < v[i].size();j++ ){
			cout<<v[i][j]<<'_';
		}
		cout << endl;
	}
	
}



int main(){
vector<vector<int>> v={{1,2,3,4},{1,2,3},{1,2}};
wypisz(v);
wypisz1(v);
wypisz2(v);
//vector<vector<double>> v1={{1.,2.,3.,4.},{1.,2.},{1.,2.},{1.,2.,3.}};
//wypisz(v1);
}

 

Answer 1

Kompilator GCC/Clang bardzo czytelnie mówi czego brakuje:

<source>:7:9: error: need 'typename' before 'std::vector<std::vector<Wot> >::iterator' because 'std::vector<std::vector<Wot> >' is a dependent scope
for(vector<vector<Wot>>::iterator it= v.begin();it!= v.end();it++){
    ^~~~~~~~~~~~~~~~~~~

Czyli wystarczy dodać `typename`.

for(typename vector<vector<Wot>>::iterator it= v.begin();it!= v.end();it++){

Ale znacznie prościej będzie z auto:

for(auto it= v.begin();it!= v.end();it++){

A jeszcze prościej z pętlą po elementach:

template<typename Wot>
void wypisz(vector<vector<Wot>> v) {
    for (const auto &vec : v) {
        for (const auto &element : vec)
            cout << element << '_';
        cout << '\n';
    }
}

 

Comments

Dziękuje smiga. Jeśli chodzi o auto to trochę gubimy imformacje o typach (kosztem ułatwienia). Jeśli chodzi o 3 pętle to juz była napisana w kodzie :)

---

trochę gubimy imformacje

Tylko wizualnie - kompilator widzi typy, IDE też, podpowiadanie działa, jak najedziesz myszką na zmienną to też pokaże typ.

Poza tym tutaj kod jest na tyle czytelny (jak jedziemy po kolejnych elementach vector<vector<X>> to oczywistym jest że jego elementy to vector<X>) że to nie powinien być problem.

Answer 2

Widocznie kompilator nie jest w stanie sam ogarnąć typu tylko na podstawie przekazanego argumentu. Za bardzo "schowany" jest. Nie wiem czy są jakieś standaryzowane zasady dedukcji parametru szablonu, ale tutaj widocznie kompilator sobie nie radzi.

Tak zadziała na pewno (jeśli sam powiesz jaki typ podrzucasz template-owi):

wypisz<int>(v);
//...
wypisz<double>(v1);

 

Comments

Tak zadziała na pewno

Sprawdziłeś?

---

No przyznam się, że nie :P