- Boost - lists.preview.boost.org

Trac open bugs - by assignee
by Marshall Clow 14 Jan '08

14 Jan '08

[ 195 open bugs today, 195 Friday ] If you are maintaining a library, and have not logged into the trac system at <http://svn.boost.org/trac/boost/>, please do so ASAP. Until you do that, no tickets can be assigned to you, and will remain under "None". Instructions on working with tickets can be found at: <http://svn.boost.org/trac/boost/wiki/TicketWorkflow> and a mapping of user names to "real names" can be found at: <http://svn.boost.org/trac/boost/report/16> Bug summary 18 az_sw_dude 17 dgregor 15 djowel 12 doug_gregor 12 agurtovoy 11 grafik 11 dave 11 None 8 vladimir_prus 8 jsiek 7 johnmaddock 7 anthonyw 6 rogeeff 5 witt 4 bemandawes 3 pdimov 3 nesotto 3 jmaurer 3 igaztanaga 3 ebf 3 danielw 2 urzuga 2 turkanis 2 pavol_droba 2 nasonov 2 matias 2 danieljames 2 <Blank> 1 t_schwinger 1 speedsnail 1 shammah 1 samuel_krempp 1 marshall 1 kaalus 1 hljin 1 hkaiser 1 dlwalker 1 burbelgruff 1 aaron_windsor <Blank> 1307 [lambda] invalid boostbook <Blank> 1434 Boost.Preprocessor_ small fix for the documentation None 1068 Mersenne twister disables streaming for Visual C++ None 1094 Finding the correct library to link (feature request for pkg-config support)h None 1222 lambda::ret<T> should declare result_type. None 1247 Typos in "boost/random/additive_combine.hpp"_ lines 68-69 None 1270 uniform_smallint doesn't compile with lagged_fibonacci random number generators None 1407 Boost is doesn't install on MacPorts using Leopard None 1493 SVN files making it through to install None 1515 [lambda] C4512 warnings from VC8.0 None 1544 uniform_01 w/ref template param causes ref to ref error None 1546 Method boost::random::uniform_int::operator()(engine_ value) is missing None 1548 [variant][docs]typo: formal arg_ operand_ should be v in times_two arglist aaron_windsor 778 top-level configure is broken agurtovoy 1001 gcc 4.1.2 segfaults on mpl/test/apply.cpp agurtovoy 1051 MPL header ordering triggers bug agurtovoy 1099 unable to iterate through a "non-explicitly-declared" mpl::set agurtovoy 1215 Boost 1.34.1_ mpl: Wrong workaround detection using MinGW32 (or.hpp_ line #33) agurtovoy 1317 has_xxx randomly broken in msvc agurtovoy 1469 [mpl] nested typedef of set has two different meanings agurtovoy 1476 always<> is not nullary. agurtovoy 1528 g++ 4.3.0 reports error because of redeclaration of next agurtovoy 1549 Boost.MPL: 'index_of' algorithm is not documented agurtovoy 1568 duplicate include guards agurtovoy 588 mpl::remove compile error with gcc 4.1.0 agurtovoy 640 documentation mistake anthonyw 1154 tss destruction segfaults in conjunction with dlopen/dlclose anthonyw 1168 [thread] tss crashes randomly anthonyw 1268 xtime_cmp changes to deal with overflow were reverted anthonyw 1470 Boost.Thread: Compilation errors with non-__cdecl calling convention anthonyw 1547 [thread] error C2065: 'NULL' : undeclared identifier in thread_primitives.hpp anthonyw 876 xtime documentation incomplete anthonyw 881 errors when build with Apache stdcxx az_sw_dude 1028 typo in boost header: date_time/time_defs.hpp az_sw_dude 1078 from_iso_string cannot read the output from to_iso_string az_sw_dude 1098 Urgent libboost-date-time1.33.1 : bugs on ia64 ? az_sw_dude 1147 date_time library contains global #define ERROR az_sw_dude 1160 warning: month_format shadows a member of this az_sw_dude 1162 warning: ticks shadows a member of this az_sw_dude 1289 posix_time::time_facet forgets to pass a_ref argument to base class az_sw_dude 1299 change in typedef stringstream_type in format_date_parser.hpp causing compilation error az_sw_dude 1306 invalid docbook in date_period.xml az_sw_dude 1384 Linking problem with date_time library on Visual C++ 2008 Express az_sw_dude 1386 date_time documentation Jamfile breaks building of boost docs az_sw_dude 1524 format_date_parser.hpp(221) : cannot convert parameter 1 az_sw_dude 287 wrong usage of ios_base::narrow az_sw_dude 316 date_time type conversion warning az_sw_dude 604 from_ftime incorrectly processes FILETIME filled with zeros az_sw_dude 642 operator<< for gregorian::date_duration not found az_sw_dude 889 Insane Dependencies az_sw_dude 890 date_time library supports only the current dst rule bemandawes 1378 filesystem path invalid name for hidden files (LINUX) bemandawes 1389 filesystem::ostream << boost::format generates operator ambigious error (in MSVC++) bemandawes 1458 Darwin Tiger throws std::runtime_error: locale::facet::_S_create_c_locale name not valid bemandawes 752 directory_iterator doesn't work with catch burbelgruff 1503 typeof bug (big integral constant) danieljames 1554 When BOOST_HASH_NO_EXTENSIONS is defined hash doesn't support new string types. danieljames 1555 When BOOST_HASH_NO_EXTENSIONS is defined hash doesn't support boost::system::error_code danielw 1044 Argument pack inaccessable in a functions return type danielw 1054 Parameter takes an "infinite" amount of time to compile with the Intel compiler. danielw 1097 keyword.hpp generates many warnings C4180: qualifier applied to function type has no meaning; ignored dave 1010 linking boost.python on freebsd dave 1019 iterator_facade::pointer should be the return type of operator-> (DR 445) dave 1085 Python rules for compiling in Mac OS X dave 1179 [boost.python] can not export a union in VC2005sp1 dave 1181 [boost.python] can modify enum value dave 1387 Review / update docs to reflect changes dave 1460 Python classes with multiple bases are convertible only to the first class in the lists dave 1482 boost::python::throw_error_already_set should be marked noreturn dave 1516 [python] Failing VC9 regression tests dave 865 Use of C++0x keyword as identifier dave 910 gcc strict-aliasing problems with python dgregor 1003 [iostreams] copy-paste error in typedefs for wchar multichar_filters dgregor 1139 [iostreams] Regex filter segfaults when zero matches found dgregor 1140 boost::iostreams linked_streambuf bug dgregor 1149 Minor doc error in basic_null_device dgregor 1164 Floyd Warshall broken with unsigned edge weights dgregor 1185 iostreams::direct_streambuf<T_Tr>::is_open always returns false if output iterator is not null dgregor 1192 [boostbook] problem when two files have the same name dgregor 1199 configure doesn't work with path containing whitespaces (MacOS X) dgregor 1232 mapped_file_source::is_open() is broken under windows dgregor 1310 [result_of] const-qualified function pointer doesn't work dgregor 1326 Unable to check graph isomorphism using LEDA adapter dgregor 1391 dominator_tree_test on Borland/CodeGear outputs overly long line dgregor 1394 Translate libs/graph/build/python/Jamfile to BBv2 dgregor 1395 Write Tests for Python Bindings dgregor 556 Bundled graph properties dgregor 732 Johnson All-Pairs needs better "no path" information dgregor 736 Const correctness violation djowel 1170 Emit Warnings instead of # symbols in the syntax highlighter djowel 1171 Quickbook title output djowel 1172 non-utf djowel 1176 Space after inline code djowel 1206 Escaping from within code? djowel 1273 CR+LF newlines in position_iterator djowel 1276 spirit problem with _GLIBCXX_DEBUG djowel 1277 Closing section like [pre with } causes Quickbok to crash djowel 1280 sections in imported source files get put inside <para> elements in docbook output djowel 1281 Quickbook produces invalid BoostBook/DocBook XML djowel 1324 tuple should have a swap() that operates element-by-element djowel 1396 wrong result_of invocation around transform_view djowel 1436 [quickbook] inline code inside headings djowel 1484 Quickbook produces illegal docbook for some docinfo fields. djowel 1500 [Spirit/Phoenix] C4512 Compiler warnings from VC8 dlwalker 613 boost/crc.hpp uses non-standard conforming syntax doug_gregor 1021 [Graph][reverse_graph] Problem using reverse_graph adapter with an adapted user defined graph doug_gregor 1076 compile error: disconnecting struct with operator()() doesn't work in VS2005 SP1 doug_gregor 375 LEDA graph adaptors do not handle hidden nodes properly doug_gregor 402 random_vertex/random_edge are unnecessarily inefficient doug_gregor 403 Document copy_component doug_gregor 447 reverse_graph and constness of property maps doug_gregor 708 Dijkstra no_init version should not require VertexListGraph doug_gregor 733 Numbered headers don't work with "preferred" syntax doug_gregor 735 Fruchterman-Reingold grid performance can be improved doug_gregor 738 Memory leaks with signal::connect? doug_gregor 829 Implicit graph not implement doug_gregor 852 Problem with Boost and GCC 4.1 ebf 1507 [variant] C4512 warnings from VC8.0 ebf 965 [doc] boost::variant tutorial - final example uses v1_v2 should be seq1_seq2 ebf 993 Variant should use least common multiple of alignments_ rather than maximum grafik 1041 Cygwin requires PATH setting. grafik 1062 Cygwin install stage fails with combination of patches grafik 1322 trac rejects patch attachment as spam grafik 1417 Regresson tests hang in Darwin (Tiger) grafik 1430 Regression fails under Cygwin grafik 1433 Trac's spam detection rejects too many valid messages grafik 1512 Broken link to vacpp in bjam docs. grafik 1513 Broken link to bcpp in bjam docs. grafik 616 Boost Jam_ and non english directorys grafik 959 linking fails when Boost is compiled with STLport 5.1.* on Linux (names mismatch) grafik 986 Problem building Python modules on boost 1.34.0 hkaiser 1079 boost-1.34.0 fails to compile. concept checks not satisfied. hljin 1522 bit_range friend decl in bit_aligned_pixel_reference.hpp needs to be fully qualified for gcc 4.3 mainline igaztanaga 1080 boost::interprocess win32 global file mapping issue igaztanaga 1210 interprocess::barrier hangs during second use under linux (boost 1.33.1) igaztanaga 1390 Interpocess: managed shared memory failing completely under OS X jmaurer 351 Diff in state of mersenne_twister gen between GCC3.41 & CW9 jmaurer 599 uniform_01 copies engine instead of using a reference jmaurer 819 uniform_int<> with type's maximum availaible range error johnmaddock 1081 Empty string rejected as perl-style regex johnmaddock 1314 Using SSE-intrinsics in VC8 causes static assert in type_with_alignment.hpp johnmaddock 1411 Fix BOOST_PARTIAL_SPECIALIZATION_EXPLICT_ARGS johnmaddock 1440 libs/config/test/link/Jamfile.v2 confuses process_jam_log johnmaddock 1446 POSIX API doesn't use C locale johnmaddock 1451 error: use of C99 long long integer constant johnmaddock 1511 Non latin symbols in regexp jsiek 1531 segfault in dynamic_bitset::reference assign operator jsiek 1540 Poisson distribution very slow for large mean (and may also overflow). jsiek 416 Spelling of Edmonds-Karp-Algorithm jsiek 575 Calling subgraph::global_to_local on a root graph jsiek 636 strange compiling problem for transitive_closure jsiek 815 remove_edge core dumps on self-circle jsiek 875 No iterator based constructor for adjacency_matrix jsiek 900 graphml reader namespace handling is broken kaalus 1184 property_tree assignment (operator) bug marshall 1252 [pool] severe overhead with unaligned sizes. matias 1406 Understanding the Tables outdated matias 1539 Missing semi-colon in random library quitck start example nasonov 1220 lexical_cast requires RTTI nasonov 754 boost::any - typeid comparison across shared boundaries nesotto 1284 [range] sub_range assignment issue nesotto 1464 boost_range_array unused in several array_size() functions nesotto 1565 iterator_range disables msvc warning 4996 pavol_droba 1152 rle_example fails pavol_droba 1385 begin must be boost-qualified pdimov 1106 shared_ptr<T> should not convert to shared_ptr<U> when T* doesn't convert to U* pdimov 1444 scoped_ptr::operator== should be equivalent to a.get()==b.get()_ but is currently !!a==!!b pdimov 779 gcc-4.2 atomicity.h location rogeeff 1383 signal.h features not found on Mac OS rogeeff 1489 BOOST_CHECK_CLOSE fails to compile with templated value type rogeeff 1542 [test] compiler errors when building with stdcxx library rogeeff 1560 Performance testing with boost::test rogeeff 1561 Using BOOST_AUTO_TEST_CASE with boost::program_options rogeeff 1566 Missing example files in documentatio samuel_krempp 859 boost::format ignores a user defined locale shammah 386 boost::pool_allocator breaks with vector of vectors speedsnail 1138 Problems with TSS and static thread library t_schwinger 1100 Building boost.function_types fails cvs rev-1.1_ no chdir command in bash turkanis 1523 [iostreams] VC8/VC9 compiler warnings turkanis 1545 [boost/rational.hpp] 'noskipws' is not a member of 'std' urzuga 574 [boost::lambda] Compile error with libstdc++ debug mode urzuga 781 Lambda: (_1 + "y")(string("x")) Doesn't Compile vladimir_prus 1165 more quoting problems vladimir_prus 1274 Useless error message vladimir_prus 1321 invalid docbook in tool documentation vladimir_prus 1527 [program_options] Second (and subsequent) lines in tabbed text not aligned correctly vladimir_prus 1530 Program options documentation - Overview - Syntactic Information example typo vladimir_prus 1537 no value given in 'mysql_password =' vladimir_prus 469 multitoken broken vladimir_prus 689 [program_options] Endless loop with long default arguments witt 1046 Boost.Python quickstart instructions mention nonexistent target witt 583 Fixes for build on IBM pSeries for AIX and Linux witt 834 Homepage regression links witt 957 The "Getting Started" page does not mention the stdlib option witt 973 zip_iterator has value_type == reference -- -- Marshall Marshall Clow Qualcomm, Inc. <mailto:mclow@qualcomm.com> The famous British scientist, Lord Kelvin, said: "When you measure what you are speaking about and express it in numbers, you know something about it, but when you cannot (or do not) measure it, when you cannot (or do not) express it in numbers, then your knowledge is of a meagre and unsatisfactory kind."

1 0

testing , please ignore
by John Torjo 14 Jan '08

14 Jan '08

-- http://John.Torjo.com -- C++ expert ... call me only if you want things done right

1 0

[asio] subtle bug in win_iocp_io_service?
by Roland Schwarz 14 Jan '08

14 Jan '08

First I have to apologize for cross - posting, but I really do not know which is the correct list to ask this. This is a follow up to my first attempt that was of subject "Stopping active open connections". I know it would be ideal if I was able to post a code snippet that clearly shows the bug I suspect. But unfortunately I am not able to do so. The "bug" seems to be so time dependent, that I cannot manage to isolate it from my code. Instead I submit a reasoning and a fix that worked in my case. I am doing this in the hope that someone (chris possibly you ? ) can assert it really is a bug or give me a hint what I might do wrong. 1) What is happening: In code similar to the http server3 example I have one client connection open (waiting for a read) and one pending incoming connection. Shuting down the server (Ctrl-C) shows inconsistent behaviour: *) Either everything works well or *) the open connection socket gets closed, but the connection objects dtor does not get called or *) there is an access violation, with odd stack frame (somewhere from biolsp.dll ?!) 2) What change made it work for me? In the file win_iocp_io_service.hpp on line 94 in function shutdown_service I changed the timeout value from zero to 10 msec. To me the problem looks as if it was not possible to reliably find out the number of outstanding operations. Since 10 msec is as arbitrary a number as 0 I guess the proposed change is not a solution but only masking the error in a different manner. This would mean that it would be necessary to record the outstanding operations in a separate list and call the destructors on all that have not been retrieved by GetQueuedCompletionStatus. In the hope that someone cares, Roland aka speedsnail

2 3

[regex] unknown escape sequence in libs/regex/test/regress/test_perl_ex.cpp
by Boris Gubenko 14 Jan '08

14 Jan '08

regex library tests regex_regress[_threaded] fail to compile on gcc-4.2.1_hpux_ia64 because for a character string "(?<=*|\B)" gcc 4.2.1 emits a hard error "unknown escape sequence". gcc 3.4 series issues a warning, as well as EDG-based compilers. See reproducer below. The character string in question should, probably, be: "(?<=*|\\B)". Ok to change? Thanks, Boris x.cpp ----- char s[] = "\B"; bash-2.03$ g++ --version | head -1 ; g++ -c x.cpp g++ (GCC) 4.2.1 x.cpp:1: error: unknown escape sequence '\B' bash-2.03$ bash-3.00$ g++ --version | head -1 ; g++ -c x.cpp g++ (GCC) 3.4.6 20060404 (Red Hat 3.4.6-3) x.cpp:1:12: warning: unknown escape sequence '\B' bash-3.00$ bash-2.04$ eccp --version -c x.cpp Edison Design Group C/C++ Front End, version 3.5 (Dec 20 2004 13:57:48) Copyright 1988-2004 Edison Design Group, Inc. "x.cpp", line 1: warning: unrecognized character escape sequence char s[] = "\B"; bash-2.04$

2 3

TR1 beta for MSVC 9 RTM
by Peter Dimov 13 Jan '08

13 Jan '08

http://blogs.msdn.com/vcblog/archive/2008/01/08/q-a-on-our-tr1-implementati… Sounds like some pretty nice work.

3 2

[Intel 10.1] Needs to be configured
by Beman Dawes 13 Jan '08

13 Jan '08

I'm getting this from Intel 10.1: Unknown compiler version - please run the configure tests and report the results I'm traveling for the next two days and can't do anything about it. I'd appreciate it if someone could make the needed config changes. --Beman

2 2

[random] failure of random_test on Red Hat Linux 2.6.9 ia64
by Boris Gubenko 13 Jan '08

13 Jan '08

