- Boost - lists.boost.org

Proposing statsort for Boost.Sort
by Peter Taraba 17 Mar '26

17 Mar '26

6 8

Multi Review Result
by Matt Borland 17 Mar '26

17 Mar '26

Bottom Line Up Front: The library is conditionally accepted. Thank you again to everyone who participated in the review. For transparency, the final tally of ACCEPT/CONDITIONAL ACCEPT/REJECT, from both private and public reviews, was 1/5/2. Both rejections and nearly all conditional acceptance conditions revolved around the state of the documentation and naming. I have consolidated these conditions and related discussion on the GitHub issue tracker, rather than reiterating them here. The total number of new issues from the review period is 25. Rainer and Peter Turcan both brought up bugs or additional features for the website. I am working to address those separately with the web devs. This leads us to the singular condition of acceptance being to address the documentation related issues. Since this is a rather subjective requirement, we will be running a mini review of the library documentation in a few weeks. Several of those who conditionally accepted or rejected said they would be willing to look at the library again. This mini review period provides them a good opportunity to do so. I think this second review will give the best possible product for the initial release of Multi in Boost. Stay tuned for those dates. Thank you again for your time and participation in this review. The library is certainly better for it. Matt

3 3

[Interest] Flags: Non-intrusive, type-safe bitwise operators for enums
by tobi＠die-loews.de 17 Mar '26

17 Mar '26

Hi everyone, I would like to gauge interest in a library I've been working on called Flags, which provides type-safe, non-intrusive bitwise operators for C++ enumerations. The primary goal of the library is to make the usage of flag-like enums safer by preventing accidental mixing of different types while still allowing them to be used with standard bitwise logic. A preliminary version of the library was presented here two years ago. The reception was positive and led to an enlightening discussion with Andrey Semashev, who pointed out several flaws in the design — notably potential ODR violations and the need for argument-dependent lookup (ADL) of operators. An enhanced version was then presented at C++Now 2024, where it was also well-received. After incorporating all feedback and allowing another year for the library to mature within internal projects, I have decided to resubmit it here. Key Features: * Type-safety: Prevents accidental mixing of different enum types and disables built-in arithmetic operators for enabled enums to turn logical errors into compilation errors. * Non-intrusive: Can be opted-in for existing enums (both scoped and unscoped) without modifying their definition. Simple macro-based opt-in via BOOST_FLAGS(...) [currently intended name]. * Compile-Time Friendly: Everything is constexpr, making it usable in template arguments. * Zero Overhead: Designed as zero-cost abstraction in optimized builds. * Distinguishes between flag-sets and their negations at the type level (based on a sound mathematical model). * Requires at least C++11, uses newer features if present Resources: * Documentation: https://tobias-loew.github.io/flags/ * GitHub Repository: https://github.com/tobias-loew/flags * Boost-Mail-Archive first presentation: https://lists.boost.org/archives/list/boost@lists.boost.org/thread/EZXQFJWA… * C++Now 2024 Presentation: "Fun with Flags", https://www.youtube.com/watch?v=2dzWasWblRc * Godbolt Example: https://godbolt.org/z/PPoKaGrzc I am interested in hearing if the community sees a place for this in Boost or has any feedback on the design. Best regards, Tobias Loew

7 8

[multi] Formal Review Begins
by Matt Borland 16 Mar '26

16 Mar '26

Dear All, The review of Multi by Alfredo Correa begins today, March 5th and goes through March 15th, 2026. Multi is a modern C++ library that provides manipulation and access of data in multidimensional arrays for both CPU and GPU memory. Code: https://github.com/correaa/boost-multi Docs: https://correaa.github.io/boost-multi/multi/intro.html For reviewers, please use the master branch. Please provide feedback on the following general topics: - What is your evaluation of the design? - What is your evaluation of the implementation? - What is your evaluation of the documentation? - What is your evaluation of the potential usefulness of the library? Do you already use it in industry? - Did you try to use the library? With which compiler(s)? Did you have any problems? - How much effort did you put into your evaluation? A glance? A quick reading? In-depth study? - Are you knowledgeable about the problem domain? Ensure to explicitly include with your review: ACCEPT, REJECT, or CONDITIONAL ACCEPT (with acceptance conditions). Additionally, if you would like to submit your review privately, which I will anonymize for the review report, you may send it directly to me at: matt_at_mattborland.com. Matt Borland Review Manager

8 27

