September 2005 - Boost - lists.preview.boost.org

Re: [boost] Checked Integral Class
by Martin Bonner 15 Sep '05

15 Sep '05

----Original Message---- From: Stephen Gross [mailto:sgross@darwin.epbi.cwru.edu] Sent: 14 September 2005 18:19 To: boost(a)lists.boost.org Subject: Re: [boost] Checked Integral Class >> I've written a template class to hold a range of valid integral >> values. My intent was to mimic Ada's ability to define a type like >> this: >> >> type SmallInt is range -10 .. 10; >> >> One can then declare objects of this type and any subsequent >> … [View More]

2 1

Repost (putting together boost::any, mpl::vector, and filter_iterator)
by Stephen Gross 15 Sep '05

15 Sep '05

I've put together a class called 'AnyVector' for doing type-based iteration on a vector. The basic idea is that AnyVector wraps a std::vector<boost::any>. The AnyVector lets you iterate across a subset of the underlying vector by using filter_iterators. The filter iterators, in turn, dereference to the requested type for ease of use. For instance, you can do the following: === CODE === AnyVector<> a; a.push_back(1); a.push_back(std::string("hello")); a.push_back(2); a.push_back(… [View More]

2 2

Interest in an arbitrary precision library?
by Joel Eidsath 15 Sep '05

15 Sep '05

I've used several different arbitrary precision libraries with C++ and I have always been somewhat disappointed. And now I'm finally disappointed enough to start on my own. Here are the attributes that I think a C++ arbitrary precision library needs: 0) As much as possible, the library types should be drop-in replacements for the built-in types. a) This probably means some sort of numeic_limits support. I am unclear on the best implementation of this. b) Any automatic … [View More]

12 58

[metamath] File inclusion and use of static
by Matt Calabrese 15 Sep '05

15 Sep '05

I recently started toying with metamath for use in a current project of mine with some really great results, though I ran into some unintuitive organization in regards to inclusion that should probably be fixed. The main "problem" comes from the fact that double.hpp does not include the arithmetic specializations for double_. The reason why I consider this a problem is that it makes working with generic mathematical metafunctions difficult, as it requires the user of the function to know … [View More]the inner workings of the metafunction in order to know which associated arithmetic operation files for double to include. For instance: template< typename A, typename B, typename C > struct math_function : ::boost::mpl::plus< ::boost::mpl::times< A, B >, C > { }; Now, this metafunction may be meant to be used with any kind of compile-time values (not just double_). All the file really should be required to include is <boost/mpl/times.hpp> and <boost/mpl/plus.hpp>, or at least declarations of the associated templates. Because of this, with the current layout of metamath, the person using math_function from another file now has the responsibility to include <boost/metamath/double/times.hpp> and <boost/metamath/double/plus.hpp>, otherwise the metafunctions obviously will not work correctly (well, assuming that they are actually instantiated, of course). However, this is not a good solution since it means that the user of math_function must know its implementation details in order to know to include the appropriate metamath double operations. The other alternative would be to include the double operations from the math_function file itself, which also is not a good solution, since it implies that it knows about double, which, considering it is a generic function meant to work with any number of types which comply to the currently unspoken compile-time value abstraction (unspoken for non-integral types, correct me if I'm wrong?), is not feasible. The only truely intuitive, fully functional solution I see is to have double's file include everything it needs to make it conformant to the compile-time value pure abstraction (i.e. all of the proper arithmetic operations). Short of this, there should at least be another file that you can include which includes all of the appropriate operations to make it comply to the proper pure abstraction which programmers would usually include. Also, the files for arithmetic operations currently use ::boost::mpl::apply2, yet never include <boost/mpl/apply.hpp>. Slightly less damaging is that the double_macros file does not include double.hpp, which is more just a little bit annoying, since it requires one to include both files explicitly in order to actually use the macro in any practical situation. Finally, the constants pi, e, etc. are currently defined as being static objects at namespace scope, which, as per Annex D.2 of the C++ standard, is deprecated usage of the static keyword (one should prefer unnamed namespaces instead). "ten" is also left out of these definitions, despite its existance as a typedef in the meta sub-namespace. -- -Matt Calabrese [View Less]

2 1

[assign] a bug in map_list_of?
by Alexey Bakhvalov 15 Sep '05

15 Sep '05

The following example doesn't compile under VC7.1 and VC8.0b2: [code] #include <boost/assign/list_of.hpp> #include <boost/assert.hpp> #include <map> using namespace std; template<class T> void func1() { } template<class T> void func2() { } void func() { } int _tmain(int argc, _TCHAR* argv[]) { typedef void (*TFunc)(); map<const wchar_t *, TFunc> next = boost::assign::map_list_of<const wchar_t *, TFunc> (L"test1", &func1<… [View More]

2 2

asio file I/O
by Felipe Magno de Almeida 15 Sep '05

15 Sep '05

Hi boosters, I've implemented asynchronous file IO for linux in asio using aio_* functions. I created a class called basic_stream_file (and a typedef called stream_file) with almost the same interface as basic_stream_socket. But with read/write and async_read/async_write functions and an aio_demuxer_service. I writed it for the 0.3.2 version. For now to be able to use this new demuxer, is needed to create a demuxer of type: asio::basic_demuxer<asio::detail::aio_demuxer_service>. … [View More]

3 4

[preprocessor] help generating create functions
by Jason Hise 14 Sep '05

14 Sep '05

Background: I am using a few functions which have the following form: void create ( ); template < typename P1 > void create ( P1 p1 ); template < typename P1, typename P2 > void create ( P1 p1, P2 p2 ); [...] I am trying to generate these using the boost preprocessor library, but I am getting an error. This is probably because I do not fully understand how the order of expansion of function-like macros works. The error is: warning C4002: too many actual parameters for … [View More]

3 3

typeof compilers support expectation
by Arkadiy Vertleyb 14 Sep '05

14 Sep '05

Hi All, How important it is for the Typeof library to support the following compilers: gcc 2.95 sunpro borland dmc? It looks like these four would represent most significant problems in porting. Regards, Arkadiy

1 0

Re: [boost] Checked Integral Class
by Matt Doyle 14 Sep '05

14 Sep '05

I have pretty much the same template in my lib with the main exceptions being that, where possible, I statically assert as well, and I (sort of) allow for non-integral types (run time only). TBoundValue<typename RT, typename DT, RT min, RT max> I would love to figure out how to trick the compiler into evaluating a floating point, non-type argument but so far I haven't found it (a few ideas though :) Anyway, if there's interest in it I'd be willing to work together with you on it and … [View More]

3 3

Re: [boost] Checked Integral Class
by Matt Doyle 14 Sep '05

14 Sep '05

> > I also do some static assertions and I was thinking of adding static > functionality to add, multiply, divide, etc. at compile time. > One could do > this if one knew the lhs & rhs values at compile-time. > > What's the "typename DT" template parameter for? > RT = range type, and DT = data type. That's what I meant by "sort of" for the floats. When I was able to do my math with ints it worked great but when I had to switch to doubles that's the closest I … [View More]

1 0