Boost.Random library test random_test fails on linux_ia64_gcc: see <http://tinyurl.com/32hqlu> . It fails with the similar errors on Sandia-pathscale: see <http://tinyurl.com/2va9tz>. Both platforms are Red Hat Linux 2.6.9 ia64: . linux_ia64_gcc is Red Hat Linux 2.6.9-42.EL . Sandia-pathscale is Red Hat Enterprise Linux 2.6.9-34.0.2.ELsmp The test does NOT fail on Sandia-gcc-64 which is a Red Hat Enterprise Linux 2.6.18-8.el5. x.cpp below is a reduced reproducer. It passes on every platform I tried it on, including Debian GNU/Linux ia64, except Red Hat Linux 2.6.9-42.EL. On the latter, it fails for long double which is how the original test random_test fails on linux_ia64_gcc. On the platforms where it passes it outputs: *** testing float *** g = 1.353399e+00 g2 = 1.353399e+00 *** passed *** *** testing double *** g = 1.353399e+00 g2 = 1.353399e+00 *** passed *** *** testing long double *** g = 1.353399e+00 g2 = 1.353399e+00 *** passed *** On Red Hat Linux 2.6.9-42.EL it outputs: *** testing float *** g = 1.353399e+00 g2 = 1.353399e+00 *** passed *** *** testing double *** g = 1.353399e+00 g2 = 1.353399e+00 *** passed *** *** testing long double *** g = nan g2 = 1.000000e+00 *** failed *** The comment in explicit-failures-markup.xml for random_test for intel-linux-9.0 toolset says: Reported to Intel as issue 409291, and confirmed as a problem. Probably this relates to a specific Linux-Kernal or GLibC version." I'm wondering: is this problem specific to a Linux Red Hat 2.6.9 ia64 Kernal or GLibC version on this platform? Thanks, Boris x.cpp ----- #include <cmath> #include <stdio.h> #include <boost/random.hpp> template<class URNG, class Dist> void instantiate_dist(URNG& urng, const Dist& dist) { boost::variate_generator<URNG, Dist> gen(urng, dist); boost::variate_generator<URNG&, Dist> genref(urng, dist); long double g = gen(); long double g2 = genref(); printf("g = %Le g2 = %Le\n", g, g2); if ( std::abs(g - g2) < 1e-6 ) puts("*** passed ***"); else puts("*** failed ***"); } template<class T> void test() { boost::rand48 urng; urng.seed(); instantiate_dist(urng, boost::triangle_distribution<T>(1, 1.5, 7)); } int main() { puts("*** testing float ***"); test<float>(); puts("*** testing double ***"); test<double>(); puts("*** testing long double ***"); test<long double>(); }

1 2

Re: [boost] [Boost-users] Review: Switch library
by Hartmut Kaiser 13 Jan '08

13 Jan '08

Joel de Guzman wrote: > Richard wrote: > > [Please do not mail me a copy of your followup] > > > > boost(a)lists.boost.org spake the secret code > > <fmblls$ees$1(a)ger.gmane.org> thusly: > > > >> I also urge Steven to pursue the dynamic_switch idea I > posted which > >> employs perfect hashing at compile time whereby allowing > equivalent > >> or faster than a switch dispatch at runtime where the cases are > >> dynamic (instead of compile time constants). > > > > I just want to say that I think this approach is so > amazingly cool, my > > socks are not only blown off, but orbiting the planet :-). > > Yes, it's so cool. I believe it can be done. A well designed > compiler implements switch using perfect (or near perfect) > hashing anyway. Seems though that some compilers still don't. > > Here's the relevant link (with attached experiment code): > > http://lists.boost.org/Archives/boost/2004/08/69787.php FWIW, I did a lot of work related to perfect hash generation lately (up 100 million entries in the hash table) and I second Joels request. Perfect hashs are a _very_ fast alternative to sequenced if/else if chains. The beauty of this is, that it is possible to generate perfect hashs for any type of key, not only for integer values, which again is of particular interest in dynamic switch scenarios. And I'ld be happy to help with this. Regards Hartmut

1 0

Re: [boost] [Boost String Algorithms library] ireplace_all bug with character arrays
by Thorsten Ottosen 13 Jan '08

13 Jan '08

shunsuke skrev: > Richard Turrin wrote: >> Hi, >> >> I've encountered a bug with ireplace_all from the Boost String Algorithms library for version 1.35. If I pass a character array for the Format argument, the function ignores the null terminator and instead uses the entire array minus the last character to replace the occurrences of the Search string in the Input parameter. However, if I provide a pointer to a character array, the string replacement is done as expected. >> >> When I stepped into the code, I came across the following lines (excerpt from /trunk/boost/range/as_literal.hpp): >> >> template< class Char, std::size_t sz > >> inline iterator_range<const Char*> as_literal( const Char (&arr)[sz] ) >> { >> return boost::make_iterator_range( arr, arr + sz - 1 ); >> } >> >> There is no check for a null terminator. Nor did I find one after this function returned. I think the author here assumed that a caller would always pass in a character array of the right size. > > Character array seems to have three views. > > 1. array: SIZE("ab\0c") == 5; > 2. literal: SIZE("ab\0c") == 4; > 3. null-terminated: SIZE("ab\0c") == 2; > > Both 2. and 3. is forced into boost::as_array. > "One name, two facilities" usually makes trouble. > IMO, `as_c_str` should have been added for 3. I agree we could add a new function. Can we come up with a better name than as_c_str()? Or should we simply make as_literal() scan the array? -Thorsten

1 0

Re: [boost] Review: Switch library
by Joel de Guzman 13 Jan '08

13 Jan '08

Tobias Schwinger wrote: > Joel de Guzman wrote: >> Richard wrote: >>> [Please do not mail me a copy of your followup] >>> >>> boost(a)lists.boost.org spake the secret code >>> <fmblls$ees$1(a)ger.gmane.org> thusly: >>> >>>> I also urge Steven to pursue the dynamic_switch idea I posted >>>> which employs perfect hashing at compile time whereby allowing >>>> equivalent or faster than a switch dispatch at runtime where >>>> the cases are dynamic (instead of compile time constants). >>> I just want to say that I think this approach is so amazingly cool, my >>> socks are not only blown off, but orbiting the planet :-). >> Yes, it's so cool. I believe it can be done. A well designed >> compiler implements switch using perfect (or near perfect) >> hashing anyway. Seems though that some compilers still >> don't. > > Another interesting approach could be "adaptive switch" as explained here: > > http://osdir.com/ml/parsers.spirit.devel/2006-05/msg00025.html > > (a self-optimizing alternative parser). Maybe it can be combined with > hashing techniques. Yeah, it's a very interesting idea! Regards, -- Joel de Guzman http://www.boost-consulting.com http://spirit.sf.net

1 0

Re: [boost] Review: Switch library
by Joel de Guzman 13 Jan '08

13 Jan '08

Joel de Guzman wrote: >> And finally, every review should answer this question: >> >> * Do you think the library should be accepted as a Boost library? >> Be sure to say this explicitly so that your other comments don't >> obscure your overall opinion. > > Not at the moment. I think we need a more thorough discussion on > alternative interfaces. We also need to discuss the issues > that were raised in the review. I'm eager to hear Steven's > replies. He seem to be a bit too quiet? > > I'm really tempted to say "yes" and let Steven address the concerns > raised (including mine). I'm very confident in Steven's abilities. > He's one of those who still gives me the "oooh" feeling with his > code. And, I really *NEED* such a switch utility now and not later. > > So, please take this as a soft "no" vote for now. I encourage > Steven to get more involved in the discussion and consider > all the issues raised. As soon as these matters are ironed out, > fire up another review ASAP. Oh, perhaps I'd like to ask a review extension. If Steven can reply to my concerns and is willing to address them, I might still change my vote to a yes. I really need this facility now! Bottom line: more discussion please! This is a small library, yet it is (to me) very important. Let's get the design correct. Regards, -- Joel de Guzman http://www.boost-consulting.com http://spirit.sf.net

2 3

Re: [boost] [Range] Misc comments
by bwood 13 Jan '08

13 Jan '08

Thorsten Ottosen wrote: >brass goowy skrev: >> utility_class.html says, "Recall that many default >> constructed iterators are singular..." >> >> I didn't find other uses of the word singular in the >> documentation and am not sure what you mean. Are you >> saying they are not meant to be range endpoints? > > From the standard 24.1: > >"Iterators can also have singular values that are >not associated with any container. [ Example: After the declaration of >an uninitialized pointer x (as with int* x;), x >must always be assumed to have a singular value of a pointer. ?end >example ] Results of most expressions are undefined >for singular values; the only exceptions are destroying an iterator that >holds a singular value and the assignment of a >non-singular value to an iterator that holds a singular value. In this >case the singular value is overwritten the same way >as any other value. Dereferenceable values are always non-singular." > OK, thanks. >> I think the "sub" in the class name sub_range is kind of >> misleading. The documentation has the following: >> "Imagine that we have an algorithm that searches for a >> sub-string in a string. The result is an iterator_range, >> that delimits the match. We need to store the result from >> this algorithm. Here is an example of how we can do it with >> and without sub_range >> >> std::string str("hello"); >> iterator_range<std::string::iterator> ir = find_first( str, "ll" ); >> sub_range<std::string> sub = find_first( str, "ll" );" >> >> The docs also say, "The iterator_range class is templated on an >> Forward Traversal Iterator and should be used whenever fairly >> general code is needed. The sub_range class is templated on an >> Forward Range and it is less general, but a bit easier to use >> since its template argument is easier to specify. The biggest >> difference is, however, that a sub_range can propagate >> constness because it knows what a corresponding const_iterator is." >> >> The sample code that has a sub-string with either an >> iterator_range or sub_range and the description of the >> two classes don't give much basis for sub being in the >> name. > >So you would just call it range? Possible, but difficult to do now. > I prefer range to sub_range. It isn't that important to me, but I suggest you make some comment in the documentation about the matter. That might lead to some further ideas. >> I didn't find anything about serialization in the docs. >> iterator_range has an operator<<, but understandably no >> operator>>. Do you plan to add something in this area? > >No. Don't Boost.Serialization have support for serializing a [begin,end) >range? Not to my knowledge. Even if B.Ser had that, I think using it would require what you are encouraging people to get away from with the Range library: passing around iterators. Brian Wood Ebenezer Enterprises www.webebenezer.net

1 0

Switch library review - summary of discussion so far
by Stjepan Rajko 12 Jan '08

12 Jan '08