Interest check: Boost.Algorithm.Statsort — O(n log log n) sorting
by Peter Taraba 13 Mar '26

13 Mar '26

4 7

[release] Master branch is now open for bug fixes
by Marshall Clow 13 Mar '26

13 Mar '26

Hi, The master branch is now open for bug fixes, test and documentation changes, but please follow the policy described in: https://github.com/boostorg/wiki/wiki/Releases%3A-Beta-Merge-Policy The next deadline: On April 1st, the master branch closes for all changes. As always, the calendar is at https://www.boost.org/calendar — The release managers

4 6

Re: Boost Digest, Vol 7730, Issue 1
by Alfredo Correa 12 Mar '26

12 Mar '26

Dear Rainer, Thank you again for expanding your review and answer my points. Here is an answer to your last email. > Message: 6 > Date: Tue, 10 Mar 2026 13:37:06 +0100 > From: Rainer Deyke <rdeyke(a)gmail.com> > Subject: [boost] Re: [multi] Formal Review Begins > To: boost(a)lists.boost.org > Message-ID: <10op39i$hvt$1(a)ciao.gmane.io> > Content-Type: text/plain; charset=UTF-8; format=flowed > > On 3/9/26 20:30, Alfredo Correa via Boost wrote: > >> The proposed library uses an array-of-arrays model. > > > > > > Multi supports both models array-of-array and flattened view this is > > prominently mentioned in the documentation, in the Iteration section ( > > > https://correaa.github.io/boost-multi/multi/tutorial.html#tutorial_iteration > > ) > > My bad. I wrote my first message before fully reading the > documentation, so I (somehow) missed the elements function. > No problem. Sometimes the documentation are not engaging enough to make everything evident at first glance. I changed the "Getting Started" section to mention this right away. For example, I mention that: """" Arrays can be viewed simultaneously as a nested array or as flat set of elemets. ``` assert( A.elements().size() == 6 ); // total number of elements assert( A.elements()[6] == 6 ); assert( &A.elements()[6] == &A[1][2] ); ``` """ Then in the Advanced Usage.Iteration section I now mention your examplesm, and more, using the iterability of the extents object. https://correaa.gitlab.io/boost-multi/multi/tutorial.html#tutorial_iteration > > for(auto indices : a.extensions().elements() ) { > > apply(a, indices) = get<0>(indices) + 10*get<1>(indices); > > } > > I don't see subarray::extensions()::elements in the documentation at > all. In fact, the reference documentation for subarray::extensions() > read "returns a tuple with the extensions in each dimension", and > std::tuple does not have a elements member function. I see one > reference to multi::extensions_t and two references to > subarray::extensions_type, neither of which mentions an elements member > function. So this one isn't my fault. > > I didn't think of using std::apply here. It's a clever solution that > only works because arrays can use operator() for indexing instead of the > more obvious operator[]. That said, I would still prefer the direct > syntax "a[indeces]". > As I said in the correction to my first email, you don't have to use `apply` (there is a `apply_square` planned too). The preferred way is: ``` for(auto [i, j] : a.extensions().elements() ) { a[i][j] = i + 10*j; } ``` The geometric meaning of "rotate" is not limited to 2D. I can rotate an > object in 3D, although I have a lot more choices for the axis of rotation. > The ironic thing is that index rotating can be a geometric rotation of a tensor or an array (after all it is a relabelling of the axis). So the name is not that bad after all. .rotate_indices would be very verbose. I wish there was a pair of unary operator in C++ that can do rotation (of indices) by one and unrotation by one. Something like "a <<" or "a >>". > >> The boost::multi::array::reextent function is not clearly defined. > > > > You will obtain {{1, 2, 0}}, a default element will appear at a[0][2] > > because a[0][2] was not part of the original array. > > > > Your second option depends on some interpretation of the array as flat > > array of numbers. > > I agree that this is the correct behavior, but the documentations should > be more explicit. > ok, it is now clarified. > > > But you can do this better with restrictions, and second, variadic > > templates in a constructor can mess up think in a nasty way. > > multi::array({5, 2}, arg1, arg2, arg3); (to construct elements T{arg1, > > arg2, arg3}). > > Using a restriction eliminates the need for copy construction, but it > still requires move construction. I admit that storing non-movable > types in a multidimensional array is very niche. > Well, restrictions could in principle return r-values. Yes, it is very niche and it is very difficult to make it work and provide useful guarantees. > > Having said that I can add tagged constructor, > `multi::array(std::in_place, > > {5, 2}, arg1, arg2, arg3);` if you think it is something that you need. > > That would solve the problem. > Yes, but it will also prevent extra parameters like allocators. I can experiment a bit with this idea. Also remember that Multi supports partially formed objects. Which in principle means that types that only truly valid after assignment can be manipulated efficiently. > >> On a technical level, the web page doesn't accept arrow keys or page > >> up/down for scrolling, so I have to rely use my mouse for scrolling. > >> > > > > I am able to navigate, scroll up and down with arrow keys, page up/down, > > and space. > > I am using a state of the art (I am told), documentation format (Antora). > > All I can say is that it doesn't work for me on Firefox, my default > browser. It does work on Chromium, so this could be a browser > incompatibility issue or a conflict with one of my browser extensions. > ok, the bug has been reported. > > > >> The boost/multi/elementwise.hpp header is not documented at all in the > >> reference section. > >> > > > > It is documented here: > > > https://correaa.github.io/boost-multi/multi/tutorial.html#tutorial_elementw… > > Yes, but there's no list of functions/operators that the header > includes. Scrolling through the section, I see operators +, *, and /, > as well as function "exp". What other operators are there? I assume > that binary and unary - exist and unary + doesn't, but what about > bitwise operators? Any functions besides "exp"? > > >> The documentation for (I assume) > >> boost::multi::subarray::const_element_ref just calls it element_ref. > >> > > > > For restrictions? not necessarily, depends on the actual element > returned, > > but what is your question? > > On the page, > https://correaa.github.io/boost-multi/multi/reference.html#ref_subarray, > second table, there are two entries for "element_ref". One reads > "Reference to element type, deduced from pointer type, typically T&", > the other reads "Constant reference to element type, deduced from > pointer type, typically T const&". This is an error in the > documentation. The second entry should be labeled "const_element_ref", > not "element_ref". > yes, you are right. fixed. > > >> boost::multi::subarray::index_range and > >> boost::multi::subarray::extension_type are only described in very vague > >> terms. What are the members of these types? > > > > index_range is whatever type you put in the parenthesis notation to > > indicate a range of elements > > > > A( {2, 4} , 5 ); // is the array {A(2 , 5 ), A(3, 5} } > > > > {2, 4} is converted to index_range. > > Sure, but can I do anything else with an index range? Can I access its > members? Can I iterate over it? > yes, yes, and yes. (The members are .front(), .back(), .begin(), .end(), size()) > > > > Extension type is whatever is returned by the .extension() function (this > > is like .size() but returns a range) > > And it apparently has a member function "elements" that is completely > undocumented, given your earlier example: > > > for(auto indices : a.extensions().elements() ) { > > apply(a, indices) = get<0>(indices) + 10*get<1>(indices); > > } > yes, it will be documented > > > >> The return types of boost::multi::subarray::elements and > >> boost::multi::array_ref::elements should be documented. > >> > I will, yes > > > Well the type is a complicated type, that for the most part you don't > need > > to know about. > > > > multi::elements_range_t<int*, multi::layout_t<2, long int> > > > > > It depends on other template parameters. It suffices to know that is a > > random access range. > > So it meets the requirements of std::ranges::random_access_range. Does > it provide indexed access through operator[]? Does copying it produce a > deep or a shallow copy? Is it returned by value or reference? > yes, the copy is deep (it is also immutable). Returns a value, it is a lazy view. > I don't care about the exact type. I care about what properties the > type has. > Fair enough. > > >> boost::multi::restriction has a member function called "home" which > >> "returns an indexable cursor". I don't know what this cursor is, what > >> it does, or what members it has. > a cursor is "a pointer-semantic object to an array that forgot its extents" :) Most users should not need to use it. > > > Cursors are described in other sections. > > I will add a section on the tutorial, its uses are pretty advances. > > For arrays, It is for context in which you can't use pass-by-reference. > > I see a very brief mention of cursors in the Interoperability/CUDA > section (which I skipped over because I am not familiar with CUDA). > They are described as "a multidimensional generalization of iterators". > Based on that description, I would expect being able to point cursors at > different parts of the array (possibly by adding N-dimensional vectors > to the cursor), but there is no such example given. They are also > described as references to arrays that can be indexed and cheaply > copied, but subarray and array_ref can already be used for the same > purpose. > Nope, because subarray and array_ref are not copyable! That is a fundamental design of the library, they are not spans. > Regardless of the purpose of cursors, I expect them to be documented in > the reference section. Other sections of the documentation are fine for > what they are, but the reference section should be able to stand alone. > Yes, that is comming, I am rewriting the reference section. > > > It seems that the main technical criticism was regarding features that > you > > can opt-in, like views, but that you are not forced to use. > > I actually have fairly few technical criticisms. My main problem is > with the documentation is not only inadequate, but inadequate to the > point where I can't even review key design elements without reading the > source code because these design elements are not adequately documented. > For example, I feel that there should be bitwise operators in > multi::elementwise for completeness, but I would have to read the source > code to find out if they already exist or not. > I didn't go overboard because people already complained that there was a lot of operator overloading. So I am now overloading the most requested ones, "I want my D = A + B*C " But you are right, for consistency almost all operators should be there, starting from logical ones. > > The other main issue is naming things, which is of course one of the two > hard problems in computer science. Everything else is basically > nitpicking on my part. > I am collecting alternatives names for everything, so if you have suggestions, please let me know. exfents in place of extensions is underway. > > Direct element access is something that you consider very useful and a > > deal-breaker for any multidimensional library. > > > > I hope I convinced you that element address is a first class citizen in > the > > library and it was a priority since day one. > > Yes, the element address issue is mostly resolved. I still don't like > having to use "std::apply", but I can live with it. > No need to make compromises: ``` for(auto [i, j] : a.extensions().elements() ) { a[i][j] = i + 10*j; } ``` Is there anything specific I could tackle for a recommendation for conditional acceptance, or you think it is irrecoverable? Thank you again, Alfredo

2 1

Re: [multi] Formal Review Begins
by Gennaro Prota 11 Mar '26

11 Mar '26

Hi everyone, here's my review of Boost.Multi: = What is your evaluation of the design? *Strong, with minor concerns.* Boost.Multi's core design insight — treating a D-dimensional array as a container of (D-1)-dimensional sub-arrays, recursively — is elegant and is what enables full standard library algorithm compatibility. This is the library's primary differentiator and it works well. The type hierarchy is well-motivated. The slicing API is expressive (A(_, 1) for columns, A({0,2}, {0,2}) for sub-blocks, A.strided(2), A.transposed()). The technical rationale includes Godbolt proofs that A[i][j][k] generates identical machine code to manual pointer arithmetic at -O2. *Concerns:* - ~A operator for transposition: A bit surprising — most C++ developers expect bitwise NOT; .transposed() is also available and should be preferred. - nelems() alongside num_elements() is redundant. = What is your evaluation of the implementation? *Solid engineering with areas that need cleanup.* The layout system (detail/layout.hpp) is stride-based and recursive. Extensions use a custom detail::tuple rather than std::tuple, presumably for GPU compatibility. Memory management is correctly implemented. The force_element_trivial<T> trait for opt-in trivial treatment of std::complex types is a practical and well-motivated choice for GPU/performance. Allocator and fancy pointer support is thorough throughout, which is genuinely rare in multidimensional array libraries. *Concerns:* - Lint suppression density: The source code has about 3000 NOLINT annotations (about 200 in array_ref.hpp). Many are justified, but this volume suggests a better approach is needed. - Iterator template complexity: array_iterator carries six template parameters, making compiler error messages potentially very difficult to read. There are no static_assert or concept checks to produce friendly diagnostics. - UB in strided/transposed end() iterators: The documentation acknowledges that end() iterators for strided or transposed views may point to invalid memory (undefined behavior). For a Boost library, this must be resolved or have a fully documented, safe workaround. - dynamic_array move constructor is noexcept(false): This is deliberate but should be prominently documented. - extensions_t<D> has manually unrolled constructors for D=1 through D=6 (~100 lines of near-duplicate code in layout.hpp), which is a maintenance burden. = What is your evaluation of the documentation? *Good tutorial; the reference sections need work.* *Strengths*: - The tutorial is genuinely well-written, building from the problem (manual index computation) up to sorting rows and columns with standard library algorithms. - Godbolt links throughout allow instant verification of claims. - The technical rationale section addresses key design questions honestly (why A[i][j][k], why static dimensionality, why C++17). - Comparison tables vs. mdspan, mdarray, xtensor, Boost.MultiArray are clear and fair. - The reference page has a useful cheat-sheet table. *Weaknesses:* - No automated API reference extraction: The reference is manually written, which could make it drift from the implementation. - Thread safety is undocumented: In particular, dynamic_array is described as useful for multithreaded contexts, but no formal guarantees are stated. - No migration/interop guide from Boost.MultiArray or std::mdspan. = What is your evaluation of the potential usefulness of the library? *High.* The library fills a genuine gap in the C++ ecosystem. No other library that I know of provides this combination of: - Full standard library algorithm compatibility: You can std::sort() rows, std::transform() columns, std::copy() sub-blocks. This is impossible or extremely awkward with std::mdspan, Eigen, or Boost.MultiArray. - An owning n-dimensional container: std::mdspan is non-owning only; std::mdarray is not yet standardized. - GPU memory support (CUDA + HIP). - Fancy pointer support (e.g. boost::interprocess::offset_ptr for persistent/shared memory). Target users include scientific computing, image processing, numerical simulation, and ML/AI. The examples include a heat equation solver, LU factorization, Gauss-Jordan solve, Boost.Interprocess mapped files, MPI usage, and Boost.GIL integration — all realistic use cases. I haven't used it in production, but its feature set directly addresses pain points I've run into in scientific C++ projects. = Did you try to use the library? With which compiler(s)? Did you have any problems? *I didn't compile the library, but I reviewed the source code, test suite, examples, benchmarks and CI configuration.* = How much effort did you put into your evaluation? A glance? A quick reading? In-depth study? *In-depth study.* I cloned the repository and read the core headers, the full documentation source, the online rendered docs, the CMakeLists.txt, the test files, the examples, and benchmarks. I examined class hierarchy, iterator design, const-correctness, allocator support, and portability workarounds. = Are you knowledgeable about the problem domain? *Moderately knowledgeable.* I'm familiar with the math concepts and have some experience with scientific computing and numerical methods. = Verdict: CONDITIONAL ACCEPT Rationale for acceptance: - Fills a genuine, well-articulated gap (see above). - The API is well-designed with clear value/reference semantic distinctions. - Broad compiler support. - Good documentation with a strong tutorial and honest technical rationale. Conditions for acceptance: - Resolve the UB in strided/transposed end() iterators. - Document thread safety guarantees. - Reduce Lint suppression density. Suggestions (not conditions): - Add a migration/interop guide for Boost.MultiArray and std::mdspan users. - Consider removing operator~() in favor of transposed() only. - Decide between nelems() and num_elements(). - Add automated API reference generation (MrDocs?). - Reduce extensions_t constructor unrolling with variadic templates where compiler support allows. -- Gennaro Prota <https://prota.dev>

3 2

[release] Boost 1.91.0 Beta 1 Release Candidate 1 is available
by Marshall Clow 11 Mar '26

11 Mar '26

Available at: <https://archives.boost.io/beta/1.91.0.beta1/source/> The SHA256 checksums are as follows: b8e78a226d2c0bd6ad4346254988dc2af15c0ae569d974e4da09e7dd0f338980 boost_1_91_0_b1_rc1.zip 866a39f4b6b1591c04bbb7d9c70ed241a794162512df0fa2ef79374b774354a3 boost_1_91_0_b1_rc1.7z d1eb15102b3379bff874894dd0c39d25a85c9c41147a2dd25215602b911125db boost_1_91_0_b1_rc1.tar.bz2 1194fb011943b4425cc6e15f3ee7272ae9c8331938c7d1bac8767850463c2e84 boost_1_91_0_b1_rc1.tar.gz As always, the release managers would appreciate it if you download the candidate of your choice and give building it a try. Please report both success and failure, and anything else that is noteworthy. -- The Release managers

5 5

Proposal: "Newly Endorsed Libraries" section in release notes
by Vinnie Falco 11 Mar '26

11 Mar '26

The release notes currently cover changes to libraries shipped in each Boost release. I'd like to propose adding a small, clearly separated section called "Newly Endorsed Libraries" that lists libraries endorsed on this mailing list since the previous release. Endorsement is a community action with a public record on this list. Reporting it in the release notes documents a Boost ecosystem event, not an editorial judgment. The section would be agnostic: any library endorsed through the standard process qualifies, regardless of author or affiliation. The motivation is practical. Libraries that come to formal review with an existing user base get better reviews. A brief mention in the release notes, where attention is highest, gives endorsed libraries visibility among exactly the people most likely to test them and participate in the review. Proposed format: a short entry per library with the library name, a one-line description, a link to the endorsement thread, and a link to the library's repository. Nothing more. If there's interest I'll draft a concrete example for the 1.91 release notes. Vinnie

9 19