- Boost-users - lists.preview.boost.org

[mpl] possible bug in insert<set, x>
by Geoffrey Romer 10 Oct '05

10 Oct '05

I'm having trouble with insert<> as called on a set. Specifically, it doesn't seem to be possible to iterate over sets built with insert<>. The following code, for example, works correctly (or at least, compiles without errors): --- typedef set<double, char> m_set; typedef transform<m_set, lambda<identity<_1> > >::type result; --- but the following (which as I understand it should be equivalent) fails to compile: --- typedef insert<insert<set<>, double>::type, char>::type m_set; typedef transform<m_set, lambda<identity<_1> > >::type result; --- The error consists basically of the compiler complaining there's no member type next_ in set<mpl_::na, mpl_::na ...>. I've provided the full error log in an attachment (I'm using g++ 4.0.2 and Boost 1.33.0). The bug isn't specific to transform; I've encountered it when using other algorithms when they iterate over a set built with inserts. It's possible this problem relates to the problem discussed in this message: (http://thread.gmane.org/gmane.comp.lib.boost.devel/116988) which also concerns non-identical behavior for sets built with the two methods. I hope I'm not doing something stupid, I'm starting to feel like a broken record here...

2 2

Boost Ref Counting & Smart Pointers
by Piyush Kapadia 10 Oct '05

10 Oct '05

Does Boost Library internally does Reference counting for most of its internal objects ? Does it also use it's shared_ptr kind of Smart pointer implementation internally ? Sorry for my ignorance, but isn't there any cleaner Smart Pointer implementation where we don't have to use new every time initiating object and smart pointer becomes part of the class rather that separate implementation like following - shared_ptr sp(new int(5));

4 3

A error to link boost program_options(mingw)
by Huifeng Shen 10 Oct '05

10 Oct '05

I try to compile the first.cpp example of boost program_options library I use the command g++ first.cpp -lboost_program_options-mt. It fails when linking. But I also try use the same command to compile simple_ls.cpp of filesystem, boost_back_inserter_example.cpp of iostream, days_alive.cpp of date_time(The library link is also different). It compiles and works as expected. I use depends.exe of VS.Net 2003 to prove the exe is depended on the dll file. The error of program_options is as below Info: resolving vtable for boost::program_options::variables_mapby linking to __imp___ZTVN5boost15program_options13variables_mapE (auto-import) Info: resolving vtable for boost::program_options::value_semantic_codecvt_helper<char>by linking to __imp___ZTVN5boost15program_options29value_semantic_codecvt_helperIcEE (auto-import) Info: resolving boost::program_options::arg by linking to __imp___ZN5boost15program_options3argE (auto-import) Info: resolving vtable for boost::program_options::validation_errorby linking to __imp___ZTVN5boost15program_options16validation_errorE (auto-import) C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns13variables_mapD1Ev[boost::program_options::variables_map::~variables_map( )]+0x3a):first.cpp: variable 'vtable for boost::program_options::variables_map' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns29value_semantic_codecvt_helperIcED2Ev[boost::program_options::value_seman tic_codecvt_helper<char>::~value_semantic_codecvt_helper()]+0xb):first.cpp: variable 'vtable for boost::program_options::value_semantic_codecvt_helper<char>' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns29value_semantic_codecvt_helperIcEC2Ev[boost::program_options::value_seman tic_codecvt_helper<char>::value_semantic_codecvt_helper()]+0x16):first.cpp: variable 'vtable for boost::program_options::value_semantic_codecvt_helper<char>' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns16validation_errorD2Ev[boost::program_options::validation_error::~validati on_error()]+0x3a):first.cpp: variable 'vtable for boost::program_options::validation_error' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns16validation_errorD1Ev[boost::program_options::validation_error::~validati on_error()]+0x3a):first.cpp: variable 'vtable for boost::program_options::validation_error' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns16validation_errorC1ERKSs[boost::program_options::validation_error::valida tion_error(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)]+0x53):first.cpp: variable 'vtable for boost::program_options::validation_error' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. C:\DOCUME~1\ADMINI~1\LOCALS~1\Temp/cckbcaaa.o(.text$_ZN5boost15program_optio ns16validation_errorC2ERKS1_[boost::program_options::validation_error::valid ation_error(boost::program_options::validation_error const&)]+0x53):first.cpp: variable 'vtable for boost::program_options::validation_error' can't be auto-imported. Please read the documentation for ld's --enable-auto-import for details. collect2: ld returned 1 exit status I want to know how to link the dynamic library of program_options

2 1

Trouble with deriving from boost::archive
by Haskins, Gregory 09 Oct '05

09 Oct '05