I will try to summarize the discussions happening so far on the Switch library under review - maybe this will be helpful to those considering joining the discussion and submitting a review. * Documentation All reviewers have noted that the documentation could be improved - e.g., additional examples, performance stats, as well as more explanation of the types involved and how they are used. * Return type Tobias Schwinger suggested that the return type should be specified explicitly in the switch_ call, rather than inferring it from the function object, and this is now a part of the recent designs being discussed. Joel de Guzman also suggested that if a version of switch_ should infer the return type, that return type should be a Boost.Variant of the types returned by each of the cases. * Default default behavior If the default behavior is left unspecified, switch_ should invoke the default constructor of the return type in the default case, rather than throwing an exception. This was suggested by Tobias Schwinger after the issue was raised by Dan Marsden. Alexander Nasonov has also indicated that a throwing default case can cause inefficiency, even when it is guaranteed not to be invoked. * Fall-through Alexander Nasonov pointed out the lack of fall-through capability in the submitted implementation. Fall-through has been incorporated into the recent designs being discussed. * Allowing void-returning function objects for the default case with a non-void returning switch Tobias Schwinger mentioned the possibility of allowing default case function objects of void return type even when the switch return type is non-void, as long as the function object call does not return. This would be useful, for example, if the function object is guaranteed to throw. There is still some discussion on whether determining if the return type is void can be done efficiently. * Design There has been a lengthy discussion on the underlying design of the library, what it should offer, and whether the name of the library is appropriate. There are two types of designs that have been put forward as being appropriate and/or necessary for a Boost.Switch library. On one hand, there is the submitted design (labeled "A" in recent postings), which takes the switch cases in an MPL sequence and a single function object containing implementations of all cases. Joel de Guzman has proposed another design (labeled "B"), in which the switch cases are specified separately and allow a different function to be used for each case. Design "A" is better suited for situations in which the number of cases is determined by a compile time constant, while "B" is more appropriate for many use cases, and provides more flexibility and a more familiar syntax. It seems that a consensus has been reached that this library could offer either both interfaces in different layers, or an interface that can be used in different ways for different uses (based on a common concept capturing case sequences). (Apologies if I have missed or misinterpreted something) More reviews/votes would be extremely welcome! Regards, Stjepan

2 2

[Range] Misc comments
by brass goowy 12 Jan '08

12 Jan '08

The Intro (intro.html) says, "Below are given a small example..." I think "Here is a small example..." would work. On that same page and other pages this is found: "Warning: support for null-terminated strings is deprecated and will disappear in the next Boost release (1.34)." utility_class.html says, "Recall that many default constructed iterators are singular..." I didn't find other uses of the word singular in the documentation and am not sure what you mean. Are you saying they are not meant to be range endpoints? In the section on portability it says: "Notice also that some compilers cannot do function template ordering properly. In that case one must rely of range_result_iterator and a single function definition instead of overloaded versions for const and non-const arguments." Probably that should be "rely on range_result_iterator..." The history and acknowledgement page says, "The library have been under way for a long time..." Should be, "The library has been under..." In iterator_range.hpp a range is often declared with the name 'r' and then there is code like r.begin and r.end. In my opinion those are distractingly similar to rbegin and rend. I think something like rg.begin and rg.end would be an improvement. I think the "sub" in the class name sub_range is kind of misleading. The documentation has the following: "Imagine that we have an algorithm that searches for a sub-string in a string. The result is an iterator_range, that delimits the match. We need to store the result from this algorithm. Here is an example of how we can do it with and without sub_range std::string str("hello"); iterator_range<std::string::iterator> ir = find_first( str, "ll" ); sub_range<std::string> sub = find_first( str, "ll" );" The docs also say, "The iterator_range class is templated on an Forward Traversal Iterator and should be used whenever fairly general code is needed. The sub_range class is templated on an Forward Range and it is less general, but a bit easier to use since its template argument is easier to specify. The biggest difference is, however, that a sub_range can propagate constness because it knows what a corresponding const_iterator is." The sample code that has a sub-string with either an iterator_range or sub_range and the description of the two classes don't give much basis for sub being in the name. In that last paragraph I quoted, there are two places where it says, "an Forward." I think those should be "a Forward." And swapping "is" and "however" in the last sentence would make it easier to read. I didn't find anything about serialization in the docs. iterator_range has an operator<<, but understandably no operator>>. Do you plan to add something in this area? iterator_range<list<int>::iterator> it_rng; oarch << it_rng; // would need to send the size .................... vector<int> vec; iarch >> vec; That seems useful. Brian Wood Ebenezer Enterprises www.webebenezer.net "They that trust in the L-rd shall be as mount Zion, which cannot be removed, but abides for ever." Psalm 125:1

3 2

XML
by Adam Badura 11 Jan '08

11 Jan '08

It seems to me that Boost lacks "typical XML parser" (by that I mean something offering DOM and SAX parsing as well as validation and maybe some other features). I did not look at serialization that much but I suspect that it does not offer such properties. Why is that? Any technical reasons? Or maybe "political" reasons? Or perhabs simply no one did it? Adam Badura

9 13

Trac open bugs - by assignee
by Marshall Clow 11 Jan '08

11 Jan '08

