October 2009 - Boost - lists.preview.boost.org

Boost.Variant is not EqualityComparable
by brook＠biology.nmsu.edu 12 Nov '09

12 Nov '09

I just ran into the case that Boost Variant does not satisfy the EqualityComparable concept. While it provides operator==() and operator<() (and therefore is LessThanComparable), it does not provide operator!=(), which is required for the EqualityComparable concept. Is this by design or oversight? It seems reasonable to expect that a Boost Variant model this concept, but perhaps I am missing something. In case it is by oversight, the following patch seems to provide the missing operator. Cheers, Brook --- boost/variant/variant.hpp.orig 2009-05-13 21:21:59.000000000 -0600 +++ boost/variant/variant.hpp 2009-05-25 19:21:40.000000000 -0600 @@ -1681,6 +1681,8 @@ return rhs.apply_visitor(visitor); } + bool operator!=(const variant& rhs) const { return !(*this == rhs); } + bool operator<(const variant& rhs) const { //

6 7

[BGL] Trying to get a correclty working Parallel BFS code
by Sandeep Gupta 11 Nov '09

11 Nov '09

Hi All, I have spent significant effort on parallel bfs. Currently its almost working. I would really appreciate some help to get it running correctly. I have attached the code (self contained and requires no input file). I think I have followed all the guidelines regarding distributed property maps mentioned in the docs ( http://www.osl.iu.edu/research/pbgl/documentation/graph/breadth_first_searc… ). I am out of ideas of where things can could have gone wrong. The correct output of input graph 0 --> 1 2 1 --> 2 3 2 --> 3 3 --> 4 6 4 --> 5 5 --> 6 --> should be Node ID : Level 0 : 0 1 : 1 2 : 1 3 : 2 4 : 3 5 : 4 6 : 3 But when ran with 2 processes the output comes out to be Node ID : Level 0 : 0 1 : 1 2 : 1 3 : 2 4 : 3 5 : 4294967295 6 : 3 Not sure why this is happening. Any suggestions or pointers would indeed be quite appreciated. Thanks for your time. -Sandeep

3 23

proposal interval container; ITL moved to the boost sandbox
by Joachim Faulhaber 11 Nov '09

11 Nov '09

Dear boosters, after completion of a lot of boostification work I moved my Interval Template Library to the boost sandbox in the boost project centric form: https://svn.boost.org/trac/boost/browser/sandbox/itl itl boost itl [itl_xt] [validate] libs itl [itl_xt] [validate] I have split up the original library into three parts: (1) itl, (2) itl_xt and (3) validate. Core part 1 'ITL' contains all interval container class templates. Only this part will be prepared for a formal submission. Part 2 'itl_xt' contains extended parts of the original library that do not belong to the core interval container data structures and might be proposed for later extensions. Part 3 'validate' contains the sources for the law based test automaton 'LaBatea' that has been used for an automated check of the ITLs correctness. Parts 2 and 3 do not yet conform boost standards and naming conventions and are not yet intended as contributions to boost. On the core ITL-part I have done the following: + Removed all virtual functions via introduction of mixins + Integrated deeper into boost libraries replacing own code by e.g. boost::type_traits and boost::mpl + Minimized the class template interfaces by transforming member functions into non member function templates. + Made interval containers more interoperable by overloading operators and global function templates. + Wrote a test suite using boost unit test tools. Tested for boost-instance types boost::date_time and boost::rational + Provided jamfiles to build and run examples and tests. + All examples and tests have been compiled, linked and run successfully with msvc_9.0 and gcc_3.4.4(cygwin). Next I am going to write boost style html-documentation. >From the boost web page I don't see a clear recommendation for a preferable way of doing that. Handcoded? Generated with BoostBook? Is there a reference library that has an exemplary standard documentation? Cheers Joachim

3 4

Time for another bug sprint (after 1.41 ships)?
by Marshall Clow 09 Nov '09

09 Nov '09

Earlier this year, we had a "bug sprint", where many people focused on fixing bugs in Boost. We managed to get the # of open tickets down from 800 to about 720. As of today, there are 820 open tickets in Trac. Is it time to focus on swotting bugs again? 1.41 is scheduled for release on 1-November; that's six weeks from yesterday. How about a bug sprint starting on 14-November, finishing on 22- November? That's two weekends - and finishes up before the American Thanksgiving holiday. -- Marshall P.S. This doesn't mean that people have to wait until November to fix bugs ;-) ;-)

12 25

[function] "paranoia" vs efficiency
by Domagoj Saric 09 Nov '09

09 Nov '09

As far as I can see boost::function<>::operator() performs: if (this->empty()) boost::throw_exception(bad_function_call()); before invoking the stored function (object)... My question is why or why only this "checked"/"safe" approach/method of invocation exists? Because this: - causes (extra) code branching - causes the compiler to insert exception throwing and handling code in surrounding/calling code (which need not otherwise be if the function stored in the boost function instance is itself nothrow) - inserts a call to the bad_function_call constructor - disables the compiler from inlining the function (MSVC atleast) - disables NVRO (MSVC atleast, http://msdn.microsoft.com/en-us/library/ms364057(VS.80).aspx#nrvo_cpp05_top… ) while at the same time I would most often consider calling a "null-function-pointer" a programmer error (that would therefor need to be "handled" with an assert not an exception), not a runtime 'unpredictable' exception... ...IMO the default should be not to include this check (i.e. use an assert) and provide a safeInvoke() type of method for those users and cases that actually require/want this type of check/behaviour... ...or atleast "it would be welcomed" if a non-checking unsafeInvoke() type of method would be provided for those that are 'sure' that the boost::function<> object is valid (for example in the line before i've just performed the same check to decide whether to call the function object or not)... -- "That men do not learn very much from the lessons of history is the most important of all the lessons of history." Aldous Huxley

8 18

[system][filesystem v3] Question about error_code arguments
by Beman Dawes 07 Nov '09

07 Nov '09

A POSIX sub-group is looking at C++ bindings for POSIX. They are talking about a filesystem library binding at least loosely based on Boost.System, Boost.Filesystem, and C++ TR2. In looking at http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2838.html, "Library Support for Hybrid Error Handling (Rev 2)", they are concerned about specifying hybrid error handling like this: void f(error_code& ec=throws()); They would rather see it specified like this: void f(error_code* ec=0); One particular concern is that as currently worded, the N2838 proposal requires throws() return a null reference, which they see as relying on undefined behavior. I wasn't at the meeting where the LWG asked that a null reference be mandated; my reading of the standard is that it is unclear if returning a null reference is or isn't undefined behavior. Some of the core folks seem to think it is undefined, but compilers accept it. Although the reference form is usual for C++, the use of anything other than the default is limited, and usually in low-level code at that. Although I could personally live with either form, I'm leaning slightly toward the pointer form. Regardless, I'd like to hear Boosters views on the two interfaces above. Which do you prefer? Why? --Beman

24 102

New boost packaging suggestion for windows
by Julian Bangert 06 Nov '09

06 Nov '09

Hello, yesterday I tried to download the boostpro binaries for windows and I had to download over a gigabyte to get all configurations for VS 2008. Sadly the version also was outdated and in general not that great ( e.g. Installer quite bad to handle and you have to register to download ) . So I decided to build from source and package it for a few friends who also needed these binaries. I managed to compress boost_1_40 ( no source except headers, no python AFAIK , but everything else you get with a standard build ) from over 900MB down to 37MB by using 7z. I uploaded it here https://obliviononline.com/pub/boost/boost_1_40_0.7z . Should boost use this form of releasing binaries in the future for windows ? Alternatively, you could endorse this form, like boostpro is endorsed right now and I could host it on google code, etc . An easy to set up ( just unzip this file ) binary distribution would make compiling boost-dependent software much easier. I would be willing to distribute future releases compatible with VS 2005 and 2008 in this form. Yours, Julian Bangert __________ Information from ESET NOD32 Antivirus, version of virus signature database 4551 (20091028) __________ The message was checked by ESET NOD32 Antivirus. http://www.eset.com

12 20

[1.41.0] Release branch closed for all changes; beta RC tomorrow
by Beman Dawes 05 Nov '09

05 Nov '09

The release branch is closed for all changes. Unless someone objects strenuously, I'll build a release candidate for the beta tomorrow (Tuesday) morning, eastern US time. --Beman

8 14

loglite - A logging library
by JD 04 Nov '09

04 Nov '09

Hello, It's been a while since a discussion about logging hasn't ran on the boost mailing list. I have a small logging library implementing some of the requirements that were previously deemed desirable during the discussion we had here a couple of years ago. Find it here : http://code.google.com/p/loglite/ I've removed all mention to boost in the code, cause I've made some design choice that wouldn't fit with the boost philosophy. Please have a look and let me know what you think could be improved. An example : [example removed because of the now infamous anti-top-posting gmane feature] Regards, JD

7 14

Build boot 1.40.0 on IBM z/OS (EBCDIC)
by norbert.hanke＠bluewin.ch 03 Nov '09

03 Nov '09

Hi folks, I am trying to build boost on the IBM Mainframe on z/OS USS. I successfully modified the jam bootstrap script and have a running bjam binary now. But when trying to build the boost libraries, I get the error below. Does anybody have a hint what to look for? EBCDIC character encoding on my machine might be the reason: digits 0-9 are encoded as character values 240-249, but I have no idea where to start looking. regards, Norbert > ./bjam /home/u250672/boost_1_40_0/tools/build/v2/util/numbers.jam:22: in numbers.check from module numbers error: 03 in 03 1 17 error: is not a number /home/u250672/boost_1_40_0/tools/build/v2/build/version.jam:50: in version-less from module version /home/u250672/boost_1_40_0/tools/build/v2/build/version.jam:102: in version.check-jam-version from module version /home/u250672/boost_1_40_0/tools/build/v2/util/path.jam:172: in join from module path /home/u250672/boost_1_40_0/tools/build/v2/util/path.jam:207: in path.root from module path /home/u250672/boost_1_40_0/tools/build/v2/util/path.jam:247: in path.glob from module path /home/u250672/boost_1_40_0/tools/build/v2/tools/types/register.jam:25: in load from module types/register /home/u250672/boost_1_40_0/tools/build/v2/kernel/modules.jam:283: in import from module modules /home/u250672/boost_1_40_0/tools/build/v2/tools/stage.jam:19: in load from module stage /home/u250672/boost_1_40_0/tools/build/v2/kernel/modules.jam:283: in import from module modules /home/u250672/boost_1_40_0/tools/build/v2/tools/builtin.jam:25: in load from module builtin /home/u250672/boost_1_40_0/tools/build/v2/kernel/modules.jam:283: in import from module modules /home/u250672/boost_1_40_0/tools/build/v2/build-system.jam:11: in load from module build-system /home/u250672/boost_1_40_0/tools/build/v2/kernel/modules.jam:283: in import from module modules /home/u250672/boost_1_40_0/tools/build/v2/kernel/bootstrap.jam:138: in boost-build from module /home/u250672/boost_1_40_0/boost-build.jam:16: in module scope from module

2 3

Temporary objects
by DE 03 Nov '09

03 Nov '09

hi all unfortunately i'm totally out of time now so i only write my proposal and an example forgive me for that the code #include <algorithm> template<typename type> class temporary : public type { temporary() : type() {} temporary(temporary &a) : type() { using std::swap; swap(static_cast<type&>(*this), static_cast<type&>(a)); } template<typename other> temporary(const other &a) : type(a) {} temporary &operator=(temporary &a) { using std::swap; swap(static_cast<type&>(*this), static_cast<type&>(a)); return *this; } template<typename other> temporary &operator=(const other &a) { type::operator=(a); return *this; } }; example1 temporary<huge_type> foo(const huge_type &a) {//returning temporary object temporary<huge_type> ret; //or even 'ret(a)' //doing something... return ret; } //... huge_type result; result = foo(bar); //somewhere in code only one copy operation -- assignment operator return by value copying overhead is eliminated with help of swap() example2 struct my_type { //... my_type(temporary<my_type> &a) { this->swap(a); } //... my_type &operator=(temporary<my_type> &a) { this->swap(a); return *this; } //... }; temporary<my_type> process(const my_type &item) { temporary<my_type> ret; //processing item... return ret; } //... my_type result = process(item); //somewhere in code //or result = process(item); no temporary object handling overhead at all return by value, copy-construct and assign from temporary objects for free! thank you for attention

7 21

Parallel Tree Merge
by Biddiscombe, John A. 03 Nov '09

03 Nov '09

If I have a representation of a tree and I have sub-portions of it spread across a number of processes (but the whole tree represents a well-formed and simple tree structure). Is there a reasonably straightforward way of doing this using BGL or PBGL. I had hoped that it might be as simple as defining some templated tree structure and using the add operator after gathering pieces onto one node. (The tree structure could be represented as XML where the root would exist on all processes, different sub-nodes and leaves and would occur on different processes - a simple xml merge would probably suffice for my needs right now). If examples using boost libraries ((p)BGL/MPI) or other similar combination exist and anyone can point me to resources I'd be most grateful. (I'm not an expert with BGL so will need some do some learning...) Thanks JB -- John Biddiscombe, email:biddisco @ cscs.ch http://www.cscs.ch/ CSCS, Swiss National Supercomputing Centre | Tel: +41 (91) 610.82.07 Via Cantonale, 6928 Manno, Switzerland | Fax: +41 (91) 610.82.82

3 3

#3541 Support <boost/ptr_map.hpp>
by Olaf van der Spek 02 Nov '09

02 Nov '09

Hi, https://svn.boost.org/trac/boost/ticket/3541 Could a forward header file be created such that #include <boost/ptr_map.hpp> works? The extra ptr_container directory is hard to remember..., I always have to look it up. boost/ptr_* looks much more natural. Greetings, Olaf

21 62

The C++ Post-Processor
by Christian Schladetsch 02 Nov '09

02 Nov '09

Hello, This is a general post about C++. Why is it that the pre-processor (PP) is the source of so much disdain, and yet it is the first resource exploited to 'fix' problems with C++? Why has the PP received so little attention over the years, from its early use as M4? This is a message to the powers that be: the PP is a powerful tool. It provides a 'context-cutting' mechanism for creating and extending solutions. It is a true "meta-programming" system built right into C++. No other language I can think of has a PP. This is often viewed as being a good thing, but I wonder more and more as I get older that a good PP is in fact needed to span some otherwise very difficult boundaries. Other languages are "dynamic" inasmuch as they reflect classes and allow for runtime changes to types and instances. I think we all here agree that this ability is counter to building firm, safe and efficient software. But the PP is similar to that, allowing a degree of dynamicy not otherwise available. Specifically, by exposing concepts to the PP we can leverage reflection and synthesis while building on inheritance and conglomeration. I don't have a point as such; I just wanted to raise the idea of developing M4 and the PP past where it is. There is a lot of low-hanging fruit there. This is evidenced by the fact that a lot of other languages are or can be transliterated to C++. Rather than thinking of C++ as the output, we could be thinking of C++ as the input. Perhaps a way forward for C++ is a good PP and a standards-based implementation of C++ in C++ so it can embed itself. I've written a number of languages, and in each I've had to address the issue of pre-processing. The latest attempts have resulted in a system where it parses and executes via AST input to produce an output that is then parsed by the same system to produce an AST that is then walked to eventually produce machine code. I think this model is best, and would be delighted to see some similar movements in the PP/C++. We have Boost.Wave to start with... Why not give it real Expressions? Loops? Scopes? Classes? Templates? memory management? IO? Is there any interest in a Boost.C++ ? Regards, Christian

15 30

[optional] layout
by Domagoj Saric 01 Nov '09

01 Nov '09

why is boost::optional laid out so that the bool comes before the object's placeholder/storage? this takes up to 7 extra bytes of storage with default alignement and, more importantly, it forces pointer offset adjustment/calculation when accessing a boost::optional<> through a pointer (and trying to access the actual contained object)... it also makes life harder for those of us keen to hackery ;) because it makes the address of an optional different from the address of the actual object within the optional... ps. it would be 'cool' if all of the functionality from boost::optional<> not related to the 'is initialized' bool (conditional destruction, etc...) could be extracted into a separate class (usefull for cases where you have to delay/in-place construct an object but are certain that you will construct it by the point where it needs to be used or destroyed...so you do not need the 'conditional' overhead)... -- "That men do not learn very much from the lessons of history is the most important of all the lessons of history." Aldous Huxley

6 10

Re: [boost] loglite - A logging library (JD)
by Tan, Tom (Shanghai) 01 Nov '09

01 Nov '09

> Please have a look and let me know what you think could be improved. The first thing I notice is that it does not support std::wstring directly. It's a big problem in my case I use wide-character in all my applications, which simplifies dealing with UTF-16 adopted by Modern Windows platforms. If I need to any string info from my program, I'll have to convert from UTF16(represented as std::wstring) to UTF8 so that it could be working well with LOGLITE. That's inconvenient. Offtopic, I am expecting boost::filesystem V3 for this very same reason.

3 2

[ANN] CLI command line interface compiler for C++
by Boris Kolpackov 29 Oct '09

29 Oct '09

Hi, I am pleased to announce the first public release of CLI. CLI is an open-source (MIT license), cross-platform command line interface compiler for C++. It allows you to specify the options that your program supports, their types, and default values. For example: include <string>; class options { bool --help; std::string --name = "example"; unsigned int --level | -l = 5; }; This specification can then be automatically translated to C++ classes that implement parsing of the command line arguments and provide a convenient and type-safe interface for accessing the extracted data. For example: #include <string> class options { public: options (int argc, char** argv); options (int argc, char** argv, int& end); bool help () const; const std::string& name () const; unsigned int level () const; ... }; int main (int argc, char* argv[]) { options o (argc, argv); if (o.help ()) print_usage (); if (o.level () > 4) cerr << "name is " << o.name () << endl; ... } It is easy to start using CLI in your application since there are no external dependencies. You can compile your command line interface to C++ and simply add the generated files to your project's source code. For a five minute introduction to CLI, see the "Hello World" example in the CLI Getting Started Guide: http://www.codesynthesis.com/projects/cli/doc/guide/#2 More information, documentation, and source code distributions are available from the project's web page: http://www.codesynthesis.com/projects/cli/ Enjoy, Boris -- Boris Kolpackov, Code Synthesis Tools http://codesynthesis.com/~boris/blog Open-source XML data binding for C++: http://codesynthesis.com/products/xsd XML data binding for embedded systems: http://codesynthesis.com/products/xsde

4 6

Re: [boost] [Boost-users] at_thread_exit() never getting called
by vicente.botet 29 Oct '09

29 Oct '09

Hi, ----- Original Message ----- From: "cowwoc" <cowwoc(a)bbs.darktech.org> To: <boost-users(a)lists.boost.org> Sent: Wednesday, October 28, 2009 7:33 PM Subject: Re: [Boost-users] at_thread_exit() never getting called > > > I think https://svn.boost.org/trac/boost/ticket/2739 prevents it from > working. > > Gili > > > Steven Watanabe-4 wrote: >> >> AMDG >> >> cowwoc wrote: >>> I am registering boost::this_thread::at_thread_exit() against one of my >>> threads. When the main thread exits using "return 0" the at_thread_exit >>> hook >>> never gets invoked. Is this normal? >> >> It's supposed to work for the main thread... For me yes, but it dosn't works. The example attached to the ticket show the problem. >>> Is there a way to hook the main thread >>> shutting down? >>> >> >> On windows you can use on_thread_exit(). >> The patch worked when I summited it. Anthony, I've see that you have started to integrate the patch for the thread attributes. Do you plan to integrate this patch also? Thanks, Vicente

2 4

what is the interest of In Place factory
by rodrigue pons 29 Oct '09

29 Oct '09

Hello, I was looking about the boost In Place Factory to resolve a problem i got, and there is something i don't understand: what is the advantage of this lib? For example: I get a class A, wich constructor is: A( int, const string& ); And an another class, C, that contains an A*. C provides a method to construct this A*: void C::BuildA( int i, const string & str ); wich will be called this way: instance_of_C.BuildA( 1, "test" ); If now i use the boost In Place Factory, the member function C::BuildA will become: template<class InPlaceFactoryT> void C::BuildA( InPlaceFactoryT const& factory ) wich will be called this way: instance_of_C.BuildA( 1, "test" ); We can see here that with or wothout the In Place Factory, the code is exactly the same. So i guess there is something i didn't understand. But what?

2 2

boost.math
by rodrigue pons 29 Oct '09

29 Oct '09

Hello, i need to implement the computation of huges series. These series are made of floats, and thus the error propagates. The problem is that the main constrain is the execution time, thus i must use the more "native" type possible. Is boost.math offer a solution to minimize this error? Which type of float (float, double, any structure?) must i use? Thanks.

5 10

[spirit][regex] rxstrlit/regex_p with wchar_t strings
by Adam Badura 29 Oct '09

29 Oct '09

Is it possible to use rxstrlit/regex_p with wide character strings (wchar_t based)? Or even better, with arbitrary char type/char traits pair? I tried this with suggested example (http://www.boost.org/doc/libs/1_40_0/libs/spirit/classic/example/fundamenta…) and after converting to wchar_t what was required and compiling it run successfully. But it generated a lot of warnings about converting wchar_t to char in headers that looked like regex headers. So I guess it worked only because the wchar_ts in the example are actually chars. If I changed the example to use wchar_t which have no corresponding char values the example would likely fail. In the end I have a string with templated char type and traits type (just like with string and iostream library). And I want to match it against grammar build from (among others) strings with the same char type and traits type. Can I force regex in Spirit to do that? Adam Badura

1 0

Why BOOST_HAS_DECLSPEC is not defined under MingW?
by Artyom 29 Oct '09

29 Oct '09

Hello, I've noticed following lines under boost/config/platform/win32.hpp #if !defined(__GNUC__) && !defined(BOOST_HAS_DECLSPEC) # define BOOST_HAS_DECLSPEC #endif Why? GCC provides support of declspec, Why it is specifically undefined? It can auto-export symbols but it does not work when static members involved. Thanks, Artyom

1 0

Re: [boost] New boost packaging suggestion for windows
by Julian Bangert 29 Oct '09

29 Oct '09

Hello, > Sadly, the only point being discussed so far is the online registration. > What I find to be at least as annoying is the size of the package. And > by that I'm not (only) referring to the memory or bandwidth. The most > important issue is the burden of having to deal with such an amount of > data, even if I'm only interested into a relatively small part of boost. > My package contains everything in one archive. These 37MB offer quite good compression and you can choose what you wish to extract. > I wonder whether there is still any thought or even effort spent on > breaking boost up into individual components that can be built, tested, > and ultimately also packaged separately. Any news on that ? > > Thanks, > Stefan > Well, a lot of Linux distributions already have this ( all the libboost- packages in debian for examples ) . In W32 it is possible even with BoostPro and in my distribution you can selectively extract libs. Tell me if this is wanted/appreciated and I can write a GUI frontend to automatically install components. I just uploaded the files to 2 sites for distribution, at least one of which should be up at any given time: 1) ( the mirror, but the preferred location ) http://boost-win-bin.googlecode.com/files/boost_1_40_0-vc9-preview.7z* 2) ( main site, but not on a good machine) https://obliviononline.com/pub/boost/ *After a few people confirm that this works for them they should be considered stable and I would build for other C versions as well. Then they could also be mentioned in getting started. * *Thanks, Julian Bangert __________ Information from ESET NOD32 Antivirus, version of virus signature database 4553 (20091028) __________ The message was checked by ESET NOD32 Antivirus. http://www.eset.com

2 1

[dbc] Interest in Design By Contract for C++?
by Lorenzo Caminiti 29 Oct '09

29 Oct '09

Hello all, Is there any interest in a library that supports Design By Contract (DBC) for C++? All DBC features of the Eiffel programming language are supported by this library, among others: 1) Optional compilation and runtime checking of preconditions, postconditions, and invariants. 2) Subcontracting for derived classes. 3) Use of "old" in postconditions. 4) Automatic contract documentation (integrated with doxygen or similar tools). EXAMPLE This is part of the Stack4 DBC example presented for Eiffel in the book "Object Oriented Software Construction", B. Meyer, 1997. It has been coded for C++ using this library. #include <dbc.hpp> // This library. template<typename T> class Stack4 DBC_INHERIT_OBJECT(Stack4<T>) { public: Stack4(const int& n): capacity_(0), count_(0), representation_() DBC_CONSTRUCTOR( (private) (template)(Stack4)( (const int&) (n) ), { // Constructor preconditions. DBC_ASSERT(n >= 0, "non negative capacity"); }, { // Constructor postconditions. DBC_ASSERT(self.now.capacity() == n.now, "capacity set"); DBC_ASSERT(self.now.empty(), "is empty"); }, { // Constructor body. capacity_ = n; representation_.resize(capacity_); }) virtual ~Stack4() DBC_DESTRUCTOR( (public) (virtual) (template)(Stack4)(), { // Destructor body (do nothing). }) void remove() DBC_MEM_FUN( (public) (void) (template)DBC_COPYABLE(Stack4) (remove)(), { // Member function preconditions. DBC_ASSERT(!self.empty(), "not empty"); }, { // Member function postconditions. DBC_ASSERT(!self.now.full(), "not full"); DBC_ASSERT(self.now.count() == (self.old.count() - 1), "count decreased"); }, { // Member function body. --count_; }) ... // The rest of the Stack4 class. private: int capacity_; int count_; std::vector<T> representation_; DBC_INVARIANT(Stack4, { DBC_ASSERT(self.count() >= 0, "count non negative"); DBC_ASSERT_STREAM(self.count() <= self.capacity(), "count no greater than capacity", err << "count " << self.count() << " bounded by capacity " << self.capacity()); DBC_ASSERT( self.capacity() == int(self.representation_.capacity()), "capacity consistent with vector capacity"); DBC_ASSERT(self.empty() == (self.count() == 0), "empty when no elements"); if (self.count() > 0) DBC_ASSERT( self.representation_.at(self.count() - 1) == self.item(), "if positive count, item at top"); }) }; Example Notes: a) The somewhat strange syntax of the macro-based API (i.e., DBC_CONSTRUCTOR(), DBC_DESTRUCTOR(), and DBC_MEM_FUN()) uses a C++ preprocessor sequence of tokens "(public) (void) (template) ..." (this library internally uses Boost.Preprocessor to implement these macros). This library also provides a code-based API (dbc::fun::constr<>, dbc::fun::destr<>, and dbc::fun::mem<>) that can be used instead of the macro-based API but more setup code needs to be written by the programmers. b) This library also internally uses Boost.MPL mainly for typetraits, to support "old" in postconditions but only for types marked DBC_COPYABLE(), and for static assertions checking for library missuses (e.g., incorrect preprocessor sequence of tokens passed to the macro-based API). c) This library requires contracts to be written together with the class declaration (as contracts are part of the class specification). The class definition (function body) instead can either be written together with the contracts in the class declaration (like in the example above) or it can be written separately from the class declaration (i.e., this library maintains for function bodies the same C++ feature that allows to separate function's declaration and definition). Cheers, Lorenzo

5 9

[integer] Compilation failed in Visual Studio
by Adam Badura 28 Oct '09

28 Oct '09

Following simple program: #include <boost/integer_fwd.hpp> int main() { return 0; } does not compile in Visual Studio 2008 with Boost 1.40.0. Compilation errors are following: 1>d:\libraries\boost_1_40_0\boost\integer_fwd.hpp(70) : error C2039: 'long_long_type' : is not a member of 'boost' 1>d:\libraries\boost_1_40_0\boost\integer_fwd.hpp(70) : error C2065: 'long_long_type' : undeclared identifier 1>d:\libraries\boost_1_40_0\boost\integer_fwd.hpp(70) : error C2913: explicit specialization; 'boost::integer_traits' is not a specialization of a class template 1>d:\libraries\boost_1_40_0\boost\integer_fwd.hpp(73) : error C2913: explicit specialization; 'boost::integer_traits' is not a specialization of a class template Adam Badura

6 9