vector of pimpl's / weird behavior

[er]

hi,

the code below generates the following behavior. cld someone please
help understand it?
1) clean project + build project generates build errors (see bottom)
2) build a second time, errors disappears, run: ok
3) uncomment [1] and comment [2], no problem
4) uncomment [3] and [4], also no problem

#ifndef A_IMPL_H_
#define A_IMPL_H_
#include <memory>
class A_impl{
public:
A_impl();
virtual ~A_impl(){};
virtual std::auto_ptr<A _implclone()con st=0;
private:
A_impl& operator=(const A_impl&);
};
#endif /*A_IMPL_H_*/

#ifndef A_H_
#define A_H_
#include <memory>
//#include "A_impl.h" // [1]
class A_impl;//[2]
class A{
public:
A(const A_impl& impl_);
A(const A& o);
A& operator=(const A& rhs);
private:
A();
std::auto_ptr<A _implpimpl;
};
#endif /*A_H_*/

#ifndef AS_H_
#define AS_H_
#include <vector>
#include "A.h"
class As{
public:
As(
const std::vector<A>& sub_collec_
);
private:
std::vector<Asu b_collec;//[3]
};
#endif /*AS_H_*/
#include "A.h"
#include "A_impl.h"
A::A(const A_impl& impl_):pimpl(im pl_.clone()){};
A::A(const A& o):pimpl((o.pim pl)->clone()){};
A& A::operator=(co nst A& rhs){
if(&rhs!=this){
pimpl=rhs.pimpl->clone();
};
return *this;
};
#include "As.h"
As::As(
const std::vector<A>& sub_collec_
): sub_collec(sub_ collec_){};//[4]
instantiated from 'void std::_Destroy(_ Tp*) [with _Tp = A]'
testing_vector_ pimpl A.h line 6 1191008360119 128231
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::__destroy_ aux(_ForwardIte rator, _ForwardIterato r, __false_type)
[with _ForwardIterato r = A*]' testing_vector_ pimpl line 122
1191008360120 128232
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r, std::allocator< _T2>)
[with _ForwardIterato r = A*, _Tp = A]' testing_vector_ pimpl line 182
1191008360120 128234
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r) [with
_ForwardIterato r = A*]' testing_vector_ pimpl line 155 1191008360120
128233
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_vector.h instantiated from 'std::vector<_T p, _Alloc>::~vecto r()
[with _Tp = A, _Alloc = std::allocator< A>]' testing_vector_ pimpl line
272 1191008360120 128235

[Barry]

er wrote:

hi,

the code below generates the following behavior. cld someone please
help understand it?

don't say generate behavior, I see that's compiler-time error, behavior
much more means that the code runs expectedly.

1) clean project + build project generates build errors (see bottom)
2) build a second time, errors disappears, run: ok

that's more about the compiler, not about C++ language, I know that VC6
has some problems here.

3) uncomment [1] and comment [2], no problem
4) uncomment [3] and [4], also no problem

#ifndef A_IMPL_H_
#define A_IMPL_H_
#include <memory>
class A_impl{
public:
A_impl();
virtual ~A_impl(){};
virtual std::auto_ptr<A _implclone()con st=0;
private:
A_impl& operator=(const A_impl&);
};
#endif /*A_IMPL_H_*/

#ifndef A_H_
#define A_H_
#include <memory>
//#include "A_impl.h" // [1]
class A_impl;//[2]
class A{
public:
A(const A_impl& impl_);
A(const A& o);
A& operator=(const A& rhs);

dtor is produced by compiler, it's

~A() {}

where std::auto_ptr:: ~auto_ptr() is called, which delete A_impl*, but
A_impl is incomplete type, if we only use forward declaration here. A
solution, declaration A::~A, and define it it *A.cpp*, where you include
"A_impl.h", so, A_impl is complete type there.

private:
A();
std::auto_ptr<A _implpimpl;
};
#endif /*A_H_*/

#ifndef AS_H_
#define AS_H_
#include <vector>
#include "A.h"
class As{
public:
As(
const std::vector<A>& sub_collec_
);
private:
std::vector<Asu b_collec;//[3]
};
#endif /*AS_H_*/
#include "A.h"
#include "A_impl.h"
A::A(const A_impl& impl_):pimpl(im pl_.clone()){};
A::A(const A& o):pimpl((o.pim pl)->clone()){};
A& A::operator=(co nst A& rhs){
if(&rhs!=this){
pimpl=rhs.pimpl->clone();
};
return *this;
};
#include "As.h"
As::As(
const std::vector<A>& sub_collec_
): sub_collec(sub_ collec_){};//[4]
instantiated from 'void std::_Destroy(_ Tp*) [with _Tp = A]'
testing_vector_ pimpl A.h line 6 1191008360119 128231
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::__destroy_ aux(_ForwardIte rator, _ForwardIterato r, __false_type)
[with _ForwardIterato r = A*]' testing_vector_ pimpl line 122
1191008360120 128232
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r, std::allocator< _T2>)
[with _ForwardIterato r = A*, _Tp = A]' testing_vector_ pimpl line 182
1191008360120 128234
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r) [with
_ForwardIterato r = A*]' testing_vector_ pimpl line 155 1191008360120
128233
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_vector.h instantiated from 'std::vector<_T p, _Alloc>::~vecto r()
[with _Tp = A, _Alloc = std::allocator< A>]' testing_vector_ pimpl line
272 1191008360120 128235

--
Thanks
Barry

[yanlinlin82]

On 9 29 , 3 49 , er <erwann.rog...@ gmail.comwrote:

hi,

the code below generates the following behavior. cld someone please
help understand it?
1) clean project + build project generates build errors (see bottom)

build error because you used undefined class A_impl (with [1]
commented and [2] uncommented at the first time).

2) build a second time, errors disappears, run: ok

I have no idea how can you run the program when build still error.

3) uncomment [1] and comment [2], no problem

When this done, class A_impl has been defined before you use it, of
course OK.

4) uncomment [3] and [4], also no problem

When this done, class A_impl is used only as a type (for pointer). It
needn't declare its detail, 'class A_impl;' is enough.

>
#ifndef A_IMPL_H_
#define A_IMPL_H_
#include <memory>
class A_impl{
public:
A_impl();
virtual ~A_impl(){};
virtual std::auto_ptr<A _implclone()con st=0;
private:
A_impl& operator=(const A_impl&);};

#endif /*A_IMPL_H_*/

#ifndef A_H_
#define A_H_
#include <memory>
//#include "A_impl.h" // [1]
class A_impl;//[2]
class A{
public:
A(const A_impl& impl_);
A(const A& o);
A& operator=(const A& rhs);
private:
A();
std::auto_ptr<A _implpimpl;};

#endif /*A_H_*/

#ifndef AS_H_
#define AS_H_
#include <vector>
#include "A.h"
class As{
public:
As(
const std::vector<A>& sub_collec_
);
private:
std::vector<Asu b_collec;//[3]};

#endif /*AS_H_*/
#include "A.h"
#include "A_impl.h"
A::A(const A_impl& impl_):pimpl(im pl_.clone()){};
A::A(const A& o):pimpl((o.pim pl)->clone()){};
A& A::operator=(co nst A& rhs){
if(&rhs!=this){
pimpl=rhs.pimpl->clone();
};
return *this;};

#include "As.h"
As::As(
const std::vector<A>& sub_collec_
): sub_collec(sub_ collec_){};//[4]

instantiated from 'void std::_Destroy(_ Tp*) [with _Tp = A]'
testing_vector_ pimpl A.h line 6 1191008360119 128231
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::__destroy_ aux(_ForwardIte rator, _ForwardIterato r, __false_type)
[with _ForwardIterato r = A*]' testing_vector_ pimpl line 122
1191008360120 128232
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r, std::allocator< _T2>)
[with _ForwardIterato r = A*, _Tp = A]' testing_vector_ pimpl line 182
1191008360120 128234
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r) [with
_ForwardIterato r = A*]' testing_vector_ pimpl line 155 1191008360120
128233
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_vector.h instantiated from 'std::vector<_T p, _Alloc>::~vecto r()
[with _Tp = A, _Alloc = std::allocator< A>]' testing_vector_ pimpl line
272 1191008360120 128235

[er]

On Sep 29, 8:08 am, Barry <dhb2...@gmail. comwrote:

er wrote:

hi,

the code below generates the following behavior. cld someone please
help understand it?

don't say generate behavior, I see that's compiler-time error, behavior
much more means that the code runs expectedly.

1) clean project + build project generates build errors (see bottom)
2) build a second time, errors disappears, run: ok

that's more about the compiler, not about C++ language, I know that VC6
has some problems here.

3) uncomment [1] and comment [2], no problem
4) uncomment [3] and [4], also no problem

#ifndef A_IMPL_H_
#define A_IMPL_H_
#include <memory>
class A_impl{
public:
A_impl();
virtual ~A_impl(){};
virtual std::auto_ptr<A _implclone()con st=0;
private:
A_impl& operator=(const A_impl&);
};
#endif /*A_IMPL_H_*/

#ifndef A_H_
#define A_H_
#include <memory>
//#include "A_impl.h" // [1]
class A_impl;//[2]
class A{
public:
A(const A_impl& impl_);
A(const A& o);
A& operator=(const A& rhs);

dtor is produced by compiler, it's

~A() {}

where std::auto_ptr:: ~auto_ptr() is called, which delete A_impl*, but
A_impl is incomplete type, if we only use forward declaration here. A
solution, declaration A::~A, and define it it *A.cpp*, where you include
"A_impl.h", so, A_impl is complete type there.

private:
A();
std::auto_ptr<A _implpimpl;
};
#endif /*A_H_*/

#ifndef AS_H_
#define AS_H_
#include <vector>
#include "A.h"
class As{
public:
As(
const std::vector<A>& sub_collec_
);
private:
std::vector<Asu b_collec;//[3]
};
#endif /*AS_H_*/
#include "A.h"
#include "A_impl.h"
A::A(const A_impl& impl_):pimpl(im pl_.clone()){};
A::A(const A& o):pimpl((o.pim pl)->clone()){};
A& A::operator=(co nst A& rhs){
if(&rhs!=this){
pimpl=rhs.pimpl->clone();
};
return *this;
};
#include "As.h"
As::As(
const std::vector<A>& sub_collec_
): sub_collec(sub_ collec_){};//[4]

instantiated from 'void std::_Destroy(_ Tp*) [with _Tp = A]'
testing_vector_ pimpl A.h line 6 1191008360119 128231
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::__destroy_ aux(_ForwardIte rator, _ForwardIterato r, __false_type)
[with _ForwardIterato r = A*]' testing_vector_ pimpl line 122
1191008360120 128232
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r, std::allocator< _T2>)
[with _ForwardIterato r = A*, _Tp = A]' testing_vector_ pimpl line 182
1191008360120 128234
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r) [with
_ForwardIterato r = A*]' testing_vector_ pimpl line 155 1191008360120
128233
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_vector.h instantiated from 'std::vector<_T p, _Alloc>::~vecto r()
[with _Tp = A, _Alloc = std::allocator< A>]' testing_vector_ pimpl line
272 1191008360120 128235

--
Thanks
Barry

declaring ~A() in .h and writing A::~A(){} in .cpp did solve my
problem. thanks!

[James Kanze]

On Sep 28, 9:49 pm, er <erwann.rog...@ gmail.comwrote:

the code below generates the following behavior. cld someone please
help understand it?
1) clean project + build project generates build errors (see bottom)
2) build a second time, errors disappears, run: ok
3) uncomment [1] and comment [2], no problem
4) uncomment [3] and [4], also no problem

#ifndef A_IMPL_H_
#define A_IMPL_H_
#include <memory>
class A_impl{
public:
A_impl();
virtual ~A_impl(){};
virtual std::auto_ptr<A _implclone()con st=0;
private:
A_impl& operator=(const A_impl&);};
#endif /*A_IMPL_H_*/

#ifndef A_H_
#define A_H_
#include <memory>
//#include "A_impl.h" // [1]
class A_impl;//[2]
class A{
public:
A(const A_impl& impl_);
A(const A& o);
A& operator=(const A& rhs);
private:
A();
std::auto_ptr<A _implpimpl;};
#endif /*A_H_*/

The line with std::auto_ptr<i s undefined behavior (with the
code as written). According to the standard, you can only
instantiate a template in the standard library over a completely
defined type.

#ifndef AS_H_
#define AS_H_
#include <vector>
#include "A.h"
class As{
public:
As(
const std::vector<A>& sub_collec_
);
private:
std::vector<Asu b_collec;//[3]};
#endif /*AS_H_*/
#include "A.h"
#include "A_impl.h"
A::A(const A_impl& impl_):pimpl(im pl_.clone()){};
A::A(const A& o):pimpl((o.pim pl)->clone()){};
A& A::operator=(co nst A& rhs){
if(&rhs!=this){
pimpl=rhs.pimpl->clone();
};
return *this;};

#include "As.h"
As::As(
const std::vector<A>& sub_collec_
): sub_collec(sub_ collec_){};//[4]

instantiated from 'void std::_Destroy(_ Tp*) [with _Tp = A]'
testing_vector_ pimpl A.h line 6 1191008360119 128231
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::__destroy_ aux(_ForwardIte rator, _ForwardIterato r, __false_type)
[with _ForwardIterato r = A*]' testing_vector_ pimpl line 122
1191008360120 128232
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r, std::allocator< _T2>)
[with _ForwardIterato r = A*, _Tp = A]' testing_vector_ pimpl line 182
1191008360120 128234
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_construct.h instantiated from 'void
std::_Destroy(_ ForwardIterator , _ForwardIterato r) [with
_ForwardIterato r = A*]' testing_vector_ pimpl line 155 1191008360120
128233
/usr/lib/gcc/x86_64-linux-gnu/4.1.2/../../../../include/c++/4.1.2/bits/
stl_vector.h instantiated from 'std::vector<_T p, _Alloc>::~vecto r()
[with _Tp = A, _Alloc = std::allocator< A>]' testing_vector_ pimpl line
272 1191008360120 128235

I don't know exactly why the rebuild eliminates the error with
g++. With some other compilers, however, template
instantiations are stored in a repository; if the template is
successfully instantiated in another translation unit, then the
rebuild will work.

But it doesn't really matter. You have undefined behavior, and
you should fix it.

--
James Kanze (GABI Software) email:ja******* **@gmail.com
Conseils en informatique orientée objet/
Beratung in objektorientier ter Datenverarbeitu ng
9 place Sémard, 78210 St.-Cyr-l'École, France, [phone]