Improve constexpr coverage in zmq.hpp with C++11/14/17 compatibility#684
Open
mberk-yilmaz wants to merge 6 commits intozeromq:masterfrom
Open
Improve constexpr coverage in zmq.hpp with C++11/14/17 compatibility#684mberk-yilmaz wants to merge 6 commits intozeromq:masterfrom
mberk-yilmaz wants to merge 6 commits intozeromq:masterfrom
Conversation
Add const-qualified overloads for multipart_t::front() and back() in `zmq_addon.hpp`. Note on API shape: - In a container-style API, non-const overloads would typically return `message_t&`. - This change intentionally preserves existing non-const return types (`const message_t&`) for backward-compatibility and to avoid broadening mutability semantics in this PR. Also extend `tests/multipart.cpp` with compile-time and runtime checks for const/non-const access paths. No behavioral change intended.
…ionally added test for constexpr.
- map ZMQ_EXTENDED_CONSTEXPR to constexpr under existing compiler guards - add constexpr to safe state observers in context_t/socket_base/socket_ref paths - add constexpr to recv_buffer_size::truncated and fallback trivial_optional observers/ctor - strengthen compile-time tests with static_assert checks in context/socket/socket_ref tests - keep risky/non-portable areas (buffer pointer arithmetic, pointer ordering semantics) unchanged
Pull Request Test Coverage Report for Build 23609355763Details
💛 - Coveralls |
Member
|
Why these two ways of marking functions constexpr? // why not just use ZMQ_CONSTEXPR_FN?
// or if there is need why not just ZMQ_EXTENDED_CONSTEXPR operator void *() ZMQ_NOTHROW { return _handle; }
#ifdef ZMQ_EXTENDED_CONSTEXPR
ZMQ_EXTENDED_CONSTEXPR operator void *() ZMQ_NOTHROW { return _handle; }
#else
operator void *() ZMQ_NOTHROW { return _handle; }
#endif
ZMQ_CONSTEXPR_FN operator void const *() const ZMQ_NOTHROW { return _handle; }Related to this it's interesting to still support C++98 with C++26 releasing this year. |
gummif
reviewed
Mar 27, 2026
| @@ -965,7 +986,10 @@ template<class T> class trivial_optional | |||
| using value_type = T; | |||
|
|
|||
| trivial_optional() = default; | |||
gummif
reviewed
Mar 27, 2026
| inline ZMQ_CONSTEXPR_FN bool operator==(const detail::socket_base &a, | ||
| const detail::socket_base &b) ZMQ_NOTHROW | ||
| { | ||
| return std::equal_to<const void *>()(a.handle(), b.handle()); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What changed
This PR expands
constexprusage inzmq.hppwith a compatibility-first approach across C++11/14/17.zmq.hppZMQ_EXTENDED_CONSTEXPRasconstexpr(under existing compiler/version guards).constexpron safe pointer-state observers:context_t::operator bool() constdetail::socket_base::handle() constdetail::socket_base::operator bool() constdetail::socket_base::connected() constconstexpronly whenZMQ_EXTENDED_CONSTEXPRis available.socket_refnull-comparison operatorsconstexpr.detail::socket_baseoperator==/operator!=constexprand use direct pointer equality.recv_buffer_size::truncated()detail::trivial_optional<T>value constructor,operator bool(),has_value().Tests
static_assert:tests/socket.cpp:socket_baseconstexpr handle/bool checkstests/socket_ref.cpp: constexpr null comparison checkstests/context.cpp: constexpr checks forrecv_buffer_size::truncated()and fallbacktrivial_optional(!CPPZMQ_HAS_OPTIONAL)Why this is safe
constexpr; changes are limited to trivial observers/value-state helpers.extended constexprremains opt-in by language/compiler capability.Compatibility notes
ZMQ_EXTENDED_CONSTEXPRremain respected.Validation
Validated by building and testing in three standards: