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

Re: [Boost-users] Fit review
by Andrea Bocci 09 Sep '17

09 Sep '17

Hi, maybe it's too late, but I hadn't seen this library before on the boost-users list. Would you consider a different name ? In the context of mathematical and statistical analysis, a "fit" is something else entirely - still related to "functions". Reading that "Fit is a header-only ... library that provides utilities for functions..." I was expecting something quite different ;-) Anyway, good job with library itself. Regards, .Andrea

2 1

Re: [Boost-users] [boost] Fit review - viboes
by P F 09 Sep '17

09 Sep '17

> On Sep 9, 2017, at 6:27 AM, Vicente J. Botet Escriba via Boost <boost(a)lists.boost.org> wrote: > > Hi, > > here it is my review. > > I believe that Boost.Fit should be*accepted*. Thanks for the review. > > > > *Design* > > The design is sound and clean. > > I have some concerns respect the the ConstFunctionObjects that I believe should merit an explanation on a rationale section. Why the library support only Const function objects? This is described in the FAQ, but maybe it should be moved to a rationale section. The main reasons are they are error prone, and in C++11 can’t be supported with constexpr. > > Wondering if some parts should be moved to Boost.TypeTraits or reused from there (is_callable). But would that imply a C++98 compatible trait? Of course, I don’t see a reason to dump every trait used in boost into Boost.TypeTraits. > > I'm missing the std::invoke function. What do you mean? std::invoke is provided by C++17. There is fit::apply, which will work like std::invoke except fit::apply also uses constexpr and is defined as a function object(so it can be passed to other functions). > > The_adaptor<> are not documented. Maybe in the definitions section I can go over how `foo(f)` is the same as `foo_adaptor<F>{f}`. > The utility of those classes is not documented. The are mainly useful for when you want to type-based transformations to functions. This is common when you need to pass a function as a template parameter(like with the comparator in std::map, the deleter in std::unique_ptr, or when using Boost.MultiIndex). > If the user can use those classes the documentaion must document them. I guess they are useful to build other adaptors. It is not clear whether the defined functions would use SFINAE or just fail when used with types that don't respect the requirements. While I'm generally for SFINAE, I understand that it will not be the case in order to improve the compile time. The goal is to be as transparent as possible. So if `foo(f)(x)` is equivalent to `f(x)`, then if `f(x)` causes substitution failure, then `foo(f)(x)` causes substitution failure. The same is true for constexpr and noexcept on compilers that support those well enough. > It is not clear if the functions can be final function objects or not. They can be. There is no such restriction mentioned for the `Callable` or `ConstCallable` concept. > *Implementation* > > Not seen in depth. > > It should use as much as possible Boost.Config and/or Boost.Predef Right now it uses sd-6 macros, but it could move to use Boost.Config(probably not Boost.Predef). > > Possible files contains details that could be shared in Boost or used from other Boost libraries > > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/move.hpp - I believe Hana use something like this also to reduce the dependencies (compile footprint) > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/forward.… <https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/forward.…> Well hana uses a static_cast. Here, I use a macro which uses a static_cast if possible, and then I fallback to a function on compilers that can’t handle the static_cast. > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/noexcept… > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/and.hpp - I believe Hana use something like this also to reduce the dependencies (compile footprint) Well, I dont know of a library in boost that implements the fast_and algorithm that works on gcc 4.6+ and msvc. > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/compress… <https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/compress…> I dont know of a library that implements this. There is Boost.CompressedPair, but that implementation wouldn’t work at all for the Fit library. > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/constexp… > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/intrinsi… <https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/intrinsi…> This probably could be factored out in a separate boost library, which might be useful for other heavy metaprogramming libraries. > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/pp.hpp > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/remove_r… > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/result_o… > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/static_c… > https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/detail/using.hpp > > It uses a lot of macros that make complex the understanding of what is behind. On the same file https://github.com/pfultz2/Fit/blob/boost/include/boost/fit/compose.hpp and only on 169 lines > BOOST_FIT_INHERIT_CONSTRUCTOR, BOOST_FIT_RETURNS_CLASS, > BOOST_FIT_SFINAE_RESULT, BOOST_FIT_MANGLE_CAST, BOOST_FIT_DECLARE_STATIC_VAR, BOOST_FIT_NOEXCEPT_CONSTRUCTIBLE, > BOOST_FIT_ENABLE_IF_CONSTRUCTIBLE, BOOST_FIT_JOIN *Documentation* Some of those are documented. The others I could add some more comments in the code to what those do exactly. > > Quite good butthe description of the semantic of the provided functions would need some extra wording. Maybe a section that states that the semantic expression is part of the constraints on the types. What do you mean is part of the constraints on the type? > It takes too much pages to see what the library proposes. > For some functions we would need more information, examples. See below the detailed > > *Potential usefulness of the library* > > Very useful. > > *Did you try to use the library? With which compiler(s)? Did you have any problems?*** > Not tried yet. > > *How much effort did you put into your evaluation? A glance? A quick reading? In-depth study?*** > In-depth study of the documentation (about 5 h for this revision). > > *Are you knowledgeable about the problem domain?* > > In general, yes. > > *Were the concerns from the March 2016 review of Fit addressed?*** > I believe ;-) > > Best, > Vicente > > *Documentation:* > > In general: > > * Navigation only from the top of the page > > * Hyper links missing. > > * There is no link to real code from the examples. Most of the examples are a full running program that can be pasted in. > > > In particular: > > *http://pfultz2.github.io/Fit/doc/html/doc/src/gettingstarted.html* > > An explanation of the BOOST_FIT_LIFT limitations would be more than welcome. Good point. > > Typo: last right parenthesis in > > // Pipable sum > BOOST_FIT_STATIC_LAMBDA_FUNCTION(sum) = pipable([](auto x, auto y) > { > return x + y; > }); > > It is not clear if the following is correct in the body of a function > > autosum = pipable([](auto x, auto y) > { > return x + y; > }; That needs to be corrected. > > *http://pfultz2.github.io/Fit/doc/html/doc/src/example_print.html* > > I would suggest to use an heterogeneous tuple in the for_each_tupleexample. > > In addition use some kind of brackets to print the sequences and the tuples would help to identify what is been printed. I was trying to keep the example simple. However, with the print out its a little more confusing. > > > *http://pfultz2.github.io/Fit/doc/html/doc/src/example_overloading.html* > > Typo: > > Before > // Check that T has member function for operator* and ope After // Check that T has member function for operator* and opeerator-> > > I'm not sure the example is_derreferenceable is fair. Using is_detected, might be a little simpler, but it don’t think it would help overall. > > > *http://pfultz2.github.io/Fit/doc/html/doc/src/example_polymorphic_constructors.html* > > Maybe it is worth adding references to the proposals (P0318R0 and P0338R2) > > > *http://pfultz2.github.io/Fit/doc/html/doc/src/more_examples.html* > > Extension Methods > > It is not clear what numbers, filter and transform are in the example. I should add an implementation of those. > > I believe that the range proposal woul include the pipe operator. Although, there are some who don’t see the usefulness of it. > > My question is how both pipe operator overloads interact. How so? > > http://pfultz2.github.io/Fit/doc/html/doc/src/point_free.html > > typo > > Before > > |b(f)(x, y)| > > |after| > > > ||by(f)(x, y)|| > > > *http://pfultz2.github.io/Fit/doc/html/doc/src/definitions.html* > > It woul dbe great to have an example associated to each definition That is a good idea. > > Static Function Adaptor > > I would say "It has an additional requirement that the *class****function* is |DefaultConstructible|:" > > Decorator > I would say "The *resulting* Function Adaptor <http://pfultz2.github.io/Fit/doc/html/doc/src/definitions.html#function-ada…> may be an unspecified or private type.” Ok. > > Typo? > Some parts of the documentation provides > > > > *http://pfultz2.github.io/Fit/doc/html/doc/src/concepts.html* > ConstFunctionObject > > I would like to note that this concept is not representable using the Concept TS as it is quantifying universally on the Ts (args) parameters. > > The same applies to UnaryFunctionObject, BinaryFunctionObject > > Wondering if the documentation should use the term Concepts then. The purpose of the Concepts section is to document the type requirements. The current standard may not be able to check those type requirements in its current form, but there could be future versions of C++ that can check these type requirements. > > > The use of expresion "Is an object with ..." is confusing. What are we qualifying the type or the instance? This means the type is an object(ie scalar, array, union, or class). Of course, an array or union cannot have a call operator, so this only applies to classes and scalars that are pointers. > > Maybe it is worth defining FunctionObject. Trye, although I never use that concept, it would make sense for completeness sake. > > EvaluatableFunctionObject > > It is not clear why this kind of FunctionObjects is useful This mainly used by the `fit::eval` and `fit::apply_eval` functions. > > > Callable > > I believe we have moved to call this Invocable in the standard. But again, I believe that you want to quantify universally the arguments, isn't it? That is possible to check with the current C++(hence `is_callable`). This should be renamed to `Invocalbe` and `is_invocable`. > > Does your definition of INVOKE differs from the one on the standard? No, it shouldn’t, unless the standard doesn’t allow constexpr. > If yes, the differences should be mentioned. If not, the definition on the standard should be referenced. Would cppreference be acceptable? > > You use type T twice with different meaning > > "The type |T| satisfies |Callable| if" > > "if |f| is a pointer to member function of class |T|:" > > I believe that here the T are not the same. True, let me fix that. > > Are final function objects Callable, ConstCallable? Yes, why wouldn’t they be? > > > ConstCallable > The brief description is the same as the one for Callable > Is the definition of the second INVOKE different from the first one? No, it isn’t. The only difference is the f is of type `const T`. > > UnaryCallable > The name doesn't convey that it is *Const*Callable > > Metafunction and MetafunctionClass > it is not clear what those are, there is no brief description. I guess that this applies to f. > What do you mean by a type or a template? I see, that is a little confusing. These should follow the same definitions as in Boost.MPL. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/by.html* > > > It is not clear to me what > > by(p)(xs...) == p(xs)... mean > > > An example of `fit::by` without a function argument will be welcome. Good point. > > It is not clear how by_adaptor<Projection, F> and by_adaptor<Projection> can be used by the user? I could add an example using std::map. > Shouldn't those be hidden? No they shouldn’t be hidden. > > This is a genral remak, why F must be ConstCallable? For the same reason everything is ConstCallable. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/compose.html *The requirements don't state clearly the constraints on the input parameters of f and the result of g, except by the semantic expression. This is a general remark. I suspect that you mean the semantic expression must be well formed. But, is this SFINAE friendly or is this a requirement? It is sfinae-friendly. > Can both function be final function objects? **** In compose? Any of the functions can be final. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/conditional.html* > It is not clear what king of parameters this function could have (in particular in comparison with P0051). Does it accept function/data members pointers, final classes, references_wrappers, …? Yes, it takes any `ConstCallable` > > Typo "Proposal for C++ Proposal for" > P0051 original proposal uses overload_linearly/overload (as Boost.Hana) instead of conditional/match. Wondering if those names aren't more clear. I really hate the name overload_linearly. Its long and doesn’t describe what it does. > Why do we need to change the Boost.Hana names? Those names were chose before Boost.Hana. I use `conditional` because it was like a conditional block, especially when used with fit::if_. Perhaps, there is a better name. > There is also std::conditional :( Which really should’ve been called std::if_. > > Can more than 2 parameters be final function objects? Yes, of course. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/flip.html** > * > IIUC, F must not be BinaryCallable, but Callable with at least two arguments. True, let me update the documentation. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/implicit.html* > > Is implicit a StaticFunctionAdaptor? Yes. > Shouldn't StaticFunctionAdaptors have Functions as parameters? What do you mean? > I named the `auto_cast` function `explicitly` to do a explicit conversion. > > Other uses of this pattern I've see are to create a buffer able to store a specific struct > > struct S; > S* ptr = create_msg(); > > create_msg returns an class that is convertible to a T* and that allocates sizeof(T) bytes of memory. Ah yes, for that too. > > Why this pattern respect the DRY principle (we don't repeat S), I believe it abuses of implicit conversions. Well, there is a caveat when someone uses ``auto`, like in your example: auto ptr = create_msg(); There is a guard to prevent this, but it doesn’t work in C++17. > Anyway, I wanted just to share another use case for implicit. > > http://pfultz2.github.io/Fit/doc/html/include/boost/fit/indirect.html > Wondering if it could be worth adding some preconditions as I guess that the function call > > indirect(f)(xs...) > > will be undefined if f is null That is true if `f` is a pointer, but is not true for all dereference operators. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/infix.html** > * > > One of the asked infix operations is pow. However we would like to evaluate from right to left and have the higher precedence than * x pow ypow z===pow(x, pow(y,z)) > x * ypow z===x * pow(y,z) x pow y* z===pow(x,y) * zWith the proposed infix notation this should be written > x <pow> (y<pow> z)===x * pow(y,z) x * (y<pow> z)===x * pow(y,z) (x <pow> y)* z===pow(x,y) * z > and the following would be surprising > x <pow> y<pow> z===pow(pow(x, y, z) x * y<pow> z===pow(x * y, z) x <pow> y*z===pow(x, y * z) It would work better for swap or compare (proposed operator <=>) as these functions are not associative. I believe a note should prevent the users for such bad use cases, for which it is better to don't define the infix operator. That is a good example to talk about. I will add that. > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/lazy.html* Note p0356r1. It would be good to have a comparison in order either to improve the proposal or your library. That seems more related to fit::partial. > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/match.html* Same comments than for fit::conditional. What are ex typo "Proposal for C++ Proposal for" > Can more than 2 parameters be final function objects? *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/mutable.html *Example of bad usage would be welcome.**Why Fit uses always const? **Why not use a reference to the function object instead? There is no way to safely manage the lifetime with a reference. > Is there a safe way to use MutableFunctionObjects with Fit? Yes, you can use `std::ref. > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/partial.html* Are there any constraints on the type of xs. Shouldn't them be MoveConstructibles? That is true, since it decays the parameters. > http://pfultz2.github.io/Fit/doc/html/include/boost/fit/pipable.html > Are there any constraints on the type of x. No. > Shouldn't it be MoveConstructible? No, it is not necessary. Pipable does not capture the parameters by value, since it is almost always used in the same expression(ie `x | f(y)`). > http://pfultz2.github.io/Fit/doc/html/include/boost/fit/protect.html It is not clear to me what this useful for. Could you elaborate? When you want `bind` or `lazy` to capture a bind expression instead of evaluating it. > Is there a typo here > assert(lazy(f)(protect(lazy(g)(_1)))() == f(lazy(g)(_1))) ^ Shouldn't it be assert(lazy(f)(protect(lazy(g)),_1)() == f(lazy(g)(_1))) Nope, that is correct. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/result.html*** > This adaptor converts explicitly the result of the call to the type. Have you considered `convert_to`? It also adds a `result_type` to the function. Its mainly used to annotate function with the result type, which can be useful for fit::fix or Boost.Variant visitors. The documentation could make this clearer. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/reveal.html* > > as_failures, with_failures, .... /adaptors/ don't appear on the index. You mean the table of contents? Yea, for them to appear there they need to be moved to a different section, with a header for each section. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/reverse_fold.html* > > reverse_fold is not right fold, as right fold is right associative, isn't it? True, it is right fold with the arguments flipped. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/rotate.html*** > Could you show a concrete use case? > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/static.html*** > > What are the differences of this adaptor and the macro STATIC_FUNCTION? STATIC_FUNCTION just declares a function objects at namespace or global scope, which requires the function to be constexpr constructible. The `static_` adaptor is to declare an adaptor that does not have a constexpr constructor. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/unpack.html* > > Why name it unpack instead of apply like in C++17? First, it doesn’t have the same signature as std::apply. Secondly, its very confusing, as ‘apply' generally means function applications especially in boost. So I would like to avoid this confusion. > Need to introduce the Sequence concept and how it is customized? Hmm that is probably a better way to define it. > unpack_sequence? How unpack_sequence is used by unpack? > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/unpack_sequence.html*** > Why unpack_sequence, and not the tuple-like traits? Not every sequence could be defined with indices. > Is unpack_sequence defined if the class defines the tuple-like traits? No because they are not sfinae-friendly. > Aside the example, it is not defined what the user must define. That could probably use more explanation. > What the member function apply must return? The result of calling `f`. > How the unpack_sequence parameter and the Sequence parameter of member function apply are related? > I don't understand > > template<class F, class Sequence> > constexpr static auto apply(F&& f, Sequence&& s) BOOST_FIT_RETURNS > ( > s(std::forward<F>(f)) > ); Is a Sequence a callable taking a Callable or there is a type here? Is there a missing return? > > I suspect it should be > > template<class F, class Sequence> > constexpr static auto apply(F&& f, Sequence&& s) BOOST_FIT_RETURNS > ( > std::forward<F>(f)(s0, ,, sk); > ); > If this is correct, does it means that unpack just forwards to unpack_sequence? That example, I guess is a little confusing. As the `Sequence` is a function like fit::pack, but yes unpack calls unpack_sequence to do the unpacking for a single sequence. > Does the default specialization make use of INVOKE? Its not needed, as the function passed to `unpack_sequence` will always have a call operator. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/capture.html*** > Please, could you show how it is more flexible than lambda captures in C++? You can’t capture by value or reference dependending if it is an lvalue when using lambda captures. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/if.html* > > What happens when the parameter is false_type? SFINAE? Essentially yes. There is no call operator when its false. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/limit.html*** > if a function object is overloaded with 2 and 3 parameters, would limit be useful or it is only useful when the number of parameters is fixed? Yes its still useful, as it only sets a max limit. > I believe this is answered in http://pfultz2.github.io/Fit/doc/html/doc/src/partialfunctions.html, however I believe it merits a clarification here. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/repeat.html* > > Add requirement on the function parameter that must be a Unary function such that f(f(x)) is well formed. True, but the first call to repeat doesn’t need to be unary. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/repeat_while.html* > The same here. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/arg.html*** > What is the rational for the choice of been 1-based? This is to match how placeholders work. So arg<1> and _1 are the same number. > Could you add a rationale in the doc? Yea. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/construct.html* > > Maybe add a reference to the factory proposal p03382. Do you have a link? > > What happens when the parameter is not a T is not constructible from the params? SFINAE? Yes. > > What happens when the parameter is not a MetafunctionClass? SFINAE? Yes. > > I believe Boost.Hana uses make instead of construct. That is a possible name. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/decay.html* > > Why not decay_copy? It doesn’t always copy, like when passing reference_wrapper. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/identity.html *is identity a function or a function object? do we need identity()(x)? It can be treated as a function. I should update the synopsis to use a function signature instead. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/placeholders.html*** > Wondering if it is not better to locate them in a placeholders namespace, so that we can avoid possible collisions with other placeholders. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/placeholders.html#unamed-placeholder* > > The same here Ah, it could cause collision if users do `using boost::fit`. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/function_param_limit.html*** > |function_param_limit is not a Metafunction. "|The|function_param_limit| metafunction …" It is a metafunction(doing ::type works), but its actually more like a type trait. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/is_callable.html*** > F must be Callable can not be a requirement ;-) > > Add reference to C++17 trait is_invocable. > > Wondering if we should have it in type_traits, if not already there. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/apply.html*** > Confusion with std::apply. is this related to std::invoke? Its not like std::apply, its like hana::apply. Of course, maybe I could rename this to fit::invoke, and then add a fit::apply, that only calls the call operator. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/function.html* > > "By default, all functions defined with|BOOST_FIT_STATIC_FUNCTION| use thereveal <http://pfultz2.github.io/Fit/doc/html/include/boost/fit/reveal.html> adaptor to improve error messages." > > How to change this default? There isn’t a way. Perhaps I could add PP define to change it, but I wonder if its better to have some way to change it on a per-variable basis. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/lift.html*** > WhyBOOST_FIT_LIFT_CLASSdoesn't defines a instance as do BOOST_FIT_STATIC_FUNCTION? That maybe a better approach. Maybe I can call it BOOST_FIT_LIFT_FUNCTION. > > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/pack.html*** > How this is related with fit::capture? fit::capture uses fit::pack, but also does a pack_join to combine the pack and the parameters together. > > *http://pfultz2.github.io/Fit/doc/html/include/boost/fit/tap.html* > > How this is related to the tee unix command? I am not that familiar with unix tee. > > *http://pfultz2.github.io/Fit/doc/html/doc/src/configurations.html***Which ones? > > > _______________________________________________ > Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

1 0

[gsoc] Change in Google Summer of Code admin
by Niall Douglas 08 Sep '17

08 Sep '17

Dear all, Google Summer of Code 2017 has ended with another successful summer of student coding with probably the highest calibre year we've ever seen. After four years as lead admin for Boost Summer of Code, my time has come to an end. I'll be making way for David Bellot, long time mentor at Boost GSoC and maintainer of Boost.uBLAS. Please join me in welcoming David as new lead admin. I'll be staying on as backup admin next summer to help David settle in. My time as Boost Summer of Code admin has certainly been eventful with lots of surprises, ups and downs. The fact these surprises did not turn into crises is due in large part to a few people in particular who went far beyond the call of duty: * Jon Kalb, who went to bat for the students repeatedly in multiple venues and finding tens of thousands of dollars when it was needed. * Boris Schäling, whom I replaced as lead admin and who acted as backup admin for some years, who also managed to arrange tens of thousands of dollars of sponsorship when it was needed most. * Bryce Adelstein Lelbach, for acting as backup admin these past few years. * Andrew Sutton, the lead GSoC admin before Boris, who gave such detailed and useful early advice and materials on how to best navigate the treacherous waters of Google Summer of Code! And finally to all the mentors who so generously volunteered their time, and to the students every single one of whom successfully finished their projects in my time as admin despite problems with sickness, deaths in close family etc. Some of those students have gone on to become mainstays of the C++ conference circuit, famous names in their own right. I'm sure they would have been so without Google Summer of Code, but I'd like to think that it helped bring them to Boost rather than them getting into C++ via elsewhere. Thank you students! Regards, Niall

5 6

echo server modification causes undefined behaviour
by Peter Koukoulis 07 Sep '17

07 Sep '17

I'm a database developer and I'm using boost for the first time.I've copied the echo server & client example from the Boost website and modified it somewhat so that when I receive a SQL statement from the client I pass pass it onto a function that performs the db execution. Once executed Ireply back to the client how many rows were affected. The code works , if I send only a single request at a time from the synchronous client, so I modified the async server so that the read is a read_until.The change now crashes the server. Could somebody please help ?Attached is the code.

2 3

[release] Boost 1.65.1
by Daniel James 07 Sep '17

07 Sep '17

Release 1.65.1 of the Boost C++ Libraries is now available. These open-source libraries work well with the C++ Standard Library, and are usable across a broad spectrum of applications. The Boost license encourages both commercial and non-commercial use. This release contains bug fixes for existing libraries. For details, including download links, see <http://www.boost.org/users/history/version_1_65_1.html> You can also download directly from: <https://dl.bintray.com/boostorg/release/1.65.1/> To install this release on your system, see <http://www.boost.org/doc/libs/release/more/getting_started/index.html> Thanks to everyone who participated in this release. Thanks, -- The Boost Release Team Vladimir Prus Rene Rivera Marshall Clow Eric Niebler Daniel James Beman Dawes

3 2

[Multi_Index] Mixing composite keys with chained pointer value types
by Nick Gordon 07 Sep '17

07 Sep '17

I have a multi-index container that I'm using to fulfill two search cases. The objects are all derived from `Base`, which is a pure virtual class. To store the `Derived` objects I'm using unique_ptrs as the container value type. However, I need to store the objects uniquely on a composite of a member string, and an enum type used for runtime reflection without dynamic_cast-ing or typeid-ing. So, I want to use a composite key to be unique over both of these things. However, it doesn't compile (why else would I be posting). The minimum source code I can construct to fail using GCC 5.4.0 or Clang 3.9.1 with Boost 1.62 is attached in test.cpp, and the compilation error from my version of clang is attached as compilation-error.txt. I compile it with `clang++ --std=c++14 test.cpp`. I'm not familiar with how the library works, but my surface-level understanding is it seems that the chained_ptr is trying to act on the value type, but the operand being passed is actually one of the composite key expressions. I couldn't find much about how these two mechanisms interact. In my case it's not strictly necessary that I have this type-determining enum value, but it's cheaper than dynamic casting, and it makes my life simpler, because there are also many cases where we want to print the class name of the derived instance. There are other approaches, but I don't want to use them if I can get this working :) -Nick Gordon

2 1

Delete and free all elements of ptr_vector
by Florian Lindner 07 Sep '17

07 Sep '17

Hello, in my project we have a simple ptr_vector that has a member function: void deleteElements () { for ( CONTENT_T * elem : _content ) { assertion ( elem != NULL ); delete ( elem ); } } I want to replace this ptr_vector with boost::ptr_vector. However, I haven't found a way to delete and free all pointers stored in the container. How can I do that? Thanks, Florian

3 5

[Test] Can't build Boost Test 1.65.0 with Visual Studio 2013
by Kerry, Richard 07 Sep '17

07 Sep '17

I've just tried building Boost Test 1.65.0 with Visual Studio 2013 (ie msvc-12) and it doesn't seem to work, showing a compiler internal error. Can anyone advise what I might be doing wrong. Or whether a newer (or older) release fixes this issue. I've also tried 1.64.0 with an identical looking failure. Details below. Regards, Richard. I run : >b2 --with-test (as in the docs, though I'm not specifying address-model, link, --prefix or install. Having tried address-model and link as documented they appear to show the same fault). And then, after some messages, including "- test : building" (and nothing else listed as building), I get some messages starting: ...patience... ...found 1239 targets... ...updating 28 targets... compile-c-c++ bin.v2\libs\chrono\build\msvc-12.0\debug\link-static\threading-multi\chrono.obj chrono.cpp C:\Users\kerryr01\Downloads\Boost\boost_1_65_0\boost/type_traits/common_type.hpp(43) : fatal error C1001: An internal error has occurred in the compiler. (compiler file 'msc1.cpp', line 1325) To work around this problem, try simplifying or changing the program near the locations listed above. Please choose the Technical Support command on the Visual C++ Help menu, or open the Technical Support help file for more information Internal Compiler Error in C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\BIN\cl.exe. You will be prompted to send an error report to Microsoft later. call "C:\Users\kerryr01\AppData\Local\Temp\b2_msvc_12.0_vcvarsall_x86.cmd" >nul cl /Zm800 -nologo @"bin.v2\libs\chrono\build\msvc-12.0\debug\link-static\threading-multi\chrono.obj.rsp" ...failed compile-c-c++ bin.v2\libs\chrono\build\msvc-12.0\debug\link-static\threading-multi\chrono.obj... This is followed by a number of similar blocks of messages relating to: chrono.obj, thread_clock.obj, process_cpu_clocks.obj, cpu_timer.obj, auto_timers_construction.obj, execution_monitor.obj and others. [Blue line] Richard Kerry BNCS Engineer, SI SOL Telco & Media Vertical Practice T: +44 (0)20 3618 2669 M: +44 (0)7812 325518 4 Triton Square, Regent’s Place, London NW1 3HG richard.kerry(a)atos.net<mailto:richard.kerry@atos.net> [Atos logo] This e-mail and the documents attached are confidential and intended solely for the addressee; it may also be privileged. If you receive this e-mail in error, please notify the sender immediately and destroy it. As its integrity cannot be secured on the Internet, the Atos group liability cannot be triggered for the message content. Although the sender endeavours to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting from any virus transmitted.</ Atos, Atos Consulting, Worldline and Canopy The Open Cloud Company are trading names used by the Atos group. The following trading entities are registered in England and Wales: Atos IT Services UK Limited (registered number 01245534), Atos Consulting Limited (registered number 04312380), Atos Worldline UK Limited (registered number 08514184) and Canopy The Open Cloud Company Limited (registration number 08011902). The registered office for each is at 4 Triton Square, Regent’s Place, London, NW1 3HG.The VAT No. for each is: GB232327983. This e-mail and the documents attached are confidential and intended solely for the addressee, and may contain confidential or privileged information. If you receive this e-mail in error, you are not authorised to copy, disclose, use or retain it. Please notify the sender immediately and delete this email from your systems. As emails may be intercepted, amended or lost, they are not secure. Atos therefore can accept no liability for any errors or their content. Although Atos endeavours to maintain a virus-free network, we do not warrant that this transmission is virus-free and can accept no liability for any damages resulting from any virus transmitted. The risks are deemed to be accepted by everyone who communicates with Atos by email.

2 2

flat_(multi)map/set and Compare::is_transparent
by TONGARI J 06 Sep '17

06 Sep '17

Hi, Since C++14, the standard introduces transparent comparators for heteregeneous lookup, but seems that the Boost's flat counterparts don't take advantage of this yet. Is there any plan to support transparent comparators? Thanks.

2 1

[Boost.Container] Boost.Container support for transparent comparators
by dariomt＠gmail.com 05 Sep '17

05 Sep '17

Hi, I see this trac ticket [1] with a feature request, and I'd like to know if there has been any progress on it. It doesn't look like it is in the latest release yet. Thank you! [1] https://svn.boost.org/trac10/ticket/11780

3 3