[Bug libstdc++/14926] New: libstdc++ rejects forward declarations.

[Bug libstdc++/14926] New: libstdc++ rejects forward declarations.

[vassili_bourdo at softhome dot net]

the code:

namespace std 
{
	template<class,class> class vector;//forward declaration
}

#include <vector>

int main()
{
	std::vector<int> v;
	return 0;
}

causes following compile-time error:

bug.cxx:2: error:   first declared as `template<class, class> struct 
std::vector' here
d:/tools/gcc/include/c++/3.4.0/bits/stl_vector.h:141: error:   also declared as 
`template<class _Tp, class _Alloc> class __gnu_norm::vector' here
bug.cxx:9: error: use of `vector' is ambiguous

-- 
           Summary: libstdc++ rejects forward declarations.
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: libstdc++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: vassili_bourdo at softhome dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug libstdc++/14926] libstdc++ rejects forward declarations.

[vassili_bourdo at softhome dot net]

------- Additional Comments From vassili_bourdo at softhome dot net  2004-04-12 17:48 -------
Created an attachment (id=6078)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6078&action=view)
Test case #1


-- 


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

[Bug libstdc++/14926] libstdc++ rejects forward declarations.

[vassili_bourdo at softhome dot net]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |3.3.3


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

[Bug libstdc++/14926] libstdc++ rejects forward declarations.

[vassili_bourdo at softhome dot net]

------- Additional Comments From vassili_bourdo at softhome dot net  2004-04-12 17:53 -------
I believe this bug is related to __attribute__((strong)) introduced in 3.4.0 
and PR #13659

-- 


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

[Bug c++/14926] [3.4/3.4 regression] forward declarations and strong using

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-12 17:57 -------
Confirmed, an interesting side-effect of the strong-using extension in 
gcc. I guess Jason would be the right person? 
 
In any case, this is a regression in 3.4 and mainline over all previous 
versions. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu dot org
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
          Component|libstdc++                   |c++
     Ever Confirmed|                            |1
      Known to fail|                            |3.4.0 3.5.0
   Last reconfirmed|0000-00-00 00:00:00         |2004-04-12 17:57:49
               date|                            |
            Summary|libstdc++ rejects forward   |[3.4/3.4 regression] forward
                   |declarations.               |declarations and strong
                   |                            |using
   Target Milestone|---                         |3.4.1


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

[Bug c++/14926] [3.4/3.5 regression] forward declarations and strong using

[pcarlini at suse dot de]

------- Additional Comments From pcarlini at suse dot de  2004-04-12 18:03 -------
Isn't this a duplicate of libstdc++/14370 (INVALID) ??

-- 


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

[Bug c++/14926] [3.4/3.5 regression] forward declarations and strong using

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-04-12 18:37 -------
Subject: Re:  New: libstdc++ rejects forward declarations.

"vassili_bourdo at softhome dot net" <gcc-bugzilla@gcc.gnu.org> writes:

| the code:
| 
| namespace std 
| {
| 	template<class,class> class vector;//forward declaration

This is invoking undefined behaviour.


-- 


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

[Bug c++/14926] [3.4/3.5 regression] forward declarations and strong using

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-04-12 18:43 -------
Subject: Re:  [3.4/3.5 regression] forward declarations and strong using

"pcarlini at suse dot de" <gcc-bugzilla@gcc.gnu.org> writes:

| Isn't this a duplicate of libstdc++/14370 (INVALID) ??

It is.  (It is good to know someone remembers the PR ids :-))



-- 


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

[Bug c++/14926] [3.4/3.5 regression] forward declarations and strong using

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-04-12 18:42 -------
Subject: Re:  libstdc++ rejects forward declarations.

"vassili_bourdo at softhome dot net" <gcc-bugzilla@gcc.gnu.org> writes:

| I believe this bug is related to __attribute__((strong)) introduced in 3.4.0 
| and PR #13659

It is not a bug, it is a feature.
It never has been valid for users to forward declare primary templates
in std::.

-- Gaby


-- 


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

[Bug libstdc++/14926] [3.4/3.5 regression] forward declarations and strong using

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-12 19:03 -------
Alright then. I thought that this is something we should think about 
for the C++ side (not the libstdc++ side) regarding the semantics we 
give the strong using extension. However, you are right that we do 
not have to worry about this: as far as the library is concerned, the 
user can't rely on forward declaring stuff anyway (we are, IIRC, allowed 
to introduce additional template default parameters for example), and if 
this happens in user space with a user using "strong using", we can simply 
tell him to forward declare in the right namespace. 
 
W. 

*** This bug has been marked as a duplicate of 14370 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
          Component|c++                         |libstdc++
         Resolution|                            |DUPLICATE


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

[Bug libstdc++/14926] [3.4/3.5 regression] forward declarations and strong using

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-04-12 19:48 -------
Subject: Re:  [3.4/3.5 regression] forward declarations and strong using

"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| ------- Additional Comments From bangerth at dealii dot org  2004-04-12 19:03 -------
| Alright then. I thought that this is something we should think about 
| for the C++ side (not the libstdc++ side) regarding the semantics we 
| give the strong using extension. However, you are right that we do 
| not have to worry about this: as far as the library is concerned, the 
| user can't rely on forward declaring stuff anyway (we are, IIRC, allowed 
| to introduce additional template default parameters for example), and if 

Err, we're not allowed to introduce additional default template
parameters (contrary to what the latitude parameters for non virtual
member functions) 

| this happens in user space with a user using "strong using", we can simply 
| tell him to forward declare in the right namespace. 

Yes, "strong using" is for the super user :-)

-- Gaby


-- 


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

[Bug libstdc++/14926] [3.4/3.5 regression] forward declarations and strong using

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-12 20:00 -------
I was under the impression that an implementation was allowed to declare 
(for example) its vector class as 
  template <typename T, typename Allocator = alloc<something>, 
            typename additional_parameter=something > 
  class vector {...}; 
and that this was the reason to make forward declarations of classes in 
namespace std:: undefined. I may be wrong, though. It doesn't also matter 
here. 
 
W. 

-- 


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

Re: [Bug libstdc++/14926] [3.4/3.5 regression] forward declarations and strong using

[llewelly]

"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:

> ------- Additional Comments From bangerth at dealii dot org  2004-04-12 20:00 -------
> I was under the impression that an implementation was allowed to declare 
> (for example) its vector class as 
>   template <typename T, typename Allocator = alloc<something>, 
>             typename additional_parameter=something > 
>   class vector {...}; 
> and that this was the reason to make forward declarations of classes in 
> namespace std:: undefined. I may be wrong, though. It doesn't also matter 
> here. 

http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/lwg-closed.html#94
explains why additional template parameters are not allowed.

[Bug libstdc++/14926] [3.4/3.5 regression] forward declarations and strong using

[llewelly at xmission dot com]

------- Additional Comments From llewelly at xmission dot com  2004-04-12 21:52 -------
Subject: Re:  [3.4/3.5 regression] forward declarations and strong using

"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:

> ------- Additional Comments From bangerth at dealii dot org  2004-04-12 20:00 -------
> I was under the impression that an implementation was allowed to declare 
> (for example) its vector class as 
>   template <typename T, typename Allocator = alloc<something>, 
>             typename additional_parameter=something > 
>   class vector {...}; 
> and that this was the reason to make forward declarations of classes in 
> namespace std:: undefined. I may be wrong, though. It doesn't also matter 
> here. 

http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/lwg-closed.html#94
explains why additional template parameters are not allowed.


-- 


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

[Bug libstdc++/14926] [3.4/3.5 regression] forward declarations and strong using

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-12 22:11 -------
Ah, thanks for the pointer. I am around too long, so the original discussion 
was still sticking in my head as there was a time when things like  
additional template parameters could happen to you... 
 
W. 

-- 


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