- Boost - lists.preview.boost.org

[type_traits] possible regression on is_function trait
by Vicente J. Botet Escriba 06 Nov '12

06 Nov '12

Hi, I don't know if this is a regression on Boost.TypeTraits or if I'm using incorrectly the is_function trait. John, could you confirm there is a bug in is_function? Best, Vicente Test output: Sandia-darwin-4.4 - thread - async__async_p / darwin-4.4 Rev 81191 / Mon, 5 Nov 2012 06:30:00 +0000 *Report Time: *Mon, 5 Nov 2012 14:19:58 +0000 Compile [2012-11-05 07:50:44 UTC]: fail "/opt/local/bin/g++-mp-4.4" -ftemplate-depth-128 -O0 -fno-inline -Wall -pedantic -g -dynamic -gdwarf-2 -fexceptions -fPIC -Wextra -Wno-long-long -fpermissive -pedantic -DBOOST_ALL_NO_LIB=1 -DBOOST_CHRONO_DYN_LINK=1 -DBOOST_SYSTEM_DYN_LINK=1 -DBOOST_SYSTEM_NO_DEPRECATED -DBOOST_THREAD_BUILD_DLL=1 -DBOOST_THREAD_POSIX -DBOOST_THREAD_THROW_IF_PRECONDITION_NOT_SATISFIED -DBOOST_THREAD_USE_DLL=1 -I".." -c -o "/Volumes/scratch/kbelco/boost/results/boost/bin.v2/libs/thread/test/async__async_p.test/darwin-4.4/debug/threading-multi/sync/futures/async/async_pass.o" "../libs/thread/test/sync/futures/async/async_pass.cpp" In file included from ../boost/type_traits/is_convertible.hpp:28, from ../boost/thread/detail/move.hpp:13, from ../boost/thread/future.hpp:20, from ../libs/thread/test/sync/futures/async/async_pass.cpp:28: ../boost/type_traits/is_function.hpp: In instantiation of 'boost::detail::is_function_chooser<false>::result_<boost::rv<boost::rv<boost::packaged_task<int()> > >&>': ../boost/type_traits/is_function.hpp:60: instantiated from 'boost::detail::is_function_impl<boost::rv<boost::rv<boost::packaged_task<int()> > >&>' ../boost/type_traits/is_function.hpp:102: instantiated from 'boost::is_function<boost::rv<boost::rv<boost::packaged_task<int()> > >&>' ../boost/type_traits/is_convertible.hpp:354: instantiated from 'const bool boost::detail::is_convertible_impl<boost::rv<boost::packaged_task<int()> >&, boost::rv<boost::rv<boost::packaged_task<int()> > >&>::value' ../boost/type_traits/is_convertible.hpp:480: instantiated from 'boost::is_convertible<boost::rv<boost::packaged_task<int()> >&, boost::rv<boost::rv<boost::packaged_task<int()> > >&>' ../boost/thread/future.hpp:2717: instantiated from 'boost::future<T> boost::async(boost::launch, R (*)()) [with R = int]' ../libs/thread/test/sync/futures/async/async_pass.cpp:117: instantiated from here ../boost/type_traits/is_function.hpp:52: error: forming pointer to reference type 'boost::rv<boost::rv<boost::packaged_task<int()> > >&'

3 5

[test] BOOST_TEST - universal testing tool
by Gennadiy Rozental 06 Nov '12

06 Nov '12

