Re: c++/7368: std::vector<void const* const>

Re: c++/7368: std::vector<void const* const>

[Gabriel Dos Reis]

The following reply was made to PR c++/7368; it has been noted by GNATS.

From: Gabriel Dos Reis <gdr@codesourcery.com>
To: vincent.lascaux@ifrance.com
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c++/7368: std::vector<void const* const>
Date: 21 Jul 2002 20:07:55 +0200

 vincent.lascaux@ifrance.com writes:
 
 [...]
 
 | The following code wont compile
 
 Your program is invalid: You can't instantiate a standard container
 with a non-Assignable object type and expect any meaningful behaviour.
 
 -- Gaby

Re: c++/7368: std::vector<void const* const>

[Phil Edwards]

The following reply was made to PR c++/7368; it has been noted by GNATS.

From: Phil Edwards <phil@jaj.com>
To: vincent.lascaux@ifrance.com
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c++/7368: std::vector<void const* const>
Date: Sun, 21 Jul 2002 20:18:44 -0400

 On Sun, Jul 21, 2002 at 05:17:19PM -0000, vincent.lascaux@ifrance.com wrote:
 > 
 > #include <vector>
 > int main { std::vector<void const* const> Foo;}
 
 Gabriel is correct; this is incorrect code.  Apart from the missing ()'s after
 main, which I assume was just a typo in the bug report, you are instantiating
 std::vector with a type that does not meet the requirements.  In particular,
 it cannot be copied or assigned to.
 
 If you configure with --enable-concept-checks, or compile with
 -D_GLIBCPP_CONCEPT_CHECKS, you will see additional errors because of the unmet
 requirements.
 
 
 Phil
 
 -- 
 If ye love wealth greater than liberty, the tranquility of servitude greater
 than the animating contest for freedom, go home and leave us in peace.  We seek
 not your counsel, nor your arms.  Crouch down and lick the hand that feeds you;
 and may posterity forget that ye were our countrymen.            - Samuel Adams

Re: c++/7368: std::vector<void const* const>

[gdr]

Synopsis: std::vector<void const* const>

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Sun Jul 21 11:11:23 2002
Responsible-Changed-Why:
    Analyzed.
State-Changed-From-To: open->closed
State-Changed-By: gdr
State-Changed-When: Sun Jul 21 11:11:23 2002
State-Changed-Why:
    Not a bug.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7368

c++/7368: std::vector<void const* const>

[vincent.lascaux]

>Number:         7368
>Category:       c++
>Synopsis:       std::vector<void const* const>
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Jul 21 10:26:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Vincent Lascaux
>Release:        gcc version 3.1
>Organization:
>Environment:
winXP
>Description:
The following code wont compile

#include <vector>
int main { std::vector<void const* const> Foo;}

The error is rather large, begins with :
bits/stl_alloc.h: In instantiation of `std::allocator<const void* const>':

main.cpp:5:   instantiated from here
/bits/stl_alloc.h:636: `const _Tp* 
   std::allocator<_Alloc>::address(const _Tp&) const [with _Tp = const void* 
   const]' has already been declared in `std::allocator<const void* const>'
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: