assignment of const class members



 DEVELOP > c-Plus-Plus > assignment of const class members

LINK TO THIS PAGE  


rating :  0   |  0


  Page 1 of 1

1

 
Topic: DEVELOP > c-Plus-Plus
User: ""
Date: 21 Dec 2007 02:38:33 AM
Object: assignment of const class members
hi,
it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.
summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here
code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }
full compile error:
-------------------------
[16:34]:Macintosh:tmp 7+ g++ cpp.C
cpp.C: In member function 'A& A::operator=(const A&)':
cpp.C:4: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = A,
_Alloc = std::allocator<A>]'
cpp.C:12: instantiated from here
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here
.

User: "Kira Yamato"

Title: Re: assignment of const class members 21 Dec 2007 03:47:23 AM
On 2007-12-21 03:38:33 -0500,
said:

hi,

it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.

summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here

code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }

You have a number of problems with this code.
First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.
Second, std::vector will then try to assign A(2) to one of the
available entry in the newly allocated array. Unfortunately, you did
not provide an assignment operator, so the default one kicks in.
Furthermore unfortunate, the default assignment operator tries to copy
the const member u, and you cannot change const members. This is the
error message you are seeing below.



full compile error:
-------------------------
[16:34]:Macintosh:tmp 7+ g++ cpp.C
cpp.C: In member function 'A& A::operator=(const A&)':
cpp.C:4: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = A,
_Alloc = std::allocator<A>]'
cpp.C:12: instantiated from here
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here

--
-kira
.
User: "Salt_Peter"

Title: Re: assignment of const class members 21 Dec 2007 10:46:31 AM
On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:



hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.

First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.

There is no array, he's trying to copy into the empty vector a single
element.
if he had written the following:
std::vector<A> y(10);
only then would a default ctor be required.


Second, std::vector will then try to assign A(2) to one of the
available entry in the newly allocated array. Unfortunately, you did
not provide an assignment operator, so the default one kicks in.
Furthermore unfortunate, the default assignment operator tries to copy
the const member u, and you cannot change const members. This is the
error message you are seeing below.




full compile error:
-------------------------
[16:34]:Macintosh:tmp 7+ g++ cpp.C
cpp.C: In member function 'A& A::operator=(const A&)':
cpp.C:4: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = A,
_Alloc = std::allocator<A>]'
cpp.C:12: instantiated from here
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


--

-kira

.
User: "Kira Yamato"

Title: Re: assignment of const class members 21 Dec 2007 05:18:52 PM
On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_hern@yahoo.com> said:

On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:



hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.

First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a single
element.

Preciously. So, before line (12) can assign the element A(2) into
std::vector, the program must invoke code to allocate an array first.
How else will std::vector<A> store A(12)?

if he had written the following:
std::vector<A> y(10);
only then would a default ctor be required.


Second, std::vector will then try to assign A(2) to one of the
available entry in the newly allocated array. Unfortunately, you did
not provide an assignment operator, so the default one kicks in.
Furthermore unfortunate, the default assignment operator tries to copy
the const member u, and you cannot change const members. This is the
error message you are seeing below.







full compile error:
-------------------------
[16:34]:Macintosh:tmp 7+ g++ cpp.C
cpp.C: In member function 'A& A::operator=(const A&)':
cpp.C:4: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = A,
_Alloc = std::allocator<A>]'
cpp.C:12: instantiated from here
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
A, _Alloc = std::allocator<A>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


--

-kira

--
-kira
.
User: "Salt_Peter"

Title: Re: assignment of const class members 21 Dec 2007 07:05:00 PM
On Dec 21, 6:18 pm, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_h...@yahoo.com> said:



On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:


hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.


First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a single
element.


Preciously. So, before line (12) can assign the element A(2) into
std::vector, the program must invoke code to allocate an array first.

How else will std::vector<A> store A(12)?

There is no array in an empty vector. The vector is empty.
pushing back a parametized element requires no default construction
either.
As i already mentioned, to have a vector invoke a default ctor you
would have to tell it to do so.
std::vector< A > v; // does not invoke any of A's ctors
std::vector< A > v(10); // invokes A's default ctor + 10 copies
A vector is not an array.
Here is the proof:
#include <iostream>
#include <vector>
class A
{
int m_n;
public:
A() : m_n(0) { std::cout << "A()\n"; }
A(int n) : m_n(n) { std::cout << "A(int)\n"; }
A(const A& copy)
{
std::cout << "A(const A& copy)\n";
m_n = copy.m_n;
}
};
int main()
{
std::cout << "declaring an empty std::vector:\n";
std::vector< A > v;
std::cout << "v.size() = " << v.size() << std::endl;
std::cout << "pushing an element:\n";
v.push_back( A(99) );
std::cout << "v.size() = " << v.size() << std::endl;
std::cout << "default constructing 10 elements:\n";
std::vector< A > v2(10);
std::cout << "v2.size() = " << v2.size() << std::endl;
}
/*
declaring an empty std::vector:
v.size() = 0
pushing an element:
A(int)
A(const A& copy)
v.size() = 1
default constructing 10 elements:
A()
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
v2.size() = 10
*/
.
User: "Kira Yamato"

Title: Re: assignment of const class members 21 Dec 2007 07:47:44 PM
On 2007-12-21 20:05:00 -0500, Salt_Peter <pj_hern@yahoo.com> said:

On Dec 21, 6:18 pm, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_h...@yahoo.com> said:



On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:


hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.


First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a single
element.


Preciously. So, before line (12) can assign the element A(2) into
std::vector, the program must invoke code to allocate an array first.

How else will std::vector<A> store A(12)?


There is no array in an empty vector. The vector is empty.
pushing back a parametized element requires no default construction
either.
As i already mentioned, to have a vector invoke a default ctor you
would have to tell it to do so.

std::vector< A > v; // does not invoke any of A's ctors

std::vector< A > v(10); // invokes A's default ctor + 10 copies

A vector is not an array.
Here is the proof:

#include <iostream>
#include <vector>

class A
{
int m_n;
public:
A() : m_n(0) { std::cout << "A()\n"; }
A(int n) : m_n(n) { std::cout << "A(int)\n"; }
A(const A& copy)
{
std::cout << "A(const A& copy)\n";
m_n = copy.m_n;
}
};

int main()
{
std::cout << "declaring an empty std::vector:\n";
std::vector< A > v;
std::cout << "v.size() = " << v.size() << std::endl;

std::cout << "pushing an element:\n";
v.push_back( A(99) );
std::cout << "v.size() = " << v.size() << std::endl;

std::cout << "default constructing 10 elements:\n";
std::vector< A > v2(10);
std::cout << "v2.size() = " << v2.size() << std::endl;
}

/*
declaring an empty std::vector:
v.size() = 0
pushing an element:
A(int)
A(const A& copy)
v.size() = 1
default constructing 10 elements:
A()
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
v2.size() = 10
*/

Indeed you're right! I had thought that the internal implementation of
std::vector<T> was with a pointer to an array of T's. Apparently, it
is a pointer to an array of T* instead.
It makes sense too. This way, you can push_back objects that do not
have default constructor.
Thanks for the correction.
--
-kira
.
User: ""

Title: Re: assignment of const class members 22 Dec 2007 10:37:38 AM
hi,
i tried a copy constructor, but the problem persist.
1 #include <vector>
2 #include <iostream>
3
4 struct A {
5 A(const unsigned int a) : u(a) {}
6 unsigned int u;
7 };
8
9 struct B {
10 B(const unsigned int a) : u(a) {}
11 B(const B& b) :u(b.u) {std::cerr<<" copy "<<std::endl;}
12 const unsigned int u;
13 };
14
15 int main () {
16
17 std::vector<A> p;
18 p.push_back(A(2)); // ok
19
20 B w(8); // ok
21 B x=w; // copy ok
22 B y(x); // copy ok
23 std::vector<B> z;
24 z.push_back(B(2)); // error
25 }
t.C: In member function 'B& B::operator=(const B&)':
t.C:9: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
B, _Alloc = std::allocator<B>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = B,
_Alloc = std::allocator<B>]'
t.C:24: instantiated from here
t.C:9: error: non-static const member 'const unsigned int B::u', can't
use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
B, _Alloc = std::allocator<B>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'B& B::operator=(const B&)' first required here
On Dec 22, 9:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 20:05:00 -0500, Salt_Peter <pj_h...@yahoo.com> said:



On Dec 21, 6:18 pm, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:


hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.


First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a single
element.


Preciously. So, before line (12) can assign the element A(2) into
std::vector, the program must invoke code to allocate an array first.


How else will std::vector<A> store A(12)?


There is no array in an empty vector. The vector is empty.
pushing back a parametized element requires no default construction
either.
As i already mentioned, to have a vector invoke a default ctor you
would have to tell it to do so.


std::vector< A > v; // does not invoke any of A's ctors


std::vector< A > v(10); // invokes A's default ctor + 10 copies


A vector is not an array.
Here is the proof:


#include <iostream>
#include <vector>


class A
{
int m_n;
public:
A() : m_n(0) { std::cout << "A()\n"; }
A(int n) : m_n(n) { std::cout << "A(int)\n"; }
A(const A& copy)
{
std::cout << "A(const A& copy)\n";
m_n = copy.m_n;
}
};


int main()
{
std::cout << "declaring an empty std::vector:\n";
std::vector< A > v;
std::cout << "v.size() = " << v.size() << std::endl;


std::cout << "pushing an element:\n";
v.push_back( A(99) );
std::cout << "v.size() = " << v.size() << std::endl;


std::cout << "default constructing 10 elements:\n";
std::vector< A > v2(10);
std::cout << "v2.size() = " << v2.size() << std::endl;
}


/*
declaring an empty std::vector:
v.size() = 0
pushing an element:
A(int)
A(const A& copy)
v.size() = 1
default constructing 10 elements:
A()
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
v2.size() = 10
*/


Indeed you're right! I had thought that the internal implementation of
std::vector<T> was with a pointer to an array of T's. Apparently, it
is a pointer to an array of T* instead.

It makes sense too. This way, you can push_back objects that do not
have default constructor.

Thanks for the correction.

--

-kira

.
User: "Salt_Peter"

Title: Re: assignment of const class members 22 Dec 2007 02:25:22 PM
On Dec 22, 11:37 am,
wrote:

hi,

[re-arranged inline...] Do NOT Top Post


1 #include <vector>
2 #include <iostream>
3
4 struct A {
5 A(const unsigned int a) : u(a) {}
6 unsigned int u;
7 };
8
9 struct B {
10 B(const unsigned int a) : u(a) {}
11 B(const B& b) :u(b.u) {std::cerr<<" copy "<<std::endl;}
12 const unsigned int u;
13 };
14
15 int main () {
16
17 std::vector<A> p;
18 p.push_back(A(2)); // ok
19
20 B w(8); // ok
21 B x=w; // copy ok
22 B y(x); // copy ok
23 std::vector<B> z;
24 z.push_back(B(2)); // error
25 }

t.C: In member function 'B& B::operator=(const B&)':
t.C:9: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
B, _Alloc = std::allocator<B>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = B,
_Alloc = std::allocator<B>]'
t.C:24: instantiated from here
t.C:9: error: non-static const member 'const unsigned int B::u', can't
use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
B, _Alloc = std::allocator<B>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'B& B::operator=(const B&)' first required here

On Dec 22, 9:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 20:05:00 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 6:18 pm, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:


hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.


First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a single
element.


Preciously. So, before line (12) can assign the element A(2) into
std::vector, the program must invoke code to allocate an array first.


How else will std::vector<A> store A(12)?


There is no array in an empty vector. The vector is empty.
pushing back a parametized element requires no default construction
either.
As i already mentioned, to have a vector invoke a default ctor you
would have to tell it to do so.


std::vector< A > v; // does not invoke any of A's ctors


std::vector< A > v(10); // invokes A's default ctor + 10 copies


A vector is not an array.
Here is the proof:


#include <iostream>
#include <vector>


class A
{
int m_n;
public:
A() : m_n(0) { std::cout << "A()\n"; }
A(int n) : m_n(n) { std::cout << "A(int)\n"; }
A(const A& copy)
{
std::cout << "A(const A& copy)\n";
m_n = copy.m_n;
}
};


int main()
{
std::cout << "declaring an empty std::vector:\n";
std::vector< A > v;
std::cout << "v.size() = " << v.size() << std::endl;


std::cout << "pushing an element:\n";
v.push_back( A(99) );
std::cout << "v.size() = " << v.size() << std::endl;


std::cout << "default constructing 10 elements:\n";
std::vector< A > v2(10);
std::cout << "v2.size() = " << v2.size() << std::endl;
}


/*
declaring an empty std::vector:
v.size() = 0
pushing an element:
A(int)
A(const A& copy)
v.size() = 1
default constructing 10 elements:
A()
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
v2.size() = 10
*/


i tried a copy constructor, but the problem persist.

a) Do not Top Post
b) try to reply to the appropriate message inline, help us help you
c) read the replies (it says you need op= and the compiler clearly
states that in error log too)
Ignore the compiler at your own peril
.
User: ""

Title: Re: assignment of const class members 23 Dec 2007 07:18:50 PM
On Dec 23, 4:25=A0am, Salt_Peter <pj_h...@yahoo.com> wrote:

On Dec 22, 11:37 am,

wrote:

hi,


[re-arranged inline...] Do NOT Top Post





=A0 1 #include <vector>
=A0 2 #include <iostream>
=A0 3
=A0 4 struct A {
=A0 5 =A0 A(const unsigned int a) : u(a) {}
=A0 6 =A0 unsigned int u;
=A0 7 };
=A0 8
=A0 9 struct B {
=A010 =A0 B(const unsigned int a) : u(a) {}
=A011 =A0 B(const B& b) :u(b.u) {std::cerr<<" copy "<<std::endl;}
=A012 =A0 const unsigned int u;
=A013 };
=A014
=A015 int main () {
=A016
=A017 =A0 std::vector<A> =A0p;
=A018 =A0 p.push_back(A(2)); =A0 =A0// ok
=A019
=A020 =A0 B w(8); =A0 =A0 =A0 =A0 =A0 =A0 =A0 // ok
=A021 =A0 B x=3Dw; =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0// copy ok
=A022 =A0 B y(x); =A0 =A0 =A0 =A0 =A0 =A0 =A0 // copy ok
=A023 =A0 std::vector<B> =A0z;
=A024 =A0 z.push_back(B(2)); =A0 =A0// error
=A025 }


t.C: In member function 'B& B::operator=3D(const B&)':
t.C:9: =A0 instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =3D
B, _Alloc =3D std::allocator<B>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: =A0 instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp =3D B,
_Alloc =3D std::allocator<B>]'
t.C:24: =A0 instantiated from here
t.C:9: error: non-static const member 'const unsigned int B::u', can't
use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =3D
B, _Alloc =3D std::allocator<B>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'B& B::operator=3D(const B&)' first required here


On Dec 22, 9:47 am, Kira Yamato <kira...@earthlink.net> wrote:


On 2007-12-21 20:05:00 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 6:18 pm, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:


hi,


it seems i can't assign the const variable u in class A, one way=

to

solve the problem may be to build a copy constructor. however, w=

hy

does C++ or vector class not like this code? my g++ is: gcc vers=

ion

4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u=

',

can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized=
method 'A& A::operator=3D(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 =A0 A(const unsigned int a) : u(a) { }
6 =A0 private: const unsigned int u;
7 };
8
9 int main () {
10
11 =A0 std::vector<A> =A0y;
12 =A0 y.push_back(A(2));
13 }


You have a number of problems with this code.


First, when (12) is executed, std::vector tries to allocate an ar=

ray of

struct A. =A0Unfortunately, struct A has no default constructor. =

=A0So, it

cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a sin=

gle

element.


Preciously. =A0So, before line (12) can assign the element A(2) int=

o

std::vector, the program must invoke code to allocate an array firs=

t.


How else will std::vector<A> store A(12)?


There is no array in an empty vector. The vector is empty.
pushing back a parametized element requires no default construction
either.
As i already mentioned, to have a vector invoke a default ctor you
would have to tell it to do so.


std::vector< A > v; // does not invoke any of A's ctors


std::vector< A > v(10); // invokes A's default ctor + 10 copies


A vector is not an array.
Here is the proof:


#include <iostream>
#include <vector>


class A
{
=A0 int m_n;
public:
=A0 A() : m_n(0) { std::cout << "A()\n"; }
=A0 A(int n) : m_n(n) { std::cout << "A(int)\n"; }
=A0 A(const A& copy)
=A0 {
=A0 =A0 std::cout << "A(const A& copy)\n";
=A0 =A0 m_n =3D copy.m_n;
=A0 }
};


int main()
{
=A0 std::cout << "declaring an empty std::vector:\n";
=A0 std::vector< A > v;
=A0 std::cout << "v.size() =3D " << v.size() << std::endl;


=A0 std::cout << "pushing an element:\n";
=A0 v.push_back( A(99) );
=A0 std::cout << "v.size() =3D " << v.size() << std::endl;


=A0 std::cout << "default constructing 10 elements:\n";
=A0 std::vector< A > v2(10);
=A0 std::cout << "v2.size() =3D " << v2.size() << std::endl;
}


/*
declaring an empty std::vector:
v.size() =3D 0
pushing an element:
A(int)
A(const A& copy)
v.size() =3D 1
default constructing 10 elements:
A()
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
v2.size() =3D 10
*/


i tried a copy constructor, but the problem persist.


a) Do not Top Post
b) try to reply to the appropriate message inline, help us help you
c) read the replies (it says you need op=3D and the compiler clearly
states that in error log too)
Ignore the compiler at your own peril

hi,
thanks for the help.
i noticed the compiler's log, if i define op=3D then i can't make the
variable "u" constant, if i don't make "u" const, then i don't have a
problem in the first place. how do i go around this issue?
.
User: "Salt_Peter"

Title: Re: assignment of const class members 24 Dec 2007 01:30:20 AM
On Dec 23, 8:18 pm,
wrote:

On Dec 23, 4:25 am, Salt_Peter <pj_h...@yahoo.com> wrote:



On Dec 22, 11:37 am,

wrote:


hi,


[re-arranged inline...] Do NOT Top Post


1 #include <vector>
2 #include <iostream>
3
4 struct A {
5 A(const unsigned int a) : u(a) {}
6 unsigned int u;
7 };
8
9 struct B {
10 B(const unsigned int a) : u(a) {}
11 B(const B& b) :u(b.u) {std::cerr<<" copy "<<std::endl;}
12 const unsigned int u;
13 };
14
15 int main () {
16
17 std::vector<A> p;
18 p.push_back(A(2)); // ok
19
20 B w(8); // ok
21 B x=w; // copy ok
22 B y(x); // copy ok
23 std::vector<B> z;
24 z.push_back(B(2)); // error
25 }


t.C: In member function 'B& B::operator=(const B&)':
t.C:9: instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
B, _Alloc = std::allocator<B>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = B,
_Alloc = std::allocator<B>]'
t.C:24: instantiated from here
t.C:9: error: non-static const member 'const unsigned int B::u', can't
use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =
B, _Alloc = std::allocator<B>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'B& B::operator=(const B&)' first required here


On Dec 22, 9:47 am, Kira Yamato <kira...@earthlink.net> wrote:


On 2007-12-21 20:05:00 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 6:18 pm, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 11:46:31 -0500, Salt_Peter <pj_h...@yahoo.com> said:


On Dec 21, 4:47 am, Kira Yamato <kira...@earthlink.net> wrote:

On 2007-12-21 03:38:33 -0500,

said:


hi,


it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.


summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here


code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }


You have a number of problems with this code.


First, when (12) is executed, std::vector tries to allocate an array of
struct A. Unfortunately, struct A has no default constructor. So, it
cannot construct each element in the array.


There is no array, he's trying to copy into the empty vector a single
element.


Preciously. So, before line (12) can assign the element A(2) into
std::vector, the program must invoke code to allocate an array first.


How else will std::vector<A> store A(12)?


There is no array in an empty vector. The vector is empty.
pushing back a parametized element requires no default construction
either.
As i already mentioned, to have a vector invoke a default ctor you
would have to tell it to do so.


std::vector< A > v; // does not invoke any of A's ctors


std::vector< A > v(10); // invokes A's default ctor + 10 copies


A vector is not an array.
Here is the proof:


#include <iostream>
#include <vector>


class A
{
int m_n;
public:
A() : m_n(0) { std::cout << "A()\n"; }
A(int n) : m_n(n) { std::cout << "A(int)\n"; }
A(const A& copy)
{
std::cout << "A(const A& copy)\n";
m_n = copy.m_n;
}
};


int main()
{
std::cout << "declaring an empty std::vector:\n";
std::vector< A > v;
std::cout << "v.size() = " << v.size() << std::endl;


std::cout << "pushing an element:\n";
v.push_back( A(99) );
std::cout << "v.size() = " << v.size() << std::endl;


std::cout << "default constructing 10 elements:\n";
std::vector< A > v2(10);
std::cout << "v2.size() = " << v2.size() << std::endl;
}


/*
declaring an empty std::vector:
v.size() = 0
pushing an element:
A(int)
A(const A& copy)
v.size() = 1
default constructing 10 elements:
A()
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
A(const A& copy)
v2.size() = 10
*/


i tried a copy constructor, but the problem persist.


a) Do not Top Post
b) try to reply to the appropriate message inline, help us help you
c) read the replies (it says you need op= and the compiler clearly
states that in error log too)
Ignore the compiler at your own peril


hi,

thanks for the help.

i noticed the compiler's log, if i define op= then i can't make the
variable "u" constant, if i don't make "u" const, then i don't have a
problem in the first place. how do i go around this issue?

you can't make u constant, an instance of the type (as is) would not
be assigneable.
Such an object can't be stored by a std::vector.
Now, if you really insist - you could choose to not modify that member
on assignment.
Though that would be strange to say the least.
#include <iostream>
struct A
{
A(const unsigned a) : u(a) { }
A(const A& copy) : u(copy.u) { }
A& operator=(const A& rhs)
{
if(&rhs == this) // self check!
return *this;
// do stuff, can't modify u
return *this;
}
unsigned get() const { return u; }
private:
const unsigned u;
};
int main()
{
A a(99); // ctor
A another = a; // copy
a = another; // assignment, ok
std::cout << a.get() << std::endl;
}
___
As far as a non-constant member u is concerned:
Since member u is private and an accessor would probably look like
get() above, that should keep that member safe from being modified
unintentionally.
A::get() const
{
return u;
}
So the following fails:
A a;
a.get() = 4; // error, can't modify non-constant u
.









User: "Salt_Peter"

Title: Re: assignment of const class members 21 Dec 2007 03:38:09 AM
On Dec 21, 3:38 am,
wrote:

hi,

it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.

summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=(const A&)' first required here

code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { }
6 private: const unsigned int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }

[ snip ]
One of the requirements of containers such as std::vector is that its
elements be copyable and assigneable.
Your type has a const member, so default assignment fails (if you
think about it - thats safer and quite brilliant).
Solution: define your own op=(...) assuming that assigning that const
member is ok.
struct A
{
A(const unsigned a) : u(a) { }
A& operator=(const A& rhs)
{
if(&rhs == this) // self check!
return *this;
u = rhs.u;
return *this;
}
private:
unsigned u;
};
.
User: "Tadeusz B. Kopec"

Title: Re: assignment of const class members 21 Dec 2007 02:46:12 PM
On Fri, 21 Dec 2007 01:38:09 -0800, Salt_Peter wrote:

On Dec 21, 3:38 am,

wrote:

hi,

it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why does
C++ or vector class not like this code? my g++ is: gcc version 4.0.1
(Apple Inc. build 5465). thanks for the help.

summary of compile error:
--------------------------------------- cpp.C:4: error: non-static
const member 'const unsigned int A::u', can't use default assignment
operator /usr/include/c++/4.0.0/bits/vector.tcc:260: warning:
synthesized method 'A& A::operator=(const A&)' first required here

code:
-------
1
2 #include <vector>
3
4 struct A {
5 A(const unsigned int a) : u(a) { } 6 private: const unsigned
int u;
7 };
8
9 int main () {
10
11 std::vector<A> y;
12 y.push_back(A(2));
13 }

[ snip ]

One of the requirements of containers such as std::vector is that its
elements be copyable and assigneable. Your type has a const member, so
default assignment fails (if you think about it - thats safer and quite
brilliant). Solution: define your own op=(...) assuming that assigning
that const member is ok.

In your code (below) the member isn't const any more. Assigning const
member isn't OK. If it ceases to be const you needn't define assignment
operator - generated one will do.


struct A
{
A(const unsigned a) : u(a) { }
A& operator=(const A& rhs)
{
if(&rhs == this) // self check!
return *this;
u = rhs.u;
return *this;
}
private:
unsigned u;
};

--
Tadeusz B. Kopec (tkopec@NOSPAMPLEASElife.pl)
The trouble with being punctual is that nobody's there to appreciate it.
-- Franklin P. Jones
.


User: ""

Title: Re: assignment of const class members 21 Dec 2007 03:07:02 AM
i found this code compiled fine, the only diff is the "const" keyword
in the variable u. strange.
1 #include <vector>
2
3 struct A {
4 A(const unsigned int a) : u(a) {}
5 private: unsigned int u;
6 };
7
8 int main () {
9
10 std::vector<A> y;
11 y.push_back(A(2));
12 }
On Dec 21, 4:38=A0pm,
wrote:

hi,

it seems i can't assign the const variable u in class A, one way to
solve the problem may be to build a copy constructor. however, why
does C++ or vector class not like this code? my g++ is: gcc version
4.0.1 (Apple Inc. build 5465). thanks for the help.

summary of compile error:
---------------------------------------
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=3D(const A&)' first required here

code:
-------
=A0 1
=A0 2 #include <vector>
=A0 3
=A0 4 struct A {
=A0 5 =A0 A(const unsigned int a) : u(a) { }
=A0 6 =A0 private: const unsigned int u;
=A0 7 };
=A0 8
=A0 9 int main () {
=A010
=A011 =A0 std::vector<A> =A0y;
=A012 =A0 y.push_back(A(2));
=A013 }

full compile error:
-------------------------
[16:34]:Macintosh:tmp 7+ g++ cpp.C
cpp.C: In member function 'A& A::operator=3D(const A&)':
cpp.C:4: =A0 instantiated from 'void std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =3D
A, _Alloc =3D std::allocator<A>]'
/usr/include/c++/4.0.0/bits/stl_vector.h:610: =A0 instantiated from
'void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp =3D A,
_Alloc =3D std::allocator<A>]'
cpp.C:12: =A0 instantiated from here
cpp.C:4: error: non-static const member 'const unsigned int A::u',
can't use default assignment operator
/usr/include/c++/4.0.0/bits/vector.tcc: In member function 'void
std::vector<_Tp,
_Alloc>::_M_insert_aux(__gnu_cxx::__normal_iterator<typename
_Alloc::pointer, std::vector<_Tp, _Alloc> >, const _Tp&) [with _Tp =3D
A, _Alloc =3D std::allocator<A>]':
/usr/include/c++/4.0.0/bits/vector.tcc:260: warning: synthesized
method 'A& A::operator=3D(const A&)' first required here

.


  Page 1 of 1

1

 


Related Articles
Const members of type string in a class definition
How to define a constant integer inside a class with keyword const ?
static const Class Member
Why no non-integral static const initialiser's within class definition?
const array declaration/init for a class
error Message: "only const static integral data members can be initializedinside a class or struct"
declaration of `const AreaSet &CObeyFile::AreaSet () Declaration of "const A &B::A() const" changes meaning of A from "class A"
const class reference return from function, what does const do?
how to define const double in a templated class
const char as class member
const strings in class
Why can't static const float class members be inititalized in the class?
Static const non-integrals in-class initialization
const parameters to template class member functions
Creating a const in a class?
 

NEWER

pg.1232     pg.940     pg.716     pg.544     pg.412     pg.311     pg.234     pg.175     pg.130     pg.96     pg.70     pg.50     pg.35     pg.24     pg.16     pg.10     pg.6     pg.3     pg.1

OLDER