public inbox for
help / color / mirror / Atom feed
* c++/10845: `template method` not matched in template class
@ 2003-05-18 17:56 have
  0 siblings, 0 replies; only message in thread
From: have @ 2003-05-18 17:56 UTC (permalink / raw)
  To: gcc-gnats

>Number:         10845
>Category:       c++
>Synopsis:       `template method` not matched in template class
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun May 18 17:56:00 UTC 2003
>Release:        g++-3.2, 3.3
Linux i686
error: no matching function for call to `A<int>::f(int&, A<int>::SubA<int>&)'. 

In what follows, words written as _underscored_ mean that without any _underscored_ hypothesis, bug does not occur.

Let us consider a method f (with _two_ templates arguments) of a _template_ class A. 
The first argument is given by a _template T1_.
The second argument is given as a _template_ sub class of A (SubA<L>) and the second template typename of f is given for matching L.
Moreover, there exists (at least) another template method in A which has the same argument type than the second one of f.
Then f cannot be found when it is called.
Try to compile this code
template<typename T>
struct A {
  template<typename L> struct SubA { };

  template<typename T1,typename L> void f(T1 & t1, SubA<L> & t2) { }
  template<typename U> void g(SubA<U> & suba) { }
  template<typename U> void h(SubA<U> & suba) { }

int main(void) {
  int i;
  A<int> a;
  A<int>::SubA<int> suba;



^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2003-05-18 17:56 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-05-18 17:56 c++/10845: `template method` not matched in template class have

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).