[Bug c++/21835] New: compilation of CRTP fails if the ABC is after template

[Bug c++/21835] New: compilation of CRTP fails if the ABC is after template

[maierkom at rcs dot ei dot tum dot de]

the compilation of a curious recuring template fails if the base class for the
instantiation of the curious recuring template pattern (CRTP) is defined after
the template but before its instantiation.

The following code demonstrates the problem. If uncommenting the outcommented
section and commenting out the latter appearance of the same code, it compiles
successfully.

#include <iostream>

using namespace std;

/*
struct Client
{
	void visit(const class A &a)
	{ cout << "Client::visit(const A &)" << endl; }
};

struct MYABC
{
	virtual void runVisitor(class Client &) const = 0;
};
*/

template <class Derived, class ABC>
struct Door : public ABC
{
	Door()
	: ABC()
	{ }

	void runVisitor(class Client &) const;
};

template <class Derived, class ABC>
void Door<Derived,ABC>::runVisitor(class Client &c) const
{ c.visit(static_cast<const Derived &>(*this)); }

struct Client
{
	void visit(const class A &a)
	{ cout << "Client::visit(const A &)" << endl; }
};

struct MYABC
{
	virtual void runVisitor(class Client &) const = 0;
};

struct A : public Door<A,MYABC>
{
};

-- 
           Summary: compilation of CRTP fails if the ABC is after template
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: maierkom at rcs dot ei dot tum dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: sparc-sun-solaris2.8
  GCC host triplet: sparc-sun-solaris2.8
GCC target triplet: sparc-sun-solaris2.8


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21835

[Bug c++/21835] compilation of CRTP fails if the ABC is after template

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
      Known to fail|                            |3.4.0 3.3.3 3.0.4 2.95.3
      Known to work|                            |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21835

[Bug c++/21835] compilation of CRTP fails if the ABC is after template

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|sparc-sun-solaris2.8        |
   GCC host triplet|sparc-sun-solaris2.8        |
 GCC target triplet|sparc-sun-solaris2.8        |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21835

[Bug c++/21835] compilation of CRTP fails if the ABC is after template

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-19 14:32 -------
Fixed on the mainline (for 4.1.0), since this is not a regression, I am closing as fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
      Known to fail|3.4.0 3.3.3 3.0.4 2.95.3    |3.4.0 3.3.3 3.0.4 2.95.3
                   |                            |4.0.0
         Resolution|                            |FIXED
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21835