strange template problem.

[Gary li]

Hi.all
look coding as below please:
class A
{
public:
template<class Tcreate(){return new T;}
};
int main()
{
A a;
int *n = a.create<int>();
delete n;
return 0;
};
compiling is fail with vc6 but successful with g++ under linux.

[Rickfjord]

Gary li wrote:

Hi.all
look coding as below please:
class A
{
public:
template<class Tcreate(){return new T;}
};
int main()
{
A a;
int *n = a.create<int>();
delete n;
return 0;
};
compiling is fail with vc6 but successful with g++ under linux.

Hi Gary,

Did you declare "using namespace std;"? Otherwise the compiler might
not know where to find the template class. This might be handled
differently in G++ than in Microsoft's compiler. This would explain why
the results are different using different compilers.

Hope this helps,

[John Carson]

"Gary li" <li*************@sina.comwrote in message
news:11*********************@m79g2000cwm.googlegro ups.com

Hi.all
look coding as below please:
class A
{
public:
template<class Tcreate(){return new T;}
};
int main()
{
A a;
int *n = a.create<int>();
delete n;
return 0;
};
compiling is fail with vc6 but successful with g++ under linux.

You haven't specified a return type for your create() function, so it should
not compile anywhere.

Perhaps the above code is not your actual code. Always copy and paste into
your post, never retype since retyping has a high risk of error.

Adding a return type of T* and removing the spurious ; after main() will get
the code to compile on any Standard compliant compiler. It won't compile on
VC++ 6 because VC++ 6 has major compliance problems in the area of
templates.

--
John Carson

[Gary li]

If I move template function out of class it can compile ok.
template<class TT* create(){return new T;}
int main()
{
int * n = create<int>();
printf("%d\n", *n);
delete n;
return 0;
}

Gary li wrote:

Hi.all
look coding as below please:
class A
{
public:
template<class Tcreate(){return new T;}
};
int main()
{
A a;
int *n = a.create<int>();
delete n;
return 0;
};
compiling is fail with vc6 but successful with g++ under linux.

[Ron Natalie]

John Carson wrote:

Adding a return type of T* and removing the spurious ; after main() will get
the code to compile on any Standard compliant compiler. It won't compile on
VC++ 6 because VC++ 6 has major compliance problems in the area of
templates.

Specifically in this case there is a bug in Visual Studio's
implementation when it comes to function definitions that
do not have some variant of the template variable in their
signature (and hence the decoration) and it substitutes the
same instantiation of the template for all cases. The VC6
workaround is to add a dummy arg:

template<class TT* create(T* dummy = 0) { ... }

[John Carson]

"Ron Natalie" <ro*@spamcop.netwrote in message
news:44***********************@news.newshosting.co m

John Carson wrote:

>Adding a return type of T* and removing the spurious ; after main()
will get the code to compile on any Standard compliant compiler. It
won't compile on VC++ 6 because VC++ 6 has major compliance problems
in the area of templates.

Specifically in this case there is a bug in Visual Studio's
implementation when it comes to function definitions that
do not have some variant of the template variable in their
signature (and hence the decoration) and it substitutes the
same instantiation of the template for all cases. The VC6
workaround is to add a dummy arg:

template<class TT* create(T* dummy = 0) { ... }

That still won't compile.

This will, but it is a pain in the neck:

class A
{
public:
template<class T>
T* create(T* dummy){return new T;}
};

int main()
{
A a;
int *n = a.create((int*)0);
delete n;
return 0;
}

Note that it won't compile if you change

int *n = a.create((int*)0);

to

int *n = a.create<int>((int*)0);

--
John Carson

[Victor Bazarov]

John Carson wrote:

[..]
class A
{
public:
template<class T>
T* create(T* dummy){return new T;}
};

int main()
{
A a;
int *n = a.create((int*)0);
delete n;
return 0;
}

Note that it won't compile if you change

int *n = a.create((int*)0);

to

int *n = a.create<int>((int*)0);

Really? It won't? It does, though. When will it stop?

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[John Carson]

"Victor Bazarov" <v.********@comAcast.netwrote in message
news:eb**********@news.datemas.de

John Carson wrote:

>[..]
class A
{
public:
template<class T>
T* create(T* dummy){return new T;}
};

int main()
{
A a;
int *n = a.create((int*)0);
delete n;
return 0;
}

Note that it won't compile if you change

int *n = a.create((int*)0);

to

int *n = a.create<int>((int*)0);

Really? It won't? It does, though. When will it stop?

It doesn't compile for me. Remembering our last disagreement on whether
something would compile, I have also tried disabling language extensions,
but it makes no difference.

--
John Carson

[Victor Bazarov]

John Carson wrote:

"Victor Bazarov" <v.********@comAcast.netwrote in message
news:eb**********@news.datemas.de

>John Carson wrote:

>>[..]
class A
{
public:
template<class T>
T* create(T* dummy){return new T;}
};

int main()
{
A a;
int *n = a.create((int*)0);
delete n;
return 0;
}

Note that it won't compile if you change

int *n = a.create((int*)0);

to

int *n = a.create<int>((int*)0);

Really? It won't? It does, though. When will it stop?

It doesn't compile for me. Remembering our last disagreement on
whether something would compile, I have also tried disabling language
extensions, but it makes no difference.

What compiler? Comeau online accepts it fine.

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[John Carson]

"Victor Bazarov" <v.********@comAcast.netwrote in message
news:eb**********@news.datemas.de

John Carson wrote:

>"Victor Bazarov" <v.********@comAcast.netwrote in message
news:eb**********@news.datemas.de

>>John Carson wrote:
[..]
class A
{
public:
template<class T>
T* create(T* dummy){return new T;}
};

int main()
{
A a;
int *n = a.create((int*)0);
delete n;
return 0;
}

Note that it won't compile if you change

int *n = a.create((int*)0);

to

int *n = a.create<int>((int*)0);

Really? It won't? It does, though. When will it stop?

It doesn't compile for me. Remembering our last disagreement on
whether something would compile, I have also tried disabling language
extensions, but it makes no difference.

What compiler? Comeau online accepts it fine.

Refer to the post to which you first replied. We are talking about VC++ 6.

--
John Carson

[Thomas Tutone]

Rickfjord wrote:

Gary li wrote:

Hi.all
look coding as below please:
class A
{
public:
template<class Tcreate(){return new T;}
};
int main()
{
A a;
int *n = a.create<int>();
delete n;
return 0;
};
compiling is fail with vc6 but successful with g++ under linux.

Hi Gary,

Did you declare "using namespace std;"?

The example program uses nothing from namespace std, so including that
is both unnecessary and a bad habit to get into.

Otherwise the compiler might
not know where to find the template class.

Not true. The template class isn't in namespace std.

Best regards,

Tom

[Victor Bazarov]

John Carson wrote:

[..]
Refer to the post to which you first replied. We are talking about
VC++ 6.

Oh... Truly sorry about that. No, seriously, I am truly sorry for
anybody who has to use such an old and crappy compiler.