[ 195 open bugs today, 194 yesterday ] If you are maintaining a library, and have not logged into the trac system at <http://svn.boost.org/trac/boost/>, please do so ASAP. Until you do that, no tickets can be assigned to you, and will remain under "None". Instructions on working with tickets can be found at: <http://svn.boost.org/trac/boost/wiki/TicketWorkflow> and a mapping of user names to "real names" can be found at: <http://svn.boost.org/trac/boost/report/16> Bug summary 18 az_sw_dude 17 dgregor 15 djowel 12 doug_gregor 12 agurtovoy 11 grafik 11 dave 11 None 8 vladimir_prus 8 jsiek 7 johnmaddock 7 anthonyw 6 rogeeff 5 witt 4 bemandawes 3 pdimov 3 nesotto 3 jmaurer 3 igaztanaga 3 ebf 3 danielw 2 urzuga 2 turkanis 2 pavol_droba 2 nasonov 2 matias 2 danieljames 2 <Blank> 1 t_schwinger 1 speedsnail 1 shammah 1 samuel_krempp 1 marshall 1 kaalus 1 hljin 1 hkaiser 1 dlwalker 1 burbelgruff 1 aaron_windsor <Blank> 1307 [lambda] invalid boostbook <Blank> 1434 Boost.Preprocessor_ small fix for the documentation None 1068 Mersenne twister disables streaming for Visual C++ None 1094 Finding the correct library to link (feature request for pkg-config support)h None 1222 lambda::ret<T> should declare result_type. None 1247 Typos in "boost/random/additive_combine.hpp"_ lines 68-69 None 1270 uniform_smallint doesn't compile with lagged_fibonacci random number generators None 1407 Boost is doesn't install on MacPorts using Leopard None 1493 SVN files making it through to install None 1515 [lambda] C4512 warnings from VC8.0 None 1544 uniform_01 w/ref template param causes ref to ref error None 1546 Method boost::random::uniform_int::operator()(engine_ value) is missing None 1548 [variant][docs]typo: formal arg_ operand_ should be v in times_two arglist aaron_windsor 778 top-level configure is broken agurtovoy 1001 gcc 4.1.2 segfaults on mpl/test/apply.cpp agurtovoy 1051 MPL header ordering triggers bug agurtovoy 1099 unable to iterate through a "non-explicitly-declared" mpl::set agurtovoy 1215 Boost 1.34.1_ mpl: Wrong workaround detection using MinGW32 (or.hpp_ line #33) agurtovoy 1317 has_xxx randomly broken in msvc agurtovoy 1469 [mpl] nested typedef of set has two different meanings agurtovoy 1476 always<> is not nullary. agurtovoy 1528 g++ 4.3.0 reports error because of redeclaration of next agurtovoy 1549 Boost.MPL: 'index_of' algorithm is not documented agurtovoy 1568 duplicate include guards agurtovoy 588 mpl::remove compile error with gcc 4.1.0 agurtovoy 640 documentation mistake anthonyw 1154 tss destruction segfaults in conjunction with dlopen/dlclose anthonyw 1168 [thread] tss crashes randomly anthonyw 1268 xtime_cmp changes to deal with overflow were reverted anthonyw 1470 Boost.Thread: Compilation errors with non-__cdecl calling convention anthonyw 1547 [thread] error C2065: 'NULL' : undeclared identifier in thread_primitives.hpp anthonyw 876 xtime documentation incomplete anthonyw 881 errors when build with Apache stdcxx az_sw_dude 1028 typo in boost header: date_time/time_defs.hpp az_sw_dude 1078 from_iso_string cannot read the output from to_iso_string az_sw_dude 1098 Urgent libboost-date-time1.33.1 : bugs on ia64 ? az_sw_dude 1147 date_time library contains global #define ERROR az_sw_dude 1160 warning: month_format shadows a member of this az_sw_dude 1162 warning: ticks shadows a member of this az_sw_dude 1289 posix_time::time_facet forgets to pass a_ref argument to base class az_sw_dude 1299 change in typedef stringstream_type in format_date_parser.hpp causing compilation error az_sw_dude 1306 invalid docbook in date_period.xml az_sw_dude 1384 Linking problem with date_time library on Visual C++ 2008 Express az_sw_dude 1386 date_time documentation Jamfile breaks building of boost docs az_sw_dude 1524 format_date_parser.hpp(221) : cannot convert parameter 1 az_sw_dude 287 wrong usage of ios_base::narrow az_sw_dude 316 date_time type conversion warning az_sw_dude 604 from_ftime incorrectly processes FILETIME filled with zeros az_sw_dude 642 operator<< for gregorian::date_duration not found az_sw_dude 889 Insane Dependencies az_sw_dude 890 date_time library supports only the current dst rule bemandawes 1378 filesystem path invalid name for hidden files (LINUX) bemandawes 1389 filesystem::ostream << boost::format generates operator ambigious error (in MSVC++) bemandawes 1458 Darwin Tiger throws std::runtime_error: locale::facet::_S_create_c_locale name not valid bemandawes 752 directory_iterator doesn't work with catch burbelgruff 1503 typeof bug (big integral constant) danieljames 1554 When BOOST_HASH_NO_EXTENSIONS is defined hash doesn't support new string types. danieljames 1555 When BOOST_HASH_NO_EXTENSIONS is defined hash doesn't support boost::system::error_code danielw 1044 Argument pack inaccessable in a functions return type danielw 1054 Parameter takes an "infinite" amount of time to compile with the Intel compiler. danielw 1097 keyword.hpp generates many warnings C4180: qualifier applied to function type has no meaning; ignored dave 1010 linking boost.python on freebsd dave 1019 iterator_facade::pointer should be the return type of operator-> (DR 445) dave 1085 Python rules for compiling in Mac OS X dave 1179 [boost.python] can not export a union in VC2005sp1 dave 1181 [boost.python] can modify enum value dave 1387 Review / update docs to reflect changes dave 1460 Python classes with multiple bases are convertible only to the first class in the lists dave 1482 boost::python::throw_error_already_set should be marked noreturn dave 1516 [python] Failing VC9 regression tests dave 865 Use of C++0x keyword as identifier dave 910 gcc strict-aliasing problems with python dgregor 1003 [iostreams] copy-paste error in typedefs for wchar multichar_filters dgregor 1139 [iostreams] Regex filter segfaults when zero matches found dgregor 1140 boost::iostreams linked_streambuf bug dgregor 1149 Minor doc error in basic_null_device dgregor 1164 Floyd Warshall broken with unsigned edge weights dgregor 1185 iostreams::direct_streambuf<T_Tr>::is_open always returns false if output iterator is not null dgregor 1192 [boostbook] problem when two files have the same name dgregor 1199 configure doesn't work with path containing whitespaces (MacOS X) dgregor 1232 mapped_file_source::is_open() is broken under windows dgregor 1310 [result_of] const-qualified function pointer doesn't work dgregor 1326 Unable to check graph isomorphism using LEDA adapter dgregor 1391 dominator_tree_test on Borland/CodeGear outputs overly long line dgregor 1394 Translate libs/graph/build/python/Jamfile to BBv2 dgregor 1395 Write Tests for Python Bindings dgregor 556 Bundled graph properties dgregor 732 Johnson All-Pairs needs better "no path" information dgregor 736 Const correctness violation djowel 1170 Emit Warnings instead of # symbols in the syntax highlighter djowel 1171 Quickbook title output djowel 1172 non-utf djowel 1176 Space after inline code djowel 1206 Escaping from within code? djowel 1273 CR+LF newlines in position_iterator djowel 1276 spirit problem with _GLIBCXX_DEBUG djowel 1277 Closing section like [pre with } causes Quickbok to crash djowel 1280 sections in imported source files get put inside <para> elements in docbook output djowel 1281 Quickbook produces invalid BoostBook/DocBook XML djowel 1324 tuple should have a swap() that operates element-by-element djowel 1396 wrong result_of invocation around transform_view djowel 1436 [quickbook] inline code inside headings djowel 1484 Quickbook produces illegal docbook for some docinfo fields. djowel 1500 [Spirit/Phoenix] C4512 Compiler warnings from VC8 dlwalker 613 boost/crc.hpp uses non-standard conforming syntax doug_gregor 1021 [Graph][reverse_graph] Problem using reverse_graph adapter with an adapted user defined graph doug_gregor 1076 compile error: disconnecting struct with operator()() doesn't work in VS2005 SP1 doug_gregor 375 LEDA graph adaptors do not handle hidden nodes properly doug_gregor 402 random_vertex/random_edge are unnecessarily inefficient doug_gregor 403 Document copy_component doug_gregor 447 reverse_graph and constness of property maps doug_gregor 708 Dijkstra no_init version should not require VertexListGraph doug_gregor 733 Numbered headers don't work with "preferred" syntax doug_gregor 735 Fruchterman-Reingold grid performance can be improved doug_gregor 738 Memory leaks with signal::connect? doug_gregor 829 Implicit graph not implement doug_gregor 852 Problem with Boost and GCC 4.1 ebf 1507 [variant] C4512 warnings from VC8.0 ebf 965 [doc] boost::variant tutorial - final example uses v1_v2 should be seq1_seq2 ebf 993 Variant should use least common multiple of alignments_ rather than maximum grafik 1041 Cygwin requires PATH setting. grafik 1062 Cygwin install stage fails with combination of patches grafik 1322 trac rejects patch attachment as spam grafik 1417 Regresson tests hang in Darwin (Tiger) grafik 1430 Regression fails under Cygwin grafik 1433 Trac's spam detection rejects too many valid messages grafik 1512 Broken link to vacpp in bjam docs. grafik 1513 Broken link to bcpp in bjam docs. grafik 616 Boost Jam_ and non english directorys grafik 959 linking fails when Boost is compiled with STLport 5.1.* on Linux (names mismatch) grafik 986 Problem building Python modules on boost 1.34.0 hkaiser 1079 boost-1.34.0 fails to compile. concept checks not satisfied. hljin 1522 bit_range friend decl in bit_aligned_pixel_reference.hpp needs to be fully qualified for gcc 4.3 mainline igaztanaga 1080 boost::interprocess win32 global file mapping issue igaztanaga 1210 interprocess::barrier hangs during second use under linux (boost 1.33.1) igaztanaga 1390 Interpocess: managed shared memory failing completely under OS X jmaurer 351 Diff in state of mersenne_twister gen between GCC3.41 & CW9 jmaurer 599 uniform_01 copies engine instead of using a reference jmaurer 819 uniform_int<> with type's maximum availaible range error johnmaddock 1081 Empty string rejected as perl-style regex johnmaddock 1314 Using SSE-intrinsics in VC8 causes static assert in type_with_alignment.hpp johnmaddock 1411 Fix BOOST_PARTIAL_SPECIALIZATION_EXPLICT_ARGS johnmaddock 1440 libs/config/test/link/Jamfile.v2 confuses process_jam_log johnmaddock 1446 POSIX API doesn't use C locale johnmaddock 1451 error: use of C99 long long integer constant johnmaddock 1511 Non latin symbols in regexp jsiek 1531 segfault in dynamic_bitset::reference assign operator jsiek 1540 Poisson distribution very slow for large mean (and may also overflow). jsiek 416 Spelling of Edmonds-Karp-Algorithm jsiek 575 Calling subgraph::global_to_local on a root graph jsiek 636 strange compiling problem for transitive_closure jsiek 815 remove_edge core dumps on self-circle jsiek 875 No iterator based constructor for adjacency_matrix jsiek 900 graphml reader namespace handling is broken kaalus 1184 property_tree assignment (operator) bug marshall 1252 [pool] severe overhead with unaligned sizes. matias 1406 Understanding the Tables outdated matias 1539 Missing semi-colon in random library quitck start example nasonov 1220 lexical_cast requires RTTI nasonov 754 boost::any - typeid comparison across shared boundaries nesotto 1284 [range] sub_range assignment issue nesotto 1464 boost_range_array unused in several array_size() functions nesotto 1565 iterator_range disables msvc warning 4996 pavol_droba 1152 rle_example fails pavol_droba 1385 begin must be boost-qualified pdimov 1106 shared_ptr<T> should not convert to shared_ptr<U> when T* doesn't convert to U* pdimov 1444 scoped_ptr::operator== should be equivalent to a.get()==b.get()_ but is currently !!a==!!b pdimov 779 gcc-4.2 atomicity.h location rogeeff 1383 signal.h features not found on Mac OS rogeeff 1489 BOOST_CHECK_CLOSE fails to compile with templated value type rogeeff 1542 [test] compiler errors when building with stdcxx library rogeeff 1560 Performance testing with boost::test rogeeff 1561 Using BOOST_AUTO_TEST_CASE with boost::program_options rogeeff 1566 Missing example files in documentatio samuel_krempp 859 boost::format ignores a user defined locale shammah 386 boost::pool_allocator breaks with vector of vectors speedsnail 1138 Problems with TSS and static thread library t_schwinger 1100 Building boost.function_types fails cvs rev-1.1_ no chdir command in bash turkanis 1523 [iostreams] VC8/VC9 compiler warnings turkanis 1545 [boost/rational.hpp] 'noskipws' is not a member of 'std' urzuga 574 [boost::lambda] Compile error with libstdc++ debug mode urzuga 781 Lambda: (_1 + "y")(string("x")) Doesn't Compile vladimir_prus 1165 more quoting problems vladimir_prus 1274 Useless error message vladimir_prus 1321 invalid docbook in tool documentation vladimir_prus 1527 [program_options] Second (and subsequent) lines in tabbed text not aligned correctly vladimir_prus 1530 Program options documentation - Overview - Syntactic Information example typo vladimir_prus 1537 no value given in 'mysql_password =' vladimir_prus 469 multitoken broken vladimir_prus 689 [program_options] Endless loop with long default arguments witt 1046 Boost.Python quickstart instructions mention nonexistent target witt 583 Fixes for build on IBM pSeries for AIX and Linux witt 834 Homepage regression links witt 957 The "Getting Started" page does not mention the stdlib option witt 973 zip_iterator has value_type == reference -- -- Marshall Marshall Clow Qualcomm, Inc. <mailto:mclow@qualcomm.com> The famous British scientist, Lord Kelvin, said: "When you measure what you are speaking about and express it in numbers, you know something about it, but when you cannot (or do not) measure it, when you cannot (or do not) express it in numbers, then your knowledge is of a meagre and unsatisfactory kind."

1 0

[RFC] Generic non-intrusive Visitor pattern utility
by dizzy 11 Jan '08

11 Jan '08

