constant vector

[Alvin]

Hello,

I have been experimenting with std::vector. Say I wanted to create a vector
of integers but do not want the vector to change in size or capacity. In
otherwords, it has a fixed number of elements.

To do this I declared a vector of 4 integers as:

const vector<int> pool(4);

Now, to set values of the integers I had to use const_cast as in:

for(int i = 0; i < pool.size(); i++)
{
int *n = const_cast<int*>(&pool[i]);

*n = 50+i;
}

This will make the vector contain the numbers: 50, 51, 52, 53.

The reason for the making the vector 'const' is so that a compiler will flag
an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Ignoring the practicality of this trivial example, is this valid?

--
Alvin

[David Harmon]

On Thu, 05 May 2005 18:53:07 GMT in comp.lang.c++, Alvin
<reply@in_newsgroup.ca> wrote,

const vector<int> pool(4); .... int *n = const_cast<int*>(&pool[i]); ....Ignoring the practicality of this trivial example, is this valid?

No. When you declare the vector const, the compiler is free to
implement it in such a way that modifying it after it is constructed
may not work.

Use one of the vector constructors that fully initializes it in the
form you want at the time of construction; or build a not-const vector
and create a const reference to it for public use.

[Victor Bazarov]

Alvin wrote:

I have been experimenting with std::vector. Say I wanted to create a vector
of integers but do not want the vector to change in size or capacity. In
otherwords, it has a fixed number of elements.

To do this I declared a vector of 4 integers as:

const vector<int> pool(4);

Now, to set values of the integers I had to use const_cast as in:

for(int i = 0; i < pool.size(); i++)
{
int *n = const_cast<int*>(&pool[i]);

*n = 50+i;
}

This will make the vector contain the numbers: 50, 51, 52, 53.

The reason for the making the vector 'const' is so that a compiler will flag
an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Ignoring the practicality of this trivial example, is this valid?

It's probably valid. 'std::vector' allocates its contents from free store
and thus should have no particular issue with const_cast. However, if I
were to implement a vector with constant size, I'd probably wrapped the
'std::vector' in my own interface that would not have size-changing ops
available instead of declaring the vector 'const' and then tweaking it
using 'const_cast'...

V

[Alf P. Steinbach]

* Alvin:

I have been experimenting with std::vector. Say I wanted to create a vector
of integers but do not want the vector to change in size or capacity. In
otherwords, it has a fixed number of elements.

To do this I declared a vector of 4 integers as:

const vector<int> pool(4);

Now, to set values of the integers I had to use const_cast as in:

for(int i = 0; i < pool.size(); i++)
{
int *n = const_cast<int*>(&pool[i]);

*n = 50+i;
}

This will make the vector contain the numbers: 50, 51, 52, 53.

The reason for the making the vector 'const' is so that a compiler will flag
an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Ignoring the practicality of this trivial example, is this valid?

No.

You can only (formally) cast away const for something that wasn't const
in the first place.

The simplest way to do the above is to write a function that returns a vector
which you can then use as initializer, or to use a function or functor class
instead of a vector.

More advanced, you can write an iterator class and use that to initialize the
vector.

More advanced still, you can generalize that iterator class to iterate using
any client code function or functor class to provide the values.

--
A: Because it messes up the order in which people normally read text.
Q: Why is it such a bad thing?
A: Top-posting.
Q: What is the most annoying thing on usenet and in e-mail?

[Pete Becker]

Victor Bazarov wrote:

However, if I
were to implement a vector with constant size,

Or, if you had an implementation of TR1, you could use std::tr1::array.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

[__PPS__]

or if you don't, use boost.array. It is the same as std::tr1:array,
AFAIK

[Abecedarian]

Alvin wrote:

The reason for the making the vector 'const' is so that a compiler will flag an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Why don't you write a small wrapper over std::vector that implements
the behavior you want?

::A::

[Alvin]

Alvin wrote:

Hello,

I have been experimenting with std::vector. Say I wanted to create a
vector of integers but do not want the vector to change in size or
capacity. In otherwords, it has a fixed number of elements.

To do this I declared a vector of 4 integers as:

const vector<int> pool(4);

Now, to set values of the integers I had to use const_cast as in:

for(int i = 0; i < pool.size(); i++)
{
int *n = const_cast<int*>(&pool[i]);

*n = 50+i;
}

This will make the vector contain the numbers: 50, 51, 52, 53.

The reason for the making the vector 'const' is so that a compiler will
flag an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Ignoring the practicality of this trivial example, is this valid?

Thank you everyone for your comments. Looks like the proper solution would
be to create a wrapper around std::vector that exposes only the desired
methods. But I will look into the boost::array and see what that offers.
Actually, I know very little about Boost, but it seems like a very
promising extension.

Alvin

[Default User]

__PPS__ wrote:

or if you don't, use boost.array. It is the same as std::tr1:array,
AFAIK

Please quote enough of the previous message to provide context for your
replies. To do so using the Google interface, click on "show options"
and use the Reply shown in the expanded header.


Brian

[Ivan Vecerina]

"Alvin" <reply@in_newsgroup.ca> wrote in message
news:nYtee.23786$0X6.18877@edtnps90...

I have been experimenting with std::vector. Say I wanted to create a
vector
of integers but do not want the vector to change in size or capacity. In
otherwords, it has a fixed number of elements.

To do this I declared a vector of 4 integers as:

const vector<int> pool(4);