I posted this earlier, but I don't think it went through all the way. I apologize if this is a duplicate: ------------------------------------------------------------------------ -------------------- Hi All, Boost newbie here: I am having problems with getting serialization to work with my app. I have a top-level "environment" context that objects in my app need to be associated with. I thought about various ways to accomplish this and I thought the best way might be to derive an Archive class that maintains a reference to the context and use custom save_construct_data/load_construct_data overrides. However, I am hitting a snag and I don't quite understand what is happening. I derive an input and output archive from text_iarchive/text_oarchive respectively and I use this archive context. However I get the following error in compilation: db.hh: In function `void boost::serialization::load_construct_data(Archive&, FlatFileDb::Db*, unsigned int) [with Archive = boost::archive::text_iarchive]': /ccase/cca/vendor/boost/boost/serialization/serialization.hpp:170: instantiated from `void boost::serialization::load_construct_data_adl(Archive&, T*, unsigned int) [with Archive = boost::archive::text_iarchive, T = FlatFileDb::Db]' /ccase/cca/vendor/boost/boost/archive/detail/iserializer.hpp:303: instantiated from `void boost::archive::detail::pointer_iserializer<T, Archive>::load_object_ptr(boost::archive::detail::basic_iarchive&, void*&, unsigned int) const [with T = FlatFileDb::Db, Archive = boost::archive::text_iarchive]' /ccase/cca/vendor/boost/boost/archive/detail/iserializer.hpp:209: instantiated from here db.hh:84: error: 'class boost::archive::text_iarchive' has no member named ' m_env' Somehow the system is assigning <class Archive> to 'class boost::archive::text_iarchive' even though I am creating the archive as something derived from text_iarchive. The weird thing is that this happens even if I comment out the code the invokes the actual archiving. Its almost like there is some default value of Archive that gets assigned once I include the text_iarchive.hpp file. Any ideas on how to stop this from happening? Is there a better way to accomplish my goal? Thanks in advance! -Greg PS: Here are some code snippets of what I am doing. I have a header file called "archive.hh" with ----------------------------------------------------------- #include <boost/archive/text_iarchive.hpp> #include <boost/archive/text_oarchive.hpp> namespace FlatFileDb { class Env; class OArchive : public boost::archive::text_oarchive_impl<OArchive> { public: OArchive(Env &env, std::ostream & os, unsigned int flags = 0) : boost::archive::text_oarchive_impl<OArchive>(os, flags), m_env(env) {} ~OArchive(){} Env &m_env; }; class IArchive : public boost::archive::text_iarchive_impl<IArchive> { public: IArchive(Env &env, std::istream & is, unsigned int flags = 0) : boost::archive::text_iarchive_impl<IArchive>(is, flags), m_env(env) {} ~IArchive(){} Env &m_env; }; }; -------------------------------------------------- and then I have another header file (db.hh) with: -------------------------------------------------- <.../snip...> namespace boost { namespace serialization { template<class Archive> inline void save_construct_data( Archive & ar, const FlatFileDb::Db *t, const unsigned int file_version ){ // save data required to construct instance ar << t->m_name; } template<class Archive> inline void load_construct_data( Archive & ar, FlatFileDb::Db* t, const unsigned int file_version ){ // retrieve data from archive required to construct new instance std::string name; ar >> name; // invoke inplace constructor to initialize instance of my_class ::new(t)FlatFileDb::Db(ar.m_env, name); <-- !!! blows up here !!!y } }} // namespace ...

2 1

[autolink] Debug + Multi Threaded DLL
by Bruno Martínez 08 Oct '05

08 Oct '05

Hi. I have a project that uses boost.threads and sdl, under vc7.1. Because of sdl, I have to link with the non-debug multi threaded dll version of the runtime libraries, even on debug builds. However, autolinking picks the debug version of boost.threads so I get conflicts. Is it right to disable autolinking and force a non debug version of boost.threads? Any ohter idea? Thanks, Bruno

2 1

Re: [Boost-users] ld warnings when building boost on Fedora Core 4 with gcc 3.4.4
by Foster, Gareth 08 Oct '05

08 Oct '05

> So what compiler does work with boost on Fedora Core 4? Just the gcc 4.0 series? Have you investigated the gcc-compat packages? I know that if you want to install the binary version of realplayer from real.com, you have to install these *-compat packages. It may be the case that these packages cover development as well as just the running of old binaries. Worth a look to see what is there at any rate. Gaz

3 4

Re: [Boost-users] aligned_storage / alignment_of / type_with_alignment
by Gottlob Frege 07 Oct '05

07 Oct '05

> > Date: Fri, 07 Oct 2005 08:32:34 +0200 > From: Joaqu?n M? L?pez Mu?oz <joaquin(a)tid.es> > Subject: Re: [Boost-users] aligned_storage / alignment_of / > type_with_alignment > To: boost-users(a)lists.boost.org > Message-ID: <43461682.7A1C50F0(a)tid.es> > Content-Type: text/plain; charset=iso-8859-1 > > Gottlob Frege ha escrito: > > This is *almost* correct. There's a typo in 1.33 Boost.TypeTraits docs > (corrected > in 1.33.1) by which the explanations on type_with_alignment and > aligned_storage > are swapped. So, what you want is > > template <typename T> > struct uninitted > { > aligned_storage<sizeof(T), alignment_of<T>::value>::type myT; > > void init_later(some_params) > { > new (&myT) T(some_params); > } > }; > > Apart from this, your construct is OK and works as you expect. Actually, > this is > what aligned_storage is meant to be used for. Best, > > Joaqu?n M L?pez Mu?oz > Telef?nica, Investigaci?n y Desarrollo > > OK, thanks. By its name, I thought aligned_storage sounded like the right thing (and thus I included it in the subject line) but I wasn't sure how it fit in. I think aligned_storage<sizeof(T), alignment_of<T>::value>::type deserves its own template - maybe 'storage_for' ? Anyhow, I think I have everything I need, so away I go.... Tony

1 0

[mpl] trouble with conditionals
by Geoffrey Romer 07 Oct '05

07 Oct '05

I'm struggling with a problem of how to correctly use conditionals in MPL. In a nutshell, the problem is that the compiler greedily evaluates all parts of a conditional, even the branch that isn't followed. This is a problem not just for performance, but because sometimes the unused branch might not compile. I know that eval_if is supposed to address this problem, but unless I'm missing something, it doesn't seem to be a complete solution. It delays evaluating the branches until one of them is selected, but the compiler still evaluates the *arguments* to both branches. If the arguments themselves don't compile, I'm screwed, despite the fact that the parts of my code that are actually relevant (the branches that get used) are perfectly correct. How do I resolve this problem? Here's a toy example, a metafunction which, given a map, finds the value associated with the key "char" and, if it exists, increments the associated value (which we assume is numeric): template <typename m_map> class toy_metafunction { typedef typename if_<typename has_key<m_map, char>::type, typename insert<m_map, pair<char, typename plus<int_<1>, at<m_map, char> >::type > >::type, m_map >::type type; }; typedef typename toy_metafunction<map< > >::type result; This does not compile, because the compiler attempts to evaluate plus<int_<1>, void_>. Notice that replacing if_ with eval_if does not help, because it's not the evaluation of insert that's the problem. Thanks in advance for any help.

4 12

aligned_storage / alignment_of / type_with_alignment
by Gottlob Frege 07 Oct '05

07 Oct '05

If for some crazy reason I want/need a uninitialized type T, how do I use type_with_alignment, etc to make it work? eg something vaguely like this: template <typename T> struct uninitted { type_with_alignment<sizeof(T), alignment_of<T>::value_type>::type myT; void init_later(some_params) { new (&myT) T(some_params); } }; Does the in-place new work? Is the unitted<T> 'just like' T in terms of memory, usage within a struct, etc? struct Foo1 { Bar bar; SomeT t; Foo foo; }; struct Foo2 { Bar bar; uninitted<SomeT> t; Foo foo; }; sizeof(Foo1) == sizeof(Foo2) offsetof(Foo1, t) == offsetof(Foo2, t) offsetof(Foo1, foo) == offsetof(Foo2, foo) all true? Thanks Tony

2 1

Re: [Boost-users] [bind] Member fn has defeated me
by BRIDGES Dick 06 Oct '05

06 Oct '05

> -----Original Message----- > From: boost-users-bounces(a)lists.boost.org > [mailto:boost-users-bounces@lists.boost.org] On Behalf Of Simon Buchan > Sent: Wednesday, October 05, 2005 9:49 PM > To: boost-users(a)lists.boost.org > Subject: Re: [Boost-users] [bind] Member fn has defeated me > > > BRIDGES Dick wrote: > <snip> > > <snip> > You find it mysterious because it's not even slightly common > outside of > functional languages. (I hope Boost can change this). > Basicly: bind is > a function that creates a function (sortof) from a function and > arguments. Confused? Don't worry, that's normal. Essentially: > > bind(&X::f, &x, _1); > > is the same as: > > f_result_type bound_f(f_arg1_type arg1) > { return x.f(arg1); > } > > // ... > > &bound_f > > but with less hassles (ie. x can be local) If I could start with a "bound" x, I probably wouldn't have so much trouble with the concept. I get confused when trying to deal with the implied 'this' when starting from the bind(&X::f, _1, _2) form. In the current case [i.e., void f(bool)], I think _2 represents the bool parameter and can't figure out how to express the unbound 'this'. Clearly there is an error in my understanding of the underlying concept.

2 1