Hi It is often in my line of work that I need to perform several duties depending on the exact type (dynamic type) of a pointer/reference to base of a class hierarchy. This is done cleanly with a Visitor pattern aproach but usual implementations of Visitor (as far as I could see) are intrusive, meaning they require the original class hierarchy to have some Visitor API (usually in the form of a virtual function taking a pointer/reference to a base Visitor class). I find that undesirable because in my use cases at least, the design of the original class hierarchy does not need to know that it may be visited at some point nor does it care about that. Not to mention it is not very practical to modify the original hierarchy when you find out you need a Visitor (because it may be part of a separate project, you may not even have the sources to it). So I thought I need something non-intrusive to work on any class hierarchy one desires to use Visitor upon. An aproach solving this would be implementing a parallel class hierarchy that is Visitor aware (in the form of a template wrapper class instantiated by with the types visited), thus is nonintrusive but when actually implementing this, I noticed several draw backs: - using virtual functions it still imposes using some base class Visitor object and people have to use inheritance (which I don't think is really needed) - how to wrap the actual type is tricky, you may value aggregate it and then you require a working copy ctor of it (not always available or maybe expensive) or you may store pointers to it and then deal with the overhead of dynamic memory allocation just because of the design and one more indirection (neither of these required in the end) The final (best?) solution I came with now is using RTTI. RTTI's typeid() is by design non-intrusive (actually the way it is implemented by the compiler is intrusive but it happens anyway for any polymorphic type so why not use it) and it does not have any of the problems listed above, the implementation is "small enough" that I can include it here: #include <typeinfo> #include <stdexcept> #include <string> namespace detail { template<typename List> struct VisitorHelper { // empty body to compile error in case of wrong "List" parameter }; template<typename Left, typename Right> struct VisitorHelper< TypeList<Left, Right> > { // notice how we copy "Visit" because it's suposed to be // cheap to copy callback or similar thing template<typename Return, typename Visit, typename Visitee> static Return select(Visit visit, Visitee& visitee) { // typeid will consider the type without qualifiers so we need to // preserve them in conversion // (FIXME: does not work with volatiles) if (typeid(Left) == typeid(visitee)) { return Return(visit(static_cast<typename copy_cv<Visitee, Left>::type&>(visitee))); } else return VisitorHelper<Right>::template select<Return>(visit, visitee); } }; template<> struct VisitorHelper< NullType > { template<typename Return, typename Visit, typename Visitee> static Return select(Visit, Visitee& visitee) { // type not found in the known types list throw std::runtime_error("Type unknown: " + std::string(typeid(visitee).name())); } }; } // List should be a canonical TypeList (without cv qualifiers, // no reference or pointer types, no array types) template<typename List, typename Return, typename Visit, typename Visitee> Return apply_visitor(Visit visit, Visitee& visitee) { return detail::VisitorHelper<List>::template select<Return>(visit, visitee); } Not included here but used in the code are TypeList, NullType and copy_cv. They are easy to guess, TypeList is the usual TypeList (as in mr Alexandrescu's well known book), NullType is a incomplete type just to signal termination of the list and copy_cv is a type function that will add cv qualifiers of a type to another. It is used in the code where if the dynamic type is found, we need to static_cast the base type of the given parameter to that found dynamic type but we should static_cast by keeping the base type cv qualifiers. Use case: struct Base { virtual ~Base() {} }; struct Derived1: Base {}; struct Derived2: Base {}; typedef TypeList<Derived1, TypeList<Derived2, NullType> > VisitedTypes; struct Visitor1 { void operator()(Derived1 const& op) const {} bool operator()(Derived2& op) { return false; } }; struct Visitor2 { bool operator()(Derived1& arg) const { return false; } int operator()(Derived2 const& arg) const { return 10; } }; struct Visitor3 { void operator()(Base const&) {} }; struct Visitor4 { void operator()(Derived1 const&) const {} }; int main() { Visitor1 vis1; Visitor3 vis3; std::auto_ptr<Base> obj(new Derived1); // will call Visitor1::operator()(Derived1&) const; apply_visitor<VisitedTypes, void>(vis1, *obj); // compile time error, cannot convert void to bool result // of Visitor1::operator()(Derived1&) // apply_visitor<VisitedTypes, bool>(vis1, *obj); // will call Visitor2::operator()(Derived1&) const // will convert int return type to bool if "*obj" dynamic type // were Derived2 apply_visitor<VisitedTypes, bool>(Visitor2(), *obj); // will call Visitor3::operator()(Base const&) // even tho that beats the purpose of the Visitor apply_visitor<VisitedTypes, void>(vis3, *obj); // will compile time error, there is no matching function to call // with (Visitor4())(Derived2& argument) // apply_visitor<VisitedTypes, void>(Visitor4(), *obj); } I would like to know if boost implements something similar (I remember there was something related to visitors in the variant library) and if not if you find it interesting and a good addition to boost so I can work on it, performing the required changes to be included with boost. Of course any other technical comments pointing out problems, flaws or trying to improve this code are welcome. Thanks! -- Mihai RUSU Email: dizzy(a)roedu.net "Linux is obsolete" -- AST

4 6

typedefs within Concept or as Trait?
by Michael Fawcett 11 Jan '08

11 Jan '08

This question doesn't pertain to a particular Boost library, so I apologize if it's too off-topic for the list. According to http://www.boost.org/more/generic_programming.html , the Associated Types of a Concept are either nested in the class definition, or accessed through a traits class. With iterators, traits were used because you can't nest typedefs within pointers, which are valid iterators in many cases. With containers (such as AssociativeContainerConcept), the Concepts require nested typedefs. My questions are - when creating your own library, when do you choose nested typedefs over a traits class, and what effects does it have on a library user, both from a usability and extensibility point of view. What questions do you ask yourself to come to a decision? Thanks, --Michael Fawcett

5 9

Status 1.35.0
by Peters, Richard 11 Jan '08

11 Jan '08

Hello, Some time ago (I think it was november or december), it was mentioned somewhere that the 1.35.0 would be targeted for the end of 2007. Obviously it hasn't been released yet. What is the expected date at which boost 1.35.0 will be released? Our project is currently using 1.33.1, and I'm trying to decide if we should wait for 1.35, or go for 1.34 for now. Best regards, Richard Peters This message and attachment(s) are intended solely for use by the addressee and may contain information that is privileged, confidential or otherwise exempt from disclosure under applicable law. If you are not the intended recipient or agent thereof responsible for delivering this message to the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. If you have received this communication in error, please notify the sender immediately by telephone and with a 'reply' message. Thank you for your co-operation.

2 1

[Logging] Loglite v 0.4.0 - Getting to something
by JD 11 Jan '08

11 Jan '08

Hello, Loglite, the small logging library is back with new features. Issues fixed (http://code.google.com/p/loglite/issues/list) 2 - Manage channel 3 - mask instead of level 4 - boost::call_once in logger::get_instance 5 - crashes in multi-threaded 6 - Call stack pb in multithreaded environment 7 - Memory leak and unflushed files on unix systems 8 - Eclipse project files 9 - client/server example crashes 10 - Scope logging 11 - Add function and pretty function name as log element *Scope Logging*: ex:http://loglite.googlecode.com/svn/0.4.0/test/logging_test_scope.cpp You can use a special scope object which log at creation and desctruction. Now the logger maintains a stack of scope and a scope_element has been added to display the stack status in the trace itself. int macro_bar() { BOOST_LOG_SCOPE(BOOST_LOG_LEVEL_1, bar_scope); BOOST_LOG_L1("Doing some processing in macro_bar"); } *Element Formatting*: ex:http://loglite.googlecode.com/svn/0.4.0/test/logging_test_format.cpp Now the date, time and filename element can be formatted. Date and Time can be formatted thanks to the Boost.DateTime format. The filename element can be configured to print it's path or only the filename. boost::logging::format file_format(" L" >> bl::mask >> "," >> (*new bl::filename_element(bl::filename_element::filename_only)) >> "(" >> bl::line >> ")," >> (*new bl::date_element("%d/%m/%Y")) >> " " >> (*new bl::time_element("%H:%M:%S%F")) >> "," >> bl::trace >> bl::eol); *New elements*: to print function name, function signature, qualifier, scope, etc. *CMake makefile*: Compile using CMake. And still... *Log over the network*: ex:http://loglite.googlecode.com/svn/0.4.0/test/logging_test_iostream_clien… and http://loglite.googlecode.com/svn/0.4.0/test/logging_test_iostream_server.c… To centralized the logging of several executables, running on different machines, thanks to Boost.Asio. *Log with shared memory*: ex.:http://loglite.googlecode.com/svn/0.4.0/test/logging_test_iostream_shme… Avoid slowing down your process. With the shared memory, a independent thread is actually writing the trace to the output stream. *Log directly in zip and/or encrypted format*: ex:http://loglite.googlecode.com/svn/0.4.0/test/logging_test_iostream.cpp Thanks to Boost.Iostreams you can log to a encrypted and/or compressed file very easily. Many thanks to Ilya Pokolev and others for their help. The homepage is here: http://code.google.com/p/loglite/ The SVN repository is here: http://loglite.googlecode.com/svn/trunk/ A tarball is available here: http://loglite.googlecode.com/files/loglite-0.4.0.zip Feel free to ask questions, give comments and remarks, and better, participate to the development. Jean-Daniel

2 3

Re: [boost] [Boost-users] formal review of Switch library ends tomorrow (Wednesday, January 9th) - reviews needed
by Stjepan Rajko 10 Jan '08

10 Jan '08

On Jan 9, 2008 6:55 AM, Tobias Schwinger <tschwinger(a)isonews2.com> wrote: > Stjepan Rajko wrote: > > * What is your evaluation of the design? > > A default case function object returning 'void' should be assumed (and > 'assert'ed) not to return in a context where a (non-void) result is > expected (implementation hint: the built-in comma operator allows void > arguments and an overloaded comma operator doesn't). > I can see why having a non-returning default case function object would be a common use case (e.g., throw on non-specified case), but technically, why should the default case be treated differently than the regular cases in this respect? E.g., what if I wanted to throw on case 3 but return something by default? It seems that the cleanest solutions here would be to either allow void-returning function objects (when a return type is expected) both for regular and default cases (and assert that the call does not return), or disallow the void-returning function objects all together (when a return type is expected). Just my 2 cents... Regards, Stjepan

1 0

Trac open bugs - by assignee
by Marshall Clow 10 Jan '08

10 Jan '08

[ 194 open bugs today, 195 yesterday ] If you are maintaining a library, and have not logged into the trac system at <http://svn.boost.org/trac/boost/>, please do so ASAP. Until you do that, no tickets can be assigned to you, and will remain under "None". Instructions on working with tickets can be found at: <http://svn.boost.org/trac/boost/wiki/TicketWorkflow> and a mapping of user names to "real names" can be found at: <http://svn.boost.org/trac/boost/report/16> Bug summary 18 az_sw_dude 17 dgregor 15 djowel 12 doug_gregor 11 grafik 11 dave 11 agurtovoy 11 None 8 vladimir_prus 8 jsiek 7 johnmaddock 7 anthonyw 6 rogeeff 5 witt 4 bemandawes 3 pdimov 3 nesotto 3 jmaurer 3 igaztanaga 3 ebf 3 danielw 2 urzuga 2 turkanis 2 pavol_droba 2 nasonov 2 matias 2 danieljames 2 <Blank> 1 t_schwinger 1 speedsnail 1 shammah 1 samuel_krempp 1 marshall 1 kaalus 1 hljin 1 hkaiser 1 dlwalker 1 burbelgruff 1 aaron_windsor <Blank> 1307 [lambda] invalid boostbook <Blank> 1434 Boost.Preprocessor_ small fix for the documentation None 1068 Mersenne twister disables streaming for Visual C++ None 1094 Finding the correct library to link (feature request for pkg-config support)h None 1222 lambda::ret<T> should declare result_type. None 1247 Typos in "boost/random/additive_combine.hpp"_ lines 68-69 None 1270 uniform_smallint doesn't compile with lagged_fibonacci random number generators None 1407 Boost is doesn't install on MacPorts using Leopard None 1493 SVN files making it through to install None 1515 [lambda] C4512 warnings from VC8.0 None 1544 uniform_01 w/ref template param causes ref to ref error None 1546 Method boost::random::uniform_int::operator()(engine_ value) is missing None 1548 [variant][docs]typo: formal arg_ operand_ should be v in times_two arglist aaron_windsor 778 top-level configure is broken agurtovoy 1001 gcc 4.1.2 segfaults on mpl/test/apply.cpp agurtovoy 1051 MPL header ordering triggers bug agurtovoy 1099 unable to iterate through a "non-explicitly-declared" mpl::set agurtovoy 1215 Boost 1.34.1_ mpl: Wrong workaround detection using MinGW32 (or.hpp_ line #33) agurtovoy 1317 has_xxx randomly broken in msvc agurtovoy 1469 [mpl] nested typedef of set has two different meanings agurtovoy 1476 always<> is not nullary. agurtovoy 1528 g++ 4.3.0 reports error because of redeclaration of next agurtovoy 1549 Boost.MPL: 'index_of' algorithm is not documented agurtovoy 588 mpl::remove compile error with gcc 4.1.0 agurtovoy 640 documentation mistake anthonyw 1154 tss destruction segfaults in conjunction with dlopen/dlclose anthonyw 1168 [thread] tss crashes randomly anthonyw 1268 xtime_cmp changes to deal with overflow were reverted anthonyw 1470 Boost.Thread: Compilation errors with non-__cdecl calling convention anthonyw 1547 [thread] error C2065: 'NULL' : undeclared identifier in thread_primitives.hpp anthonyw 876 xtime documentation incomplete anthonyw 881 errors when build with Apache stdcxx az_sw_dude 1028 typo in boost header: date_time/time_defs.hpp az_sw_dude 1078 from_iso_string cannot read the output from to_iso_string az_sw_dude 1098 Urgent libboost-date-time1.33.1 : bugs on ia64 ? az_sw_dude 1147 date_time library contains global #define ERROR az_sw_dude 1160 warning: month_format shadows a member of this az_sw_dude 1162 warning: ticks shadows a member of this az_sw_dude 1289 posix_time::time_facet forgets to pass a_ref argument to base class az_sw_dude 1299 change in typedef stringstream_type in format_date_parser.hpp causing compilation error az_sw_dude 1306 invalid docbook in date_period.xml az_sw_dude 1384 Linking problem with date_time library on Visual C++ 2008 Express az_sw_dude 1386 date_time documentation Jamfile breaks building of boost docs az_sw_dude 1524 format_date_parser.hpp(221) : cannot convert parameter 1 az_sw_dude 287 wrong usage of ios_base::narrow az_sw_dude 316 date_time type conversion warning az_sw_dude 604 from_ftime incorrectly processes FILETIME filled with zeros az_sw_dude 642 operator<< for gregorian::date_duration not found az_sw_dude 889 Insane Dependencies az_sw_dude 890 date_time library supports only the current dst rule bemandawes 1378 filesystem path invalid name for hidden files (LINUX) bemandawes 1389 filesystem::ostream << boost::format generates operator ambigious error (in MSVC++) bemandawes 1458 Darwin Tiger throws std::runtime_error: locale::facet::_S_create_c_locale name not valid bemandawes 752 directory_iterator doesn't work with catch burbelgruff 1503 typeof bug (big integral constant) danieljames 1554 When BOOST_HASH_NO_EXTENSIONS is defined hash doesn't support new string types. danieljames 1555 When BOOST_HASH_NO_EXTENSIONS is defined hash doesn't support boost::system::error_code danielw 1044 Argument pack inaccessable in a functions return type danielw 1054 Parameter takes an "infinite" amount of time to compile with the Intel compiler. danielw 1097 keyword.hpp generates many warnings C4180: qualifier applied to function type has no meaning; ignored dave 1010 linking boost.python on freebsd dave 1019 iterator_facade::pointer should be the return type of operator-> (DR 445) dave 1085 Python rules for compiling in Mac OS X dave 1179 [boost.python] can not export a union in VC2005sp1 dave 1181 [boost.python] can modify enum value dave 1387 Review / update docs to reflect changes dave 1460 Python classes with multiple bases are convertible only to the first class in the lists dave 1482 boost::python::throw_error_already_set should be marked noreturn dave 1516 [python] Failing VC9 regression tests dave 865 Use of C++0x keyword as identifier dave 910 gcc strict-aliasing problems with python dgregor 1003 [iostreams] copy-paste error in typedefs for wchar multichar_filters dgregor 1139 [iostreams] Regex filter segfaults when zero matches found dgregor 1140 boost::iostreams linked_streambuf bug dgregor 1149 Minor doc error in basic_null_device dgregor 1164 Floyd Warshall broken with unsigned edge weights dgregor 1185 iostreams::direct_streambuf<T_Tr>::is_open always returns false if output iterator is not null dgregor 1192 [boostbook] problem when two files have the same name dgregor 1199 configure doesn't work with path containing whitespaces (MacOS X) dgregor 1232 mapped_file_source::is_open() is broken under windows dgregor 1310 [result_of] const-qualified function pointer doesn't work dgregor 1326 Unable to check graph isomorphism using LEDA adapter dgregor 1391 dominator_tree_test on Borland/CodeGear outputs overly long line dgregor 1394 Translate libs/graph/build/python/Jamfile to BBv2 dgregor 1395 Write Tests for Python Bindings dgregor 556 Bundled graph properties dgregor 732 Johnson All-Pairs needs better "no path" information dgregor 736 Const correctness violation djowel 1170 Emit Warnings instead of # symbols in the syntax highlighter djowel 1171 Quickbook title output djowel 1172 non-utf djowel 1176 Space after inline code djowel 1206 Escaping from within code? djowel 1273 CR+LF newlines in position_iterator djowel 1276 spirit problem with _GLIBCXX_DEBUG djowel 1277 Closing section like [pre with } causes Quickbok to crash djowel 1280 sections in imported source files get put inside <para> elements in docbook output djowel 1281 Quickbook produces invalid BoostBook/DocBook XML djowel 1324 tuple should have a swap() that operates element-by-element djowel 1396 wrong result_of invocation around transform_view djowel 1436 [quickbook] inline code inside headings djowel 1484 Quickbook produces illegal docbook for some docinfo fields. djowel 1500 [Spirit/Phoenix] C4512 Compiler warnings from VC8 dlwalker 613 boost/crc.hpp uses non-standard conforming syntax doug_gregor 1021 [Graph][reverse_graph] Problem using reverse_graph adapter with an adapted user defined graph doug_gregor 1076 compile error: disconnecting struct with operator()() doesn't work in VS2005 SP1 doug_gregor 375 LEDA graph adaptors do not handle hidden nodes properly doug_gregor 402 random_vertex/random_edge are unnecessarily inefficient doug_gregor 403 Document copy_component doug_gregor 447 reverse_graph and constness of property maps doug_gregor 708 Dijkstra no_init version should not require VertexListGraph doug_gregor 733 Numbered headers don't work with "preferred" syntax doug_gregor 735 Fruchterman-Reingold grid performance can be improved doug_gregor 738 Memory leaks with signal::connect? doug_gregor 829 Implicit graph not implement doug_gregor 852 Problem with Boost and GCC 4.1 ebf 1507 [variant] C4512 warnings from VC8.0 ebf 965 [doc] boost::variant tutorial - final example uses v1_v2 should be seq1_seq2 ebf 993 Variant should use least common multiple of alignments_ rather than maximum grafik 1041 Cygwin requires PATH setting. grafik 1062 Cygwin install stage fails with combination of patches grafik 1322 trac rejects patch attachment as spam grafik 1417 Regresson tests hang in Darwin (Tiger) grafik 1430 Regression fails under Cygwin grafik 1433 Trac's spam detection rejects too many valid messages grafik 1512 Broken link to vacpp in bjam docs. grafik 1513 Broken link to bcpp in bjam docs. grafik 616 Boost Jam_ and non english directorys grafik 959 linking fails when Boost is compiled with STLport 5.1.* on Linux (names mismatch) grafik 986 Problem building Python modules on boost 1.34.0 hkaiser 1079 boost-1.34.0 fails to compile. concept checks not satisfied. hljin 1522 bit_range friend decl in bit_aligned_pixel_reference.hpp needs to be fully qualified for gcc 4.3 mainline igaztanaga 1080 boost::interprocess win32 global file mapping issue igaztanaga 1210 interprocess::barrier hangs during second use under linux (boost 1.33.1) igaztanaga 1390 Interpocess: managed shared memory failing completely under OS X jmaurer 351 Diff in state of mersenne_twister gen between GCC3.41 & CW9 jmaurer 599 uniform_01 copies engine instead of using a reference jmaurer 819 uniform_int<> with type's maximum availaible range error johnmaddock 1081 Empty string rejected as perl-style regex johnmaddock 1314 Using SSE-intrinsics in VC8 causes static assert in type_with_alignment.hpp johnmaddock 1411 Fix BOOST_PARTIAL_SPECIALIZATION_EXPLICT_ARGS johnmaddock 1440 libs/config/test/link/Jamfile.v2 confuses process_jam_log johnmaddock 1446 POSIX API doesn't use C locale johnmaddock 1451 error: use of C99 long long integer constant johnmaddock 1511 Non latin symbols in regexp jsiek 1531 segfault in dynamic_bitset::reference assign operator jsiek 1540 Poisson distribution very slow for large mean (and may also overflow). jsiek 416 Spelling of Edmonds-Karp-Algorithm jsiek 575 Calling subgraph::global_to_local on a root graph jsiek 636 strange compiling problem for transitive_closure jsiek 815 remove_edge core dumps on self-circle jsiek 875 No iterator based constructor for adjacency_matrix jsiek 900 graphml reader namespace handling is broken kaalus 1184 property_tree assignment (operator) bug marshall 1252 [pool] severe overhead with unaligned sizes. matias 1406 Understanding the Tables outdated matias 1539 Missing semi-colon in random library quitck start example nasonov 1220 lexical_cast requires RTTI nasonov 754 boost::any - typeid comparison across shared boundaries nesotto 1284 [range] sub_range assignment issue nesotto 1464 boost_range_array unused in several array_size() functions nesotto 1565 iterator_range disables msvc warning 4996 pavol_droba 1152 rle_example fails pavol_droba 1385 begin must be boost-qualified pdimov 1106 shared_ptr<T> should not convert to shared_ptr<U> when T* doesn't convert to U* pdimov 1444 scoped_ptr::operator== should be equivalent to a.get()==b.get()_ but is currently !!a==!!b pdimov 779 gcc-4.2 atomicity.h location rogeeff 1383 signal.h features not found on Mac OS rogeeff 1489 BOOST_CHECK_CLOSE fails to compile with templated value type rogeeff 1542 [test] compiler errors when building with stdcxx library rogeeff 1560 Performance testing with boost::test rogeeff 1561 Using BOOST_AUTO_TEST_CASE with boost::program_options rogeeff 1566 Missing example files in documentatio samuel_krempp 859 boost::format ignores a user defined locale shammah 386 boost::pool_allocator breaks with vector of vectors speedsnail 1138 Problems with TSS and static thread library t_schwinger 1100 Building boost.function_types fails cvs rev-1.1_ no chdir command in bash turkanis 1523 [iostreams] VC8/VC9 compiler warnings turkanis 1545 [boost/rational.hpp] 'noskipws' is not a member of 'std' urzuga 574 [boost::lambda] Compile error with libstdc++ debug mode urzuga 781 Lambda: (_1 + "y")(string("x")) Doesn't Compile vladimir_prus 1165 more quoting problems vladimir_prus 1274 Useless error message vladimir_prus 1321 invalid docbook in tool documentation vladimir_prus 1527 [program_options] Second (and subsequent) lines in tabbed text not aligned correctly vladimir_prus 1530 Program options documentation - Overview - Syntactic Information example typo vladimir_prus 1537 no value given in 'mysql_password =' vladimir_prus 469 multitoken broken vladimir_prus 689 [program_options] Endless loop with long default arguments witt 1046 Boost.Python quickstart instructions mention nonexistent target witt 583 Fixes for build on IBM pSeries for AIX and Linux witt 834 Homepage regression links witt 957 The "Getting Started" page does not mention the stdlib option witt 973 zip_iterator has value_type == reference -- -- Marshall Marshall Clow Qualcomm, Inc. <mailto:mclow@qualcomm.com> The famous British scientist, Lord Kelvin, said: "When you measure what you are speaking about and express it in numbers, you know something about it, but when you cannot (or do not) measure it, when you cannot (or do not) express it in numbers, then your knowledge is of a meagre and unsatisfactory kind."

1 0

boost::execution_monitor impl under windows
by James Talbut 10 Jan '08

10 Jan '08

From searching, this was last discussed in Sep 2003, but didn't come to an adequate conclusion - and things have changed since then anyway. Including prg_exec_monitor.hpp on VS2005 produces the following warning: execution_monitor.ipp(216) : warning C4535: calling _set_se_translator() requires /EHa It is my opinion that the use of _set_se_translator here is a mistake for the following reasons: 1. It doesn't achieve what it's trying to achieve if my test involves multiple threads. The translator is thread specific and there is no way for my thread function to apply the translator (especially not when I may not have access to the thread function). 2. It requires the use of /EHa which has an effect on the code being run. Code under test should be run using the same options as release, and /EHa is not appropriate for (most) release code. 3. If I've really triggered a system fault then I can no longer trust the state of my app, so I cannot rely on it to correctly report its problem. I may have just destroyed the stack, attempting to unwind is just going to cause more problems - system errors should be handled externally. I accept that others may prefer the simplicity of trying to handle system failures internally, so I propose changing to execution_monitor.ipp to only define BOOST_MS_STRUCTURED_EXCEPTION_HANDLING if BOOST_NO_MS_STRUCTURED_EXCEPTION_HANDLING is not defined: # ifndef BOOST_NO_MS_STRUCTURED_EXCEPTION_HANDLING # define BOOST_MS_STRUCTURED_EXCEPTION_HANDLING # endif I will then carry out my testing after running something like: "Program Files\Debugging Tools for Windows\cdb" -iaec "-c \".lines;!analyze -v;kP 4;q\"" to catch system errors. Thoughts? Jim PS. What I'd really like to see is a cross platform out of process JIT reporter for just one application. . ________________________________________________________________________ This e-mail, and any attachment, is confidential. If you have received it in error, do not use or disclose the information in any way, notify me immediately, and please delete it from your system. ________________________________________________________________________

2 5

bounded_iterator
by Chad Parry 10 Jan '08

10 Jan '08

I created a "bounded_iterator" concept that seems really useful. A bounded_iterator behaves just like a regular iterator, except that the termination condition can be checked by just casting the iterator to a bool. Here's an example: int array_range[] = { 1, 1, 2, 3, 5 }; for (bounded_iterator<int *> i(array_range); i; ++i) { std::fill_n(std::ostream_iterator<int>(std::cout), *i, *i); } I like it for the same reason that I like iterator_range: it frees the developer from having to worry about both a begin and an end iterator. It can be used as a wrapper for operations on a container or a sub-range. Just like iterator_range simplifies the invocation of functions for ranges, bounded_iterator simplifies the traversal of ranges. In my application I was storing lots of iterators in containers, and using bounded_iterator proved to be a better abstraction than storing iterator pairs or ranges. The main disadvantage to using a bounded_iterator is that it competes with the standard iterator concept, and it's usually more confusing to support many ways to do the same thing. Here is a simple implementation: template<typename base_iterator> class bounded_iterator : public boost::iterator_adaptor<bounded_iterator<base_iterator>, base_iterator> { base_iterator const end; typedef boost::iterator_adaptor<bounded_iterator, base_iterator> super_type; struct unspecified_bool_helper { int true_tag; }; typedef int unspecified_bool_helper::*unspecified_bool_type; public: template<typename source_iterator> bounded_iterator(source_iterator begin, source_iterator end) : super_type(begin), end(end) { } template<typename source_range> bounded_iterator(source_range &range) : super_type(boost::begin(range)), end(boost::end(range)) { } template<typename source_range> bounded_iterator(source_range const &range) : super_type(boost::begin(range)), end(boost::end(range)) { } operator unspecified_bool_type() const { return super_type::base() == end ? 0 : &unspecified_bool_helper::true_tag; } }; -- chad

3 4

Re: [boost] formal review of Switch library ends tomorrow (Wednesday, January 9th) - reviews needed
by Tobias Schwinger 10 Jan '08

10 Jan '08

Reposting to boost.devel. Steven Watanabe wrote: > AMDG > > Tobias Schwinger <tschwinger <at> isonews2.com> writes: > >> As pointed out in other posts I think the default default case behavior >> should be changed not to throw but to use the default constructor if no >> default case function object is specified. > > Will do. > >> A default case function object returning 'void' should be assumed (and >> 'assert'ed) not to return in a context where a (non-void) result is >> expected (implementation hint: the built-in comma operator allows void >> arguments and an overloaded comma operator doesn't). > > Personally, I'd rather just forbid a default that returns void > when the return type is non-void. The rationale was to allow non-returning default function objects that work regardless of the type (such as 'throw_'). It's probably not that important... > I don't think the comma operator > is a completely fool-proof way to detect void. It is. > It could cause an > ambiguity if the other type also defines an overloaded comma operator. No, because the operator is binary and one operand can have a reserved type which is only internally used by the test code. Regards, Tobias

1 0