public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/55136] New: template class member template explicit instanciation fails if non template overload exists
@ 2012-10-30 10:56 frrrwww at gmail dot com
2012-10-30 12:22 ` [Bug c++/55136] template class member template explicit instantiation " redi at gcc dot gnu.org
2014-06-26 15:23 ` paolo.carlini at oracle dot com
0 siblings, 2 replies; 3+ messages in thread
From: frrrwww at gmail dot com @ 2012-10-30 10:56 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55136
Bug #: 55136
Summary: template class member template explicit instanciation
fails if non template overload exists
Classification: Unclassified
Product: gcc
Version: 4.7.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: frrrwww@gmail.com
this code:
template <typename T1>
struct A {
void f(int) {}
template<typename T2> void f(T2) {}
};
template void A<int>::f<int>(int);
fails with:
test2.cpp:6:15: error: ambiguous template specialization ‘f<int>’ for ‘void
A<int>::f(int)’
test2.cpp:3:10: error: candidates are: void A<T1>::f(int) [with T1 = int]
test2.cpp:4:32: error: template<class T2> void A::f(T2) [with
T2 = T2; T1 = int]
The instanciation should not be ambiguous as the '<int>' should exclude the non
template f.
Note that:
template <typename T1>
struct A {
void f(int) {}
template<typename T2> void f(T2) {}
};
template void A<int>::f(int);
fails as well, but I am not sufficiently standard savy to tell if this is
compliant behaviour.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/55136] template class member template explicit instantiation fails if non template overload exists
2012-10-30 10:56 [Bug c++/55136] New: template class member template explicit instanciation fails if non template overload exists frrrwww at gmail dot com
@ 2012-10-30 12:22 ` redi at gcc dot gnu.org
2014-06-26 15:23 ` paolo.carlini at oracle dot com
1 sibling, 0 replies; 3+ messages in thread
From: redi at gcc dot gnu.org @ 2012-10-30 12:22 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55136
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |rejects-valid
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-10-30
Ever Confirmed|0 |1
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/55136] template class member template explicit instantiation fails if non template overload exists
2012-10-30 10:56 [Bug c++/55136] New: template class member template explicit instanciation fails if non template overload exists frrrwww at gmail dot com
2012-10-30 12:22 ` [Bug c++/55136] template class member template explicit instantiation " redi at gcc dot gnu.org
@ 2014-06-26 15:23 ` paolo.carlini at oracle dot com
1 sibling, 0 replies; 3+ messages in thread
From: paolo.carlini at oracle dot com @ 2014-06-26 15:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55136
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Closely related to PR39270.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2014-06-26 15:23 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-10-30 10:56 [Bug c++/55136] New: template class member template explicit instanciation fails if non template overload exists frrrwww at gmail dot com
2012-10-30 12:22 ` [Bug c++/55136] template class member template explicit instantiation " redi at gcc dot gnu.org
2014-06-26 15:23 ` paolo.carlini at oracle dot com
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).