VC.Net, VC7 bug: static member templates

Carl Danie
#1 / 5

VC7 bug: static member templates

The following code does not compile under VC7, it should.

class X
{
public:
template <typename T>
static void f(int) { }

typedef void (*pf)(int);

void g(pf) {};

void h()
{
g(f<int>); // 1
}

Quote:

};

VC7 complains (at //1) that f<int> cannot be converted to X::pf (aka void
(*)(int)), which it clearly can be. Apparently VC7 ignores the static
keyword when used with a member template function - a combination which
should be legal according to the standard.

-cd

Tue, 17 Aug 2004 05:30:18 GMT

Massimo Pascaz
#2 / 5

VC7 bug: static member templates

Quote:

> class X
> {
> public:
> template <typename T>
> static void f(int) { }

> typedef void (*pf)(int);

> void g(pf) {};

> void h()
> {
> g(f<int>); // 1
> }
> };

Comeau and Sun Workshop both compile this with out any problems. Looks
like another bug.

Tue, 17 Aug 2004 05:41:42 GMT

Jonathan Caves [MSFT
#3 / 5

VC7 bug: static member templates

Carl: this is a bug in the Visual C++ 7.0 compiler. I have added it to our
bug database and we will endeavor to have it fixed in the next release.

Thanks for taking the time to report this issue.

--
Jonathan Caves
Microsoft Corporation

This posting is provided "AS IS" with no warranties, and confers no rights.

Quote:

> The following code does not compile under VC7, it should.

> class X
> {
> public:
> template <typename T>
> static void f(int) { }

> typedef void (*pf)(int);

> void g(pf) {};

> void h()
> {
> g(f<int>); // 1
> }
> };

> VC7 complains (at //1) that f<int> cannot be converted to X::pf (aka void
> (*)(int)), which it clearly can be. Apparently VC7 ignores the static
> keyword when used with a member template function - a combination which
> should be legal according to the standard.

> -cd

Tue, 17 Aug 2004 06:03:07 GMT

Carl Danie
#4 / 5

VC7 bug: static member templates

Quote:

> Carl: this is a bug in the Visual C++ 7.0 compiler. I have added it to our
> bug database and we will endeavor to have it fixed in the next release.

That's all I can ask :)

Quote:

> Thanks for taking the time to report this issue.

Anytime. Thanks for taking the time to record it. The only thing worse
than bugs is bugs that don't get fixed 'cause no one bothered to report
them.

-cd

Tue, 17 Aug 2004 06:12:21 GMT

Andre Breme
#5 / 5

VC7 bug: static member templates

It gets better when you explicitly write g(X::f<i>):

fatal error C1001: INTERNAL COMPILER ERROR
(compiler file 'f:\vs70builds\9466\vc\Compiler\CxxFE\sl\p1\Cxx\grammar.y',
line 9326)

Quote:

> The following code does not compile under VC7, it should.

> class X
> {
> public:
> template <typename T>
> static void f(int) { }

> typedef void (*pf)(int);

> void g(pf) {};

> void h()
> {
> g(f<int>); // 1
> }
> };

> VC7 complains (at //1) that f<int> cannot be converted to X::pf (aka void
> (*)(int)), which it clearly can be. Apparently VC7 ignores the static
> keyword when used with a member template function - a combination which
> should be legal according to the standard.

> -cd

Tue, 17 Aug 2004 07:19:46 GMT