Hi, Based on a discussion on mini-review thread I make some changes to the universal testing tool interface and now it look as follows (similar interfaces on WARN and REQUIRE levels): BOOST_CHECK_ASSERTION(A) - new expression template based testing tool BOOST_TEST(A,M) := BOOST_CHECK_ASSERTION(A) if M is not supplied or BOOST_CHECK_MESSAGE(A,M) if M is supplied. BOOST_TEST (and it's siblings BOOST_TEST_WARN and BOOST_TEST_REQUIRE) is intended to become a primary (only?) testing tools from now on. It replaces and deprecates right away following tools: BOOST_CHECK BOOST_CHECK_MESSAGE BOOST_CHECK_EQUAL, BOOST_CHECK_NE, BOOST_CHECK_LT, BOOST_CHECK_LE, BOOST_CHECK_GT, BOOST_CHECK_GE There are still some tools which are not directly replaceable. I have some ideas how we can get there, but your input is appreciated: 1. BOOST_CHECK_THROW, BOOST_CHECK_EXCEPTION, BOOST_CHECK_NO_THROW We can probably leave these as is. Alternatively we'll need to postpone expression evaluation with separate BOOST_TEST_DELAYED tool. We also need to introduce special tags unit_test::throws, unit_test::no_throw: BOOST_TEST_DELAYED(foo(), unit_test::throws<my_exception>() ); BOOST_TEST_DELAYED(foo(), unit_test::throws<my_exception>(predicate) ); BOOST_TEST_DELAYED(foo(), unit_test::throws( my_exception(...) ) ); BOOST_TEST_DELAYED(foo(), unit_test::no_throw() ); Later form will match to exact exception value. We might be able to fit into BOOST_TEST interface, but that would require somehow we need to recognize executable entity as special case: BOOST_TEST( foo, unit_test::throws<my_exception>() ); Not quite sure if this is possible. 2. BOOST_CHECK_CLOSE, BOOST_CHECK_CLOSE_FRACTION, BOOST_CHECK_SMALL We can deal with these by introducing couple special tags: BOOST_TEST(a == 1.5, unit_test::tolerance(1e-6) ); BOOST_TEST(a == 0.003, unit_test::percent_tolerance(1e-6) ); BOOST_TEST(a, unit_test::small(1e-3) ); On a plus side we'll be able to use these in new previously unavailable way: BOOST_TEST(a > 1.1, unit_test::tolerance(1e-6) ); This would test that value of a either > 1.1 or within a fraction tolerance of it. 3. BOOST_CHECK_PREDICATE Similar to (1) we need to delay predicate execution. Might be easier to leave it be. 4. BOOST_CHECK_EQUAL_COLLECTIONS I think using overloading of equality comparisons we should be able to support this directly: BOOST_TEST( expr == std::vector<int>{1,2,3,4}); 5. BOOST_CHECK_BITWISE_EQUAL We can introduce yet another tag to deal with this: BOOST_TEST(a == 0xA1FB, unit_test::bitwise ); As usual any comments are welcome. Gennadiy

7 16

[locale] [filesystem] Windows local 8 bit encoding
by Thiel, Bjoern 06 Nov '12

06 Nov '12

Hi, developing platform independent code I really like the convenience functions conv::to_utf, conv::from_utf, and conv::utf_to_utf from locale. Why not add something like conv::local8bit_to_utf and conv::local8bit_from_utf following the rational from filesystem (path encoding conversions): template < typename CharType > std::basic_string< CharType > local8bit_to_utf ( std::string const & text, method_type how = default_method ) { char const * encoding = impl::local8bit_encoding() ; return to_utf< CharType >( text, encoding, how ) ; } template< typename CharType > std::string local8bit_from_utf ( std::basic_string< CharType > const & text, method_type how = default_method ) { char const * encoding = impl::local8bit_encoding() ; return from_utf< CharType >( text, encoding, how ) ; } with char const * local8bit_encoding() { #ifdef WIN32 UINT codepage = AreFileApisANSI() ? GetACP() : GetOEMCP() ; return windows_codepage_to_encoding( codepage ) ; #else return "UTF-8" ; #endif } and with (better using a map) char const * windows_codepage_to_encoding( int const codepage ) { switch (codepage) { case 874: return "windows-874" ; case 932: return "Shift_JIS" ; // but should be "Windows-31J" ; case 936: return "GB2312" ; case 949: return "KS_C_5601-1987" ; case 950: return "Big5" ; case 1250: return "windows-1250" ; case 1251: return "windows-1251" ; case 1252: return "windows-1252" ; case 1253: return "windows-1253" ; case 1254: return "windows-1254" ; case 1255: return "windows-1255" ; case 1256: return "windows-1256" ; case 1257: return "windows-1257" ; case 1258: return "windows-1258" ; case 20127: return "US-ASCII" ; case 20866: return "KOI8-R" ; case 20932: return "EUC-JP" ; case 21866: return "KOI8-U" ; case 28591: return "ISO-8859-1" ; case 28592: return "ISO-8859-2" ; case 28593: return "ISO-8859-3" ; case 28594: return "ISO-8859-4" ; case 28595: return "ISO-8859-5" ; case 28596: return "ISO-8859-6" ; case 28597: return "ISO-8859-7" ; case 28598: return "ISO-8859-8" ; case 28599: return "ISO-8859-9" ; case 28603: return "ISO-8859-13" ; case 28605: return "ISO-8859-15" ; case 50220: return "ISO-2022-JP" ; case 50225: return "ISO-2022-KR" ; case 51949: return "EUC-KR" ; case 54936: return "GB18030" ; case 65001: return "UTF-8" ; default: { std::ostringstream message ; message << "Unknown codepage " << codepage ; throw std::invalid_argument( message.str() ) ; } } } Best regards Bjoern.

5 10

[geometry] Can't build docs?
by John Maddock 06 Nov '12

06 Nov '12

I'm trying to build the PDF of the geometry docs for the 1.52 release, but the build is failing: warning: Tag `SHOW_DIRECTORIES' at line 162 of file Doxyfile has become obsolete. To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" warning: Tag `HTML_ALIGN_MEMBERS' at line 257 of file Doxyfile has become obsolete. To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:106: warning: found </em> at different nesting level (7) than expected (4) M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:107: warning: found </em> at different nesting level (7) than expected (4) M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:113: warning: end of comment block while expecting command </em> M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:113: warning: end of comment block while expecting command </em> M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:106: warning: found </em> at different nesting level (7) than expected (4) M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:107: warning: found </em> at different nesting level (7) than expected (4) M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:113: warning: end of comment block while expecting command </em> M:/data/boost/branches/release/boost/geometry/strategies/spherical/distance_haversine.hpp:113: warning: end of comment block while expecting command </em> warning: mismatched versions of Boost.Build engine and core warning: Boost.Build engine (M:\data\boost\branches\release\b2.exe) is 2011.04.00 warning: Boost.Build core (at M:/data/boost/branches/release/tools/build/v2) is 2011.12-svn ...patience... ...found 318 targets... ...updating 3 targets... quickbook.quickbook-to-boostbook ..\..\..\bin.v2\libs\geometry\doc\msvc-10.0\debug\threading-multi\geometry.xml Generating Output File: ..\..\..\bin.v2\libs\geometry\doc\msvc-10.0\debug\threading-multi\geometry.xml generated/get.qbk:32: error: Syntax Error near column 2. generated/get.qbk:32: error: Syntax Error near column 3. generated/get.qbk:32: error: Syntax Error near column 3. generated/get.qbk:69: error: Syntax Error near column 2. generated/get.qbk:69: error: Syntax Error near column 3. generated/get.qbk:69: error: Syntax Error near column 3. Error: Error count: 6. Any ideas? BTW I see the same failures on Trunk and release branches. Thanks, John.

1 0

[array] compile-time checked access
by Tobias Loew 06 Nov '12

06 Nov '12

Hi, I was just rewriting some old code with hard coded indices for array access and though that compile-time checked access to array elements would be a nice thing. Maybe there are smart compilers out there that emit warnings or errors for a hard coded out-of-bounds access, but my compiler does not. So, code like compiles without warnings or erros. Now, adding the following functions to array would make it possible to write which results in the expected error messages. Tobias -- View this message in context: http://boost.2283326.n4.nabble.com/array-compile-time-checked-access-tp4638… Sent from the Boost - Dev mailing list archive at Nabble.com.

5 8

shared_ptr<X[5]>
by Peter Dimov 06 Nov '12

06 Nov '12

Now that we (are going to) have shared_ptr<X[]>, what should shared_ptr<X[5]> do? >From user point of view, it seems obvious that this is as good a pointer to an array as shared_ptr<X[]> is, so it should behave similarly, having op[] and an element_type of X. >From a generic point of view, this could potentially break code that assumes that shared_ptr<T>::get() always returns a T*, even when T is X[5]. But how common is such a scenario? On the other hand, it will actually _fix_ generic code of the form shared_ptr<T> p( new T ); when T is X[5].

2 1

Re: [boost] C++ announcements coming tomorrow
by Brian Wood 05 Nov '12

05 Nov '12

From: Paul Mensonides > In that last announcement talk alone together with the follow-up Q & A > there are numerous "subtle" bits of marketing. The entire general trend > is one of attempting to turn a product (software) into a service. That > is an anti-consumer nickle-and-dime model which is just as anti-consumer > as trying to trick people that can't afford something into making > payments. It is just as anti-consumer as many other related things > occurring in the software industry nowadays--microtransactions being one > of them. I bet MS investors would think differently. Is there another option available to them than services? -- Brian Wood Ebenezer Enterprises -- so far G-d has helped us. http://webEbenezer.net

2 1

Boost mpi, serialization and shared_ptr
by Gabriel 05 Nov '12

05 Nov '12

Hello, Has this problem been solved? I have the same problems, I have a class with a shared_ptr member which does not compile with MPI skeleton and content. I receive the same error: *class boost::mpi::packed_skeleton_* *iarchive' has no member named 'reset' *and so on (I refere to the older posts) Thanks for any reply! BR Gabriel Nützi

1 0

[iterator] Library name (was [website] Wrong library name)
by Daniel James 04 Nov '12

04 Nov '12

On 4 November 2012 07:51, Michel Morin <mimomorin(a)gmail.com> wrote: > Boost.Iterator is listed as "Iterators" (note the plural form) in > > * http://www.boost.org/doc/libs/ > * trunk/boost/libs/libraries.htm > > But it should be "Iterator". I'll fix this in a sec, although 'libs/libraries' will only be updated in 1.53. I replied with an 'iterator' subject so that the appropriate people might see this.

2 2

Help! Detecting that two template aliases are equal.
by Matt Calabrese 04 Nov '12

04 Nov '12

In working on Boost.Generic I need, in multiple parts of the library, to detect if two template aliases are equivalent. For instance, this is required when comparing the compatibility of an automatically generated concept map of a less-refined concept with an explicitly created concept map for the less-refined concept when the concept in question has an associated class template. This seems like it shouldn't be too difficult, but apparently my understanding of template aliases is incomplete: //////////////////// // Create a template template< class > struct template_ {}; // Make a simple alias of the template template< class A > using template_alias = template_< A >; // Create a metafunction to determine if two unary type templates are the same template< template< class > class L, template< class > class R > struct templates_are_the_same { static bool constexpr value = false; }; template< template< class > class T > struct templates_are_the_same< T, T > { static bool constexpr value = true; }; // In Clang and GCC, the following static_assert will be triggered static_assert( templates_are_the_same< template_, template_alias >::value , "Templates are not the same." ); //////////////////// This behavior is observed in both Clang and GCC, though I haven't verified that it is correct behavior in the standard. Assuming that it is in fact standard, can anyone conceive of a way around this limitation? I've considered passing dummy arguments to the templates based on the template parameter list and checking that the resultant types are equal, but I'd like to avoid that if at all possible, since it seems like it would be difficult or impossible to support certain templates properly (I.E. consider the template parameter list of a template where one parameter type is dependent on another, like std::integral_constant). This type of detection is very important in making Boost.Generic work as closely to N2914 as possible so any workaround, however hairy, would be a huge help. -- -Matt Calabrese

5 8