template instantiation and typedefs.

[aiooua]

Any idea why the following code does not compile?

----
#include<iostre am>
#include<list>
using namespace std;

class Base {
public:
int val;
Base(int i):val(i){}
void show(){cout<<na me()<<val<<endl ;}
virtual string name() = 0;
};
class A: public Base{
public:
A(int i):Base(i){}
string name() { return "a";}
};

class B: public Base{
public:
B(int i):Base(i){}
string name() { return "b";}
};

typedef list<A*>::itera tor a_iter;
typedef list<B*>::itera tor b_iter;
typedef pair<a_iter,a_i tera_seq;
typedef pair<b_iter,b_i terb_seq;

template <class TBase* show(pair<typen ame list<T*>::itera tor,
typename list<T*>::itera torseq, int val){
for(typename list<T*>::itera tor i = seq.first; i!=seq.second; ++i)
if(i->val==val) i->show();
}

int main(){
list<A*a_list;
list<B*b_list;
for(int i=0;i<10;i++){
a_list.push_bac k(new A(i));
b_list.push_bac k(new B(i));
}
a_seq a = make_pair(a_lis t.begin(),a_lis t.end());
b_seq b = make_pair(b_lis t.begin(),b_lis t.end());
show(a, 5);
show(b, 6);
}
---

I get the following compilation errors.
---
test.cpp: In function `int main()':
test.cpp:43: no matching function for call to `show(a_seq&, int)'
test.cpp:44: no matching function for call to `show(b_seq&, int)'
--

both a_seq and b_seq are typedefed to pairs of list iterator. am i
missing something?

thanks,
--
ajd.

[Micah Cowan]

ai****@gmail.co m wrote:

Any idea why the following code does not compile?

----
#include<iostre am>
#include<list>
using namespace std;

class Base {
public:
int val;
Base(int i):val(i){}
void show(){cout<<na me()<<val<<endl ;}
virtual string name() = 0;
};
class A: public Base{
public:
A(int i):Base(i){}
string name() { return "a";}
};

class B: public Base{
public:
B(int i):Base(i){}
string name() { return "b";}
};

typedef list<A*>::itera tor a_iter;
typedef list<B*>::itera tor b_iter;
typedef pair<a_iter,a_i tera_seq;
typedef pair<b_iter,b_i terb_seq;

template <class TBase* show(pair<typen ame list<T*>::itera tor,
typename list<T*>::itera torseq, int val){
for(typename list<T*>::itera tor i = seq.first; i!=seq.second; ++i)
if(i->val==val) i->show();
}

int main(){
list<A*a_list;
list<B*b_list;
for(int i=0;i<10;i++){
a_list.push_bac k(new A(i));
b_list.push_bac k(new B(i));
}
a_seq a = make_pair(a_lis t.begin(),a_lis t.end());
b_seq b = make_pair(b_lis t.begin(),b_lis t.end());
show(a, 5);
show(b, 6);
}
---

I get the following compilation errors.
---
test.cpp: In function `int main()':
test.cpp:43: no matching function for call to `show(a_seq&, int)'
test.cpp:44: no matching function for call to `show(b_seq&, int)'
--

both a_seq and b_seq are typedefed to pairs of list iterator. am i
missing something?

If you try it without the convenient typedefs, you'll find it still
doesn't work.

The standard refers to two contexts in which template argument
deduction is impossible for function templates. One of these is the
situation you're encountering: inside the qualification part of a
qualified identifier (that is, you can't deduce T from A<T>::B).

The other case is when you try to deduce a template argument from
another template id that uses the template parameter-to-be-deduced
within an expression; say:

template<int istruct B {
static const int value = i;
};

template<int ivoid bfunc(B<i-2&b) {}

int main(void)
{
B<10b;
bfunc(b);
}

The implementation can't deduce that it should call bfunc<12>(b).

[Douglas Dude]

ai****@gmail.co m wrote:

Any idea why the following code does not compile?

----
#include<iostre am>
#include<list>
using namespace std;

class Base {
public:
int val;
Base(int i):val(i){}
void show(){cout<<na me()<<val<<endl ;}
virtual string name() = 0;
};
class A: public Base{
public:
A(int i):Base(i){}
string name() { return "a";}
};

class B: public Base{
public:
B(int i):Base(i){}
string name() { return "b";}
};

typedef list<A*>::itera tor a_iter;
typedef list<B*>::itera tor b_iter;
typedef pair<a_iter,a_i tera_seq;
typedef pair<b_iter,b_i terb_seq;

template <class TBase* show(pair<typen ame list<T*>::itera tor,
typename list<T*>::itera torseq, int val){
for(typename list<T*>::itera tor i = seq.first; i!=seq.second; ++i)
if(i->val==val) i->show();
}

int main(){
list<A*a_list;
list<B*b_list;
for(int i=0;i<10;i++){
a_list.push_bac k(new A(i));
b_list.push_bac k(new B(i));
}
a_seq a = make_pair(a_lis t.begin(),a_lis t.end());
b_seq b = make_pair(b_lis t.begin(),b_lis t.end());
show(a, 5);
show(b, 6);
}
---

I get the following compilation errors.
---
test.cpp: In function `int main()':
test.cpp:43: no matching function for call to `show(a_seq&, int)'
test.cpp:44: no matching function for call to `show(b_seq&, int)'
--

both a_seq and b_seq are typedefed to pairs of list iterator. am i
missing something?

thanks,
--
ajd.

show(pair,val) with no template type is in use together with an
irrelevent return to the base which should be empty.
I guess pointers used might also sicken your program, mightnot they ?

[Gianni Mariani]

ai****@gmail.co m wrote:

Any idea why the following code does not compile?

....

template <class TBase* show(pair<typen ame list<T*>::itera tor,
typename list<T*>::itera torseq, int val){

The compiler can't deduce a dependant type.

....

both a_seq and b_seq are typedefed to pairs of list iterator. am i
missing something?

Think about it for a second. The compiler would need to check every
possible specialization of that template class (which is infinite) to
deduce.

One methodology I use is:

template <typename TBase * show( const T & a, int b, check<Tc = 0 );

check<Tis a compile time assertion for the right type of T when
instantiated.

When deducing template function arguments, if the compiler envounters an
error instatitaing a parameter type, that specialization is excluded.