BUG: C2352 with template base class (VS .NET 2003)

[Werner Henze]

Hi folks,

I found a bug in VS .NET 2003. When compiling the following code with FAIL defined
I get an error C2352
'B<T>::g::B<T>::g': Unzulässiger Aufruf einer nicht statischen Memberfunktion
with
[
T=COuter::Element *
]
and
[
T=COuter::Element *
]

Since g is not static I believe this is a compiler error. It works with the two
workarounds presented for f and f2. The error does not occur if FAIL is not
defined.

template <class T> class B {
public:
virtual bool f() const { return true; }
virtual bool g() const { return true; }
};

#undef FAIL
#define FAIL

#ifdef FAIL
class COuter
{
#endif
class Element {
};
typedef B<Element *> B_2;
class CInner : public B_2
{
// These work
virtual bool f () const { return B<Element *>::f(); }
virtual bool f2() const { return __super::f(); }
// This fails
virtual bool g () const { return B_2::g(); }
};
#ifdef FAIL
};
#endif

Kind regards,
Werner Henze

[Bo Persson]

"Werner Henze" <w.*****@avm.de> skrev i meddelandet
news:%2****************@TK2MSFTNGP10.phx.gbl...

Hi folks,

I found a bug in VS .NET 2003. When compiling the following code with FAIL defined I get an error C2352
'B<T>::g::B<T>::g': Unzulässiger Aufruf einer nicht statischen Memberfunktion with
[
T=COuter::Element *
]
and
[
T=COuter::Element *
]

Since g is not static I believe this is a compiler error. It works with the two workarounds presented for f and f2. The error does not occur if FAIL is not defined.

template <class T> class B {
public:
virtual bool f() const { return true; }
virtual bool g() const { return true; }
};

#undef FAIL
#define FAIL

#ifdef FAIL
class COuter
{
#endif
class Element {
};
typedef B<Element *> B_2;
You cannot instantiate the template B with a local class. If you move
these three lines to global scope, it works.

That is what happens when you remove COuter!

class CInner : public B_2
{
// These work
virtual bool f () const { return B<Element *>::f(); }
virtual bool f2() const { return __super::f(); }
// This fails
virtual bool g () const { return B_2::g(); }
};
#ifdef FAIL
};
#endif

Kind regards,
Werner Henze

Bo Persson
bo**@telia.com

[Holger Grund]

> > };

typedef B<Element *> B_2;
You cannot instantiate the template B with a local class. If you

move these three lines to global scope, it works.

I don't think that this is entirely correct. B is instantiated on
Element*
and not on Element. Furthermore, Element is not a local class.
Classes in functions cannot be used as template arguments. This
is not true for nested classes.

IMHO the code demonstrates a compiler bug.

-hg

[Werner Henze]

OK, let's assume your statement is correct. Then why don't I get an error on
typedef B<Element *> B_2;
and on
class CInner : public B_2
and on
virtual bool f () const { return B<Element *>::f(); }
?
Either way I think there is a bug in the VC++ compiler.

Kind regards,
Werner Henze

[Keiji Oenoki [MSFT]]

Hi Werner,
Thank you for your report. It does look like a compiler bug. The latest
internal build of the compiler can compile your code without any issues.

--
Keiji Oenoki
Visual C++ Team
This posting is provided AS IS with no warranties, and confers no rights.
--------------------

From: "Werner Henze" <w.*****@avm.de>
Subject: BUG: C2352 with template base class (VS .NET 2003)
Date: Mon, 14 Jul 2003 14:06:48 +0200
Lines: 49
MIME-Version: 1.0
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <#a**************@TK2MSFTNGP10.phx.gbl>
Newsgroups: microsoft.public.dotnet.languages.vc
NNTP-Posting-Host: 194.175.125.253
Path: cpmsftngxa06.phx.gbl!TK2MSFTNGP08.phx.gbl!TK2MSFTN GP10.phx.gbl
Xref: cpmsftngxa06.phx.gbl microsoft.public.dotnet.languages.vc:26107
X-Tomcat-NG: microsoft.public.dotnet.languages.vc

Hi folks,

I found a bug in VS .NET 2003. When compiling the following code with FAIL defined I get an error C2352
'B<T>::g::B<T>::g': Unzulässiger Aufruf einer nicht statischen Memberfunktion with
[
T=COuter::Element *
]
and
[
T=COuter::Element *
]

Since g is not static I believe this is a compiler error. It works with the two workarounds presented for f and f2. The error does not occur if FAIL is not defined.

template <class T> class B {
public:
virtual bool f() const { return true; }
virtual bool g() const { return true; }
};

#undef FAIL
#define FAIL

#ifdef FAIL
class COuter
{
#endif
class Element {
};
typedef B<Element *> B_2;
class CInner : public B_2
{
// These work
virtual bool f () const { return B<Element *>::f(); }
virtual bool f2() const { return __super::f(); }
// This fails
virtual bool g () const { return B_2::g(); }
};
#ifdef FAIL
};
#endif

Kind regards,
Werner Henze