Now, to set values of the integers I had to use const_cast as in:

for(int i = 0; i < pool.size(); i++)
{
int *n = const_cast<int*>(&pool[i]);

*n = 50+i;
} Poor choice IMO, and in theory could lead to undefined behavior
(e.g. an std::vector could implement something similar to the
small string optimization used by some std::string implementations).
The reason for the making the vector 'const' is so that a compiler will
flag
an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Ignoring the practicality of this trivial example, is this valid?

Better options would be to:
a) create a function that returns the vector
b) initialize the vector from an array

Here's an example for b):
int data[4] = { 50,51,52,53 };
const vector<int> pool( data, data+4 );
Ivan
--
http://ivan.vecerina.com/contact/?subject=NG_POST <- email contact form
Brainbench MVP for C++ <> http://www.brainbench.com

[__PPS__]

Better options would be to:
a) create a function that returns the vector
b) initialize the vector from an array

Here's an example for b):
int data[4] = { 50,51,52,53 };
const vector<int> pool( data, data+4 );
Ivan
--

boost::array<int, 4> pool = {50,51,52,53};

??

[Ivan Vecerina]

"__PPS__" <bl******@mail.ru> wrote in message
news:11*********************@o13g2000cwo.googlegro ups.com...

Better options would be to:
a) create a function that returns the vector
b) initialize the vector from an array

Here's an example for b):
int data[4] = { 50,51,52,53 };
const vector<int> pool( data, data+4 );

boost::array<int, 4> pool = {50,51,52,53};

Sure, but this is pretty much the equivalent of
the first code line above.
It doesn't replace the second line if it is a
vector<int> that is then actually required.

Ivan
--
http://ivan.vecerina.com/contact/?subject=NG_POST <- email contact form

[__PPS__]

Ivan Vecerina wrote:

"__PPS__" <bl******@mail.ru> wrote in message
news:11*********************@o13g2000cwo.googlegro ups.com...

Better options would be to:
a) create a function that returns the vector
b) initialize the vector from an array

Here's an example for b):
int data[4] = { 50,51,52,53 };
const vector<int> pool( data, data+4 );

boost::array<int, 4> pool = {50,51,52,53};

Sure, but this is pretty much the equivalent of
the first code line above.
It doesn't replace the second line if it is a
vector<int> that is then actually required.

Yes it looks like the first line of code; Yes it doesn't replace the
second line - you just don't need it anymore. It creates a constant
size array of 4 integers.

[Ioannis Vranos]

Alvin wrote:

Hello,
I have been experimenting with std::vector. Say I wanted to create a vector
of integers but do not want the vector to change in size or capacity. In
otherwords, it has a fixed number of elements.

To do this I declared a vector of 4 integers as:

const vector<int> pool(4);

Now, to set values of the integers I had to use const_cast as in:

for(int i = 0; i < pool.size(); i++)
{
int *n = const_cast<int*>(&pool[i]);

*n = 50+i;
}

This will make the vector contain the numbers: 50, 51, 52, 53.

The reason for the making the vector 'const' is so that a compiler will flag
an error if the vector is modified. For example, this will produce a
compiler error (I want this error to occur):

pool.push_back(9);

Ignoring the practicality of this trivial example, is this valid?

const vector creates indeed a const vector (it can;t be modified). If you want to remove
its constness you can do:
#include <vector>

int main()
{
using namespace std;

const vector<int> pool(4);

//...

vector<int> *pvec= const_cast<vector<int> *>(&pool);
for(vector<int>::size_type i = 0; i < pool.size(); ++i)
(*pvec)[i] = 50+i;
}

However this is tricky, and I think it is undefined behaviour for an object originally
declared as const (I think it is about to be used for originally non-const objects, from
inside a function with const arguments for example).


--
Ioannis Vranos

http://www23.brinkster.com/noicys

[__PPS__]

all this casting constness away is a bad decision - probably the
original author should reconsider if it must be const vector (or better
boost::array) at all.
don't do things like this, you cannot write/modify into const obects by
casting away constness - it leads to undefined behavior. As someone
already noted, compilers are free to optimize const objects in some
way, so that it could be impossible to modify objects...
http://www.google.ca/search?hl=en&q=...e+Search&meta=

"..Depending on the type of the referenced object, a write operation
through the resulting pointer, reference, or pointer to data member
might produce undefined behavior."

[Ivan Vecerina]

"__PPS__" <bl******@mail.ru> wrote in message
news:11*********************@f14g2000cwb.googlegro ups.com...

Ivan Vecerina wrote:

"__PPS__" <bl******@mail.ru> wrote in message
news:11*********************@o13g2000cwo.googlegro ups.com...

>
>> Better options would be to:
>> a) create a function that returns the vector
>> b) initialize the vector from an array
>>
>> Here's an example for b):
>> int data[4] = { 50,51,52,53 };
>> const vector<int> pool( data, data+4 );
>
> boost::array<int, 4> pool = {50,51,52,53};

Sure, but this is pretty much the equivalent of
the first code line above.
It doesn't replace the second line if it is a
vector<int> that is then actually required.

Yes it looks like the first line of code; Yes it doesn't replace the
second line - you just don't need it anymore. It creates a constant
size array of 4 integers.

Same for: int data[4];

I am fully aware of the advantages of boost::array
over C-style array, but I do not think that they
are relevant in the context of the OP question.
--
http://ivan.vecerina.com/contact/?subject=NG_POST <- email contact form