mirror of
https://github.com/zerotier/ZeroTierOne.git
synced 2025-03-12 04:36:29 -07:00
* add note about forceTcpRelay * Create a sample systemd unit for tcp proxy * set gitattributes for rust & cargo so hashes dont conflict on Windows * Revert "set gitattributes for rust & cargo so hashes dont conflict on Windows" This reverts commit 032dc5c108195f6bbc2e224f00da5b785df4b7f9. * Turn off autocrlf for rust source Doesn't appear to play nice well when it comes to git and vendored cargo package hashes * Fix #1883 (#1886) Still unknown as to why, but the call to `nc->GetProperties()` can fail when setting a friendly name on the Windows virtual ethernet adapter. Ensure that `ncp` is not null before continuing and accessing the device GUID. * Don't vendor packages for zeroidc (#1885) * Added docker environment way to join networks (#1871) * add StringUtils * fix headers use recommended headers and remove unused headers * move extern "C" only JNI functions need to be exported * cleanup * fix ANDROID-50: RESULT_ERROR_BAD_PARAMETER typo * fix typo in log message * fix typos in JNI method signatures * fix typo * fix ANDROID-51: fieldName is uninitialized * fix ANDROID-35: memory leak * fix missing DeleteLocalRef in loops * update to use unique error codes * add GETENV macro * add LOG_TAG defines * ANDROID-48: add ZT_jnicache.cpp * ANDROID-48: use ZT_jnicache.cpp and remove ZT_jnilookup.cpp and ZT_jniarray.cpp * add Event.fromInt * add PeerRole.fromInt * add ResultCode.fromInt * fix ANDROID-36: issues with ResultCode * add VirtualNetworkConfigOperation.fromInt * fix ANDROID-40: VirtualNetworkConfigOperation out-of-sync with ZT_VirtualNetworkConfigOperation enum * add VirtualNetworkStatus.fromInt * fix ANDROID-37: VirtualNetworkStatus out-of-sync with ZT_VirtualNetworkStatus enum * add VirtualNetworkType.fromInt * make NodeStatus a plain data class * fix ANDROID-52: synchronization bug with nodeMap * Node init work: separate Node construction and init * add Node.toString * make PeerPhysicalPath a plain data class * remove unused PeerPhysicalPath.fixed * add array functions * make Peer a plain data class * make Version a plain data class * fix ANDROID-42: copy/paste error * fix ANDROID-49: VirtualNetworkConfig.equals is wrong * reimplement VirtualNetworkConfig.equals * reimplement VirtualNetworkConfig.compareTo * add VirtualNetworkConfig.hashCode * make VirtualNetworkConfig a plain data class * remove unused VirtualNetworkConfig.enabled * reimplement VirtualNetworkDNS.equals * add VirtualNetworkDNS.hashCode * make VirtualNetworkDNS a plain data class * reimplement VirtualNetworkRoute.equals * reimplement VirtualNetworkRoute.compareTo * reimplement VirtualNetworkRoute.toString * add VirtualNetworkRoute.hashCode * make VirtualNetworkRoute a plain data class * add isSocketAddressEmpty * add addressPort * add fromSocketAddressObject * invert logic in a couple of places and return early * newInetAddress and newInetSocketAddress work allow newInetSocketAddress to return NULL if given empty address * fix ANDROID-38: stack corruption in onSendPacketRequested * use GETENV macro * JniRef work JniRef does not use callbacks struct, so remove fix NewGlobalRef / DeleteGlobalRef mismatch * use PRId64 macros * switch statement work * comments and logging * Modifier 'public' is redundant for interface members * NodeException can be made a checked Exception * 'NodeException' does not define a 'serialVersionUID' field * 'finalize()' should not be overridden this is fine to do because ZeroTierOneService calls close() when it is done * error handling, error reporting, asserts, logging * simplify loadLibrary * rename Node.networks -> Node.networkConfigs * Windows file permissions fix (#1887) * Allow macOS interfaces to use multiple IP addresses (#1879) Co-authored-by: Sean OMeara <someara@users.noreply.github.com> Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * Fix condition where full HELLOs might not be sent when necessary (#1877) Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * 1.10.4 version bumps * Add security policy to repo (#1889) * [+] add e2k64 arch (#1890) * temp fix for ANDROID-56: crash inside newNetworkConfig from too many args * 1.10.4 release notes * Windows 1.10.4 Advanced Installer bump * Revert "temp fix for ANDROID-56: crash inside newNetworkConfig from too many args" This reverts commit dd627cd7f44ad623a110bb14f72d0bea72a09e30. * actual fix for ANDROID-56: crash inside newNetworkConfig cast all arguments to varargs functions as good style * Fix addIp being called with applied ips (#1897) This was getting called outside of the check for existing ips Because of the added ifdef and a brace getting moved to the wrong place. ``` if (! n.tap()->addIp(*ip)) { fprintf(stderr, "ERROR: unable to add ip address %s" ZT_EOL_S, ip->toString(ipbuf)); } WinFWHelper::newICMPRule(*ip, n.config().nwid); ``` * 1.10.5 (#1905) * 1.10.5 bump * 1.10.5 for Windows * 1.10.5 * Prevent path-learning loops (#1914) * Prevent path-learning loops * Only allow new overwrite if not bonded * fix binding temporary ipv6 addresses on macos (#1910) The check code wasn't running. I don't know why !defined(TARGET_OS_IOS) would exclude code on desktop macOS. I did a quick search and changed it to defined(TARGET_OS_MAC). Not 100% sure what the most correct solution there is. You can verify the old and new versions with `ifconfig | grep temporary` plus `zerotier-cli info -j` -> listeningOn * 1.10.6 (#1929) * 1.10.5 bump * 1.10.6 * 1.10.6 AIP for Windows. * Release notes for 1.10.6 (#1931) * Minor tweak to Synology Docker image script (#1936) * Change if_def again so ios can build (#1937) All apple's variables are "defined" but sometimes they are defined as "0" * move begin/commit into try/catch block (#1932) Thread was exiting in some cases * Bump openssl from 0.10.45 to 0.10.48 in /zeroidc (#1938) Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.45 to 0.10.48. - [Release notes](https://github.com/sfackler/rust-openssl/releases) - [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.45...openssl-v0.10.48) --- updated-dependencies: - dependency-name: openssl dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * new drone bits * Fix multiple network join from environment entrypoint.sh.release (#1961) * _bond_m guards _bond, not _paths_m (#1965) * Fix: warning: mutex '_aqm_m' is not held on every path through here [-Wthread-safety-analysis] (#1964) * Bump h2 from 0.3.16 to 0.3.17 in /zeroidc (#1963) Bumps [h2](https://github.com/hyperium/h2) from 0.3.16 to 0.3.17. - [Release notes](https://github.com/hyperium/h2/releases) - [Changelog](https://github.com/hyperium/h2/blob/master/CHANGELOG.md) - [Commits](https://github.com/hyperium/h2/compare/v0.3.16...v0.3.17) --- updated-dependencies: - dependency-name: h2 dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * Add note that binutils is required on FreeBSD (#1968) * Add prometheus metrics for Central controllers (#1969) * add header-only prometheus lib to ext * rename folder * Undo rename directory * prometheus simpleapi included on mac & linux * wip * wire up some controller stats * Get windows building with prometheus * bsd build flags for prometheus * Fix multiple network join from environment entrypoint.sh.release (#1961) * _bond_m guards _bond, not _paths_m (#1965) * Fix: warning: mutex '_aqm_m' is not held on every path through here [-Wthread-safety-analysis] (#1964) * Serve prom metrics from /metrics endpoint * Add prom metrics for Central controller specific things * reorganize metric initialization * testing out a labled gauge on Networks * increment error counter on throw * Consolidate metrics definitions Put all metric definitions into node/Metrics.hpp. Accessed as needed from there. * Revert "testing out a labled gauge on Networks" This reverts commit 499ed6d95e11452019cdf48e32ed4cd878c2705b. * still blows up but adding to the record for completeness right now * Fix runtime issues with metrics * Add metrics files to visual studio project * Missed an "extern" * add copyright headers to new files * Add metrics for sent/received bytes (total) * put /metrics endpoint behind auth * sendto returns int on Win32 --------- Co-authored-by: Leonardo Amaral <leleobhz@users.noreply.github.com> Co-authored-by: Brenton Bostick <bostick@gmail.com> * Central startup update (#1973) * allow specifying authtoken in central startup * set allowManagedFrom * move redis_mem_notification to the correct place * add node checkins metric * wire up min/max connection pool size metrics * x86_64-unknown-linux-gnu on ubuntu runner (#1975) * adding incoming zt packet type metrics (#1976) * use cpp-httplib for HTTP control plane (#1979) refactored the old control plane code to use [cpp-httplib](https://github.com/yhirose/cpp-httplib) instead of a hand rolled HTTP server. Makes the control plane code much more legible. Also no longer randomly stops responding. * Outgoing Packet Metrics (#1980) add tx/rx labels to packet counters and add metrics for outgoing packets * Add short-term validation test workflow (#1974) Add short-term validation test workflow * Brenton/curly braces (#1971) * fix formatting * properly adjust various lines breakup multiple statements onto multiple lines * insert {} around if, for, etc. * Fix rust dependency caching (#1983) * fun with rust caching * kick * comment out invalid yaml keys for now * Caching should now work * re-add/rename key directives * bump * bump * bump * Don't force rebuild on Windows build GH Action (#1985) Switching `/t:ZeroTierOne:Rebuild` to just `/t:ZeroTierOne` allows the Windows build to use the rust cache. `/t:ZeroTierOne:Rebuild` cleared the cache before building. * More packet metrics (#1982) * found path negotation sends that weren't accounted for * Fix histogram so it will actually compile * Found more places for packet metrics * separate the bind & listen calls on the http backplane (#1988) * fix memory leak (#1992) * fix a couple of metrics (#1989) * More aggressive CLI spamming (#1993) * fix type signatures (#1991) * Network-metrics (#1994) * Add a couple quick functions for converting a uint64_t network ID/node ID into std::string * Network metrics * Peer metrics (#1995) * Adding peer metrics still need to be wired up for use * per peer packet metrics * Fix crash from bad instantiation of histogram * separate alive & dead path counts * Add peer metric update block * add peer latency values in doPingAndKeepalive * prevent deadlock * peer latency histogram actually works now * cleanup * capture counts of packets to specific peers --------- Co-authored-by: Joseph Henry <joseph.henry@zerotier.com> * Metrics consolidation (#1997) * Rename zt_packet_incoming -> zt_packet Also consolidate zt_peer_packets into a single metric with tx and rx labels. Same for ztc_tcp_data and ztc_udp_data * Further collapse tcp & udp into metric labels for zt_data * Fix zt_data metric description * zt_peer_packets description fix * Consolidate incoming/outgoing network packets to a single metric * zt_incoming_packet_error -> zt_packet_error * Disable peer metrics for central controllers Can change in the future if needed, but given the traffic our controllers serve, that's going to be a *lot* of data * Disable peer metrics for controllers pt 2 * Update readme files for metrics (#2000) * Controller Metrics & Network Config Request Fix (#2003) * add new metrics for network config request queue size and sso expirations * move sso expiration to its own thread in the controller * fix potential undefined behavior when modifying a set * Enable RTTI in Windows build The new prometheus histogram stuff needs it. Access violation - no RTTI data!INVALID packet 636ebd9ee8cac6c0 from cafe9efeb9(2605:9880:200:1200:30:571:e34:51/9993) (unexpected exception in tryDecode()) * Don't re-apply routes on BSD See issue #1986 * Capture setContent by-value instead of by-reference (#2006) Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * fix typos (#2010) * central controller metrics & request path updates (#2012) * internal db metrics * use shared mutexes for read/write locks * remove this lock. only used for a metric * more metrics * remove exploratory metrics place controller request benchmarks behind ifdef * Improve validation test (#2013) * fix init order for EmbeddedNetworkController (#2014) * add constant for getifaddrs cache time * cache getifaddrs - mac * cache getifaddrs - linux * cache getifaddrs - bsd * cache getifaddrs - windows * Fix oidc client lookup query join condition referenced the wrong table. Worked fine unless there were multiple identical client IDs * Fix udp sent metric was only incrementing by 1 for each packet sent * Allow sending all surface addresses to peer in low-bandwidth mode * allow enabling of low bandwidth mode on controllers * don't unborrow bad connections pool will clean them up later * Multi-arch controller container (#2037) create arm64 & amd64 images for central controller * Update README.md issue #2009 * docker tags change * fix oidc auth url memory leak (#2031) getAuthURL() was not calling zeroidc::free_cstr(url); the only place authAuthURL is called, the url can be retrieved from the network config instead. You could alternatively copy the string and call free_cstr in getAuthURL. If that's better we can change the PR. Since now there are no callers of getAuthURL I deleted it. Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * Bump openssl from 0.10.48 to 0.10.55 in /zeroidc (#2034) Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.48 to 0.10.55. - [Release notes](https://github.com/sfackler/rust-openssl/releases) - [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.48...openssl-v0.10.55) --- updated-dependencies: - dependency-name: openssl dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * zeroidc cargo warnings (#2029) * fix unused struct member cargo warning * fix unused import cargo warning * fix unused return value cargo warning --------- Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * fix memory leak in macos ipv6/dns helper (#2030) Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> * Consider ZEROTIER_JOIN_NETWORKS in healthcheck (#1978) * Add a 2nd auth token only for access to /metrics (#2043) * Add a 2nd auth token for /metrics Allows administrators to distribute a token that only has access to read metrics and nothing else. Also added support for using bearer auth tokens for both types of tokens Separate endpoint for metrics #2041 * Update readme * fix a couple of cases of writing the wrong token * Add warning to cli for allow default on FreeBSD It doesn't work. Not possible to fix with deficient network stack and APIs. ZeroTierOne-freebsd # zerotier-cli set 9bee8941b5xxxxxx allowDefault=1 400 set Allow Default does not work properly on FreeBSD. See #580 root@freebsd13-a:~/ZeroTierOne-freebsd # zerotier-cli get 9bee8941b5xxxxxx allowDefault 1 * ARM64 Support for TapDriver6 (#1949) * Release memory previously allocated by UPNP_GetValidIGD * Fix ifdef that breaks libzt on iOS (#2050) * less drone (#2060) * Exit if loading an invalid identity from disk (#2058) * Exit if loading an invalid identity from disk Previously, if an invalid identity was loaded from disk, ZeroTier would generate a new identity & chug along and generate a brand new identity as if nothing happened. When running in containers, this introduces the possibility for key matter loss; especially when running in containers where the identity files are mounted in the container read only. In this case, ZT will continue chugging along with a brand new identity with no possibility of recovering the private key. ZeroTier should exit upon loading of invalid identity.public/identity.secret #2056 * add validation test for #2056 * tcp-proxy: fix build * Adjust tcp-proxy makefile to support metrics There's no way to get the metrics yet. Someone will have to add the http service. * remove ZT_NO_METRIC ifdef * Implement recvmmsg() for Linux to reduce syscalls. (#2046) Between 5% and 40% speed improvement on Linux, depending on system configuration and load. * suppress warnings: comparison of integers of different signs: 'int64_t' (aka 'long') and 'uint64_t' (aka 'unsigned long') [-Wsign-compare] (#2063) * fix warning: 'OS_STRING' macro redefined [-Wmacro-redefined] (#2064) Even though this is in ext, these particular chunks of code were added by us, so are ok to modify. * Apply default route a different way - macOS The original way we applied default route, by forking 0.0.0.0/0 into 0/1 and 128/1 works, but if mac os has any networking hiccups -if you change SSIDs or sleep/wake- macos erases the system default route. And then all networking on the computer is broken. to summarize the new way: allowDefault=1 ``` sudo route delete default 192.168.82.1 sudo route add default 10.2.0.2 sudo route add -ifscope en1 default 192.168.82.1 ``` gives us this routing table ``` Destination Gateway RT_IFA Flags Refs Use Mtu Netif Expire rtt(ms) rttvar(ms) default 10.2.0.2 10.2.0.18 UGScg 90 1 2800 feth4823 default 192.168.82.1 192.168.82.217 UGScIg ``` allowDefault=0 ``` sudo route delete default sudo route delete -ifscope en1 default sudo route add default 192.168.82.1 ``` Notice the I flag, for -ifscope, on the physical default route. route change does not seem to work reliably. * fix docker tag for controllers (#2066) * Update build.sh (#2068) fix mkwork compilation errors * Fix network DNS on macOS It stopped working for ipv4 only networks in Monterey. See #1696 We add some config like so to System Configuration ``` scutil show State:/Network/Service/9bee8941b5xxxxxx/IPv4 <dictionary> { Addresses : <array> { 0 : 10.2.1.36 } InterfaceName : feth4823 Router : 10.2.1.36 ServerAddress : 127.0.0.1 } ``` * Add search domain to macos dns configuration Stumbled upon this while debugging something else. If we add search domain to our system configuration for network DNS, then search domains work: ``` ping server1 ~ PING server1.my.domain (10.123.3.1): 56 data bytes 64 bytes from 10.123.3.1 ``` * Fix reporting of secondaryPort and tertiaryPort See: #2039 * Fix typos (#2075) * Disable executable stacks on assembly objects (#2071) Add `--noexecstack` to the assembler flags so the resulting binary will link with a non-executable stack. Fixes zerotier/ZeroTierOne#1179 Co-authored-by: Joseph Henry <joseph.henry@zerotier.com> * Test that starting zerotier before internet works * Don't skip hellos when there are no paths available working on #2082 * Update validate-1m-linux.sh * Save zt node log files on abort * Separate test and summary step in validator script * Don't apply default route until zerotier is "online" I was running into issues with restarting the zerotier service while "full tunnel" mode is enabled. When zerotier first boots, it gets network state from the cache on disk. So it immediately applies all the routes it knew about before it shutdown. The network config may have change in this time. If it has, then your default route is via a route you are blocked from talking on. So you can't get the current network config, so your internet does not work. Other options include - don't use cached network state on boot - find a better criteria than "online" * Fix node time-to-online counter in validator script * Export variables so that they are accessible by exit function * Fix PortMapper issue on ZeroTier startup See issue #2082 We use a call to libnatpmp::ininatpp to make sure the computer has working network sockets before we go into the main nat-pmp/upnp logic. With basic exponenetial delay up to 30 seconds. * testing * Comment out PortMapper debug this got left turned on in a confusing merge previously * fix macos default route again see commit fb6af1971 * Fix network DNS on macOS adding that stuff to System Config causes this extra route to be added which breaks ipv4 default route. We figured out a weird System Coniguration setting that works. --- old couldn't figure out how to fix it in SystemConfiguration so here we are# Please enter the commit message for your changes. Lines starting We also moved the dns setter to before the syncIps stuff to help with a race condition. It didn't always work when you re-joined a network with default route enabled. * Catch all conditions in switch statement, remove trailing whitespaces * Add setmtu command, fix bond lifetime issue * Basic cleanups * Check if null is passed to VirtualNetworkConfig.equals and name fixes * ANDROID-96: Simplify and use return code from node_init directly * Windows arm64 (#2099) * ARM64 changes for 1.12 * 1.12 Windows advanced installer updates and updates for ARM64 * 1.12.0 * Linux build fixes for old distros. * release notes --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: travis laduke <travisladuke@gmail.com> Co-authored-by: Grant Limberg <grant.limberg@zerotier.com> Co-authored-by: Grant Limberg <glimberg@users.noreply.github.com> Co-authored-by: Leonardo Amaral <leleobhz@users.noreply.github.com> Co-authored-by: Brenton Bostick <bostick@gmail.com> Co-authored-by: Sean OMeara <someara@users.noreply.github.com> Co-authored-by: Joseph Henry <joseph-henry@users.noreply.github.com> Co-authored-by: Roman Peshkichev <roman.peshkichev@gmail.com> Co-authored-by: Joseph Henry <joseph.henry@zerotier.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Stavros Kois <47820033+stavros-k@users.noreply.github.com> Co-authored-by: Jake Vis <jakevis@outlook.com> Co-authored-by: Jörg Thalheim <joerg@thalheim.io> Co-authored-by: lison <imlison@foxmail.com> Co-authored-by: Kenny MacDermid <kenny@macdermid.ca>
516 lines
16 KiB
C++
516 lines
16 KiB
C++
#ifndef PQXX_H_RANGE
|
|
#define PQXX_H_RANGE
|
|
|
|
#if !defined(PQXX_HEADER_PRE)
|
|
# error "Include libpqxx headers as <pqxx/header>, not <pqxx/header.hxx>."
|
|
#endif
|
|
|
|
#include <variant>
|
|
|
|
#include "pqxx/internal/array-composite.hxx"
|
|
#include "pqxx/internal/concat.hxx"
|
|
|
|
namespace pqxx
|
|
{
|
|
/// An _unlimited_ boundary value to a @ref pqxx::range.
|
|
/** Use this as a lower or upper bound for a range if the range should extend
|
|
* to infinity on that side.
|
|
*
|
|
* An unlimited boundary is always inclusive of "infinity" values, if the
|
|
* range's value type supports them.
|
|
*/
|
|
struct no_bound
|
|
{
|
|
template<typename TYPE> constexpr bool extends_down_to(TYPE const &) const
|
|
{
|
|
return true;
|
|
}
|
|
template<typename TYPE> constexpr bool extends_up_to(TYPE const &) const
|
|
{
|
|
return true;
|
|
}
|
|
};
|
|
|
|
|
|
/// An _inclusive_ boundary value to a @ref pqxx::range.
|
|
/** Use this as a lower or upper bound for a range if the range should include
|
|
* the value.
|
|
*/
|
|
template<typename TYPE> class inclusive_bound
|
|
{
|
|
public:
|
|
inclusive_bound() = delete;
|
|
explicit inclusive_bound(TYPE const &value) : m_value{value}
|
|
{
|
|
if (is_null(value))
|
|
throw argument_error{"Got null value as an inclusive range bound."};
|
|
}
|
|
|
|
[[nodiscard]] constexpr TYPE const &get() const &noexcept { return m_value; }
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
/// Would this bound, as a lower bound, include value?
|
|
[[nodiscard]] bool extends_down_to(TYPE const &value) const
|
|
{
|
|
return not(value < m_value);
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
/// Would this bound, as an upper bound, include value?
|
|
[[nodiscard]] bool extends_up_to(TYPE const &value) const
|
|
{
|
|
return not(m_value < value);
|
|
}
|
|
|
|
private:
|
|
TYPE m_value;
|
|
};
|
|
|
|
|
|
/// An _exclusive_ boundary value to a @ref pqxx::range.
|
|
/** Use this as a lower or upper bound for a range if the range should _not_
|
|
* include the value.
|
|
*/
|
|
template<typename TYPE> class exclusive_bound
|
|
{
|
|
public:
|
|
exclusive_bound() = delete;
|
|
explicit exclusive_bound(TYPE const &value) : m_value{value}
|
|
{
|
|
if (is_null(value))
|
|
throw argument_error{"Got null value as an exclusive range bound."};
|
|
}
|
|
|
|
[[nodiscard]] constexpr TYPE const &get() const &noexcept { return m_value; }
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
/// Would this bound, as a lower bound, include value?
|
|
[[nodiscard]] bool extends_down_to(TYPE const &value) const
|
|
{
|
|
return m_value < value;
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
/// Would this bound, as an upper bound, include value?
|
|
[[nodiscard]] bool extends_up_to(TYPE const &value) const
|
|
{
|
|
return value < m_value;
|
|
}
|
|
|
|
private:
|
|
TYPE m_value;
|
|
};
|
|
|
|
|
|
/// A range boundary value.
|
|
/** A range bound is either no bound at all; or an inclusive bound; or an
|
|
* exclusive bound. Pass one of the three to the constructor.
|
|
*/
|
|
template<typename TYPE> class range_bound
|
|
{
|
|
public:
|
|
range_bound() = delete;
|
|
// TODO: constexpr and/or noexcept if underlying constructor supports it.
|
|
range_bound(no_bound) : m_bound{} {}
|
|
// TODO: constexpr and/or noexcept if underlying constructor supports it.
|
|
range_bound(inclusive_bound<TYPE> const &bound) : m_bound{bound} {}
|
|
// TODO: constexpr and/or noexcept if underlying constructor supports it.
|
|
range_bound(exclusive_bound<TYPE> const &bound) : m_bound{bound} {}
|
|
// TODO: constexpr and/or noexcept if underlying constructor supports it.
|
|
range_bound(range_bound const &) = default;
|
|
// TODO: constexpr and/or noexcept if underlying constructor supports it.
|
|
range_bound(range_bound &&) = default;
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operators support it.
|
|
bool operator==(range_bound const &rhs) const
|
|
{
|
|
if (this->is_limited())
|
|
return (
|
|
rhs.is_limited() and (this->is_inclusive() == rhs.is_inclusive()) and
|
|
(*this->value() == *rhs.value()));
|
|
else
|
|
return not rhs.is_limited();
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
bool operator!=(range_bound const &rhs) const { return not(*this == rhs); }
|
|
range_bound &operator=(range_bound const &) = default;
|
|
range_bound &operator=(range_bound &&) = default;
|
|
|
|
/// Is this a finite bound?
|
|
constexpr bool is_limited() const noexcept
|
|
{
|
|
return not std::holds_alternative<no_bound>(m_bound);
|
|
}
|
|
|
|
/// Is this boundary an inclusive one?
|
|
constexpr bool is_inclusive() const noexcept
|
|
{
|
|
return std::holds_alternative<inclusive_bound<TYPE>>(m_bound);
|
|
}
|
|
|
|
/// Is this boundary an exclusive one?
|
|
constexpr bool is_exclusive() const noexcept
|
|
{
|
|
return std::holds_alternative<exclusive_bound<TYPE>>(m_bound);
|
|
}
|
|
|
|
// TODO: constexpr/noexcept if underlying function supports it.
|
|
/// Would this bound, as a lower bound, include `value`?
|
|
bool extends_down_to(TYPE const &value) const
|
|
{
|
|
return std::visit(
|
|
[&value](auto const &bound) { return bound.extends_down_to(value); },
|
|
m_bound);
|
|
}
|
|
|
|
// TODO: constexpr/noexcept if underlying function supports it.
|
|
/// Would this bound, as an upper bound, include `value`?
|
|
bool extends_up_to(TYPE const &value) const
|
|
{
|
|
return std::visit(
|
|
[&value](auto const &bound) { return bound.extends_up_to(value); },
|
|
m_bound);
|
|
}
|
|
|
|
/// Return bound value, or `nullptr` if it's not limited.
|
|
[[nodiscard]] constexpr TYPE const *value() const &noexcept
|
|
{
|
|
return std::visit(
|
|
[](auto const &bound) noexcept {
|
|
using bound_t = std::decay_t<decltype(bound)>;
|
|
if constexpr (std::is_same_v<bound_t, no_bound>)
|
|
return static_cast<TYPE const *>(nullptr);
|
|
else
|
|
return &bound.get();
|
|
},
|
|
m_bound);
|
|
}
|
|
|
|
private:
|
|
std::variant<no_bound, inclusive_bound<TYPE>, exclusive_bound<TYPE>> m_bound;
|
|
};
|
|
|
|
|
|
// C++20: Concepts for comparisons, construction, etc.
|
|
/// A C++ equivalent to PostgreSQL's range types.
|
|
/** You can use this as a client-side representation of a "range" in SQL.
|
|
*
|
|
* PostgreSQL defines several range types, differing in the data type over
|
|
* which they range. You can also define your own range types.
|
|
*
|
|
* Usually you'll want the server to deal with ranges. But on occasions where
|
|
* you need to work with them client-side, you may want to use @ref
|
|
* pqxx::range. (In cases where all you do is pass them along to the server
|
|
* though, it's not worth the complexity. In that case you might as well treat
|
|
* ranges as just strings.)
|
|
*
|
|
* For documentation on PostgreSQL's range types, see:
|
|
* https://www.postgresql.org/docs/current/rangetypes.html
|
|
*
|
|
* The value type must be copyable and default-constructible, and support the
|
|
* less-than (`<`) and equals (`==`) comparisons. Value initialisation must
|
|
* produce a consistent value.
|
|
*/
|
|
template<typename TYPE> class range
|
|
{
|
|
public:
|
|
/// Create a range.
|
|
/** For each of the two bounds, pass a @ref no_bound, @ref inclusive_bound,
|
|
* or
|
|
* @ref exclusive_bound.
|
|
*/
|
|
range(range_bound<TYPE> lower, range_bound<TYPE> upper) :
|
|
m_lower{lower}, m_upper{upper}
|
|
{
|
|
if (
|
|
lower.is_limited() and upper.is_limited() and
|
|
(*upper.value() < *lower.value()))
|
|
throw range_error{internal::concat(
|
|
"Range's lower bound (", *lower.value(),
|
|
") is greater than its upper bound (", *upper.value(), ").")};
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying constructor supports it.
|
|
/// Create an empty range.
|
|
/** SQL has a separate literal to denote an empty range, but any range which
|
|
* encompasses no values is an empty range.
|
|
*/
|
|
range() :
|
|
m_lower{exclusive_bound<TYPE>{TYPE{}}},
|
|
m_upper{exclusive_bound<TYPE>{TYPE{}}}
|
|
{}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operators support it.
|
|
bool operator==(range const &rhs) const
|
|
{
|
|
return (this->lower_bound() == rhs.lower_bound() and
|
|
this->upper_bound() == rhs.upper_bound()) or
|
|
(this->empty() and rhs.empty());
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
bool operator!=(range const &rhs) const { return !(*this == rhs); }
|
|
|
|
range(range const &) = default;
|
|
range(range &&) = default;
|
|
range &operator=(range const &) = default;
|
|
range &operator=(range &&) = default;
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operator supports it.
|
|
/// Is this range clearly empty?
|
|
/** An empty range encompasses no values.
|
|
*
|
|
* It is possible to "fool" this. For example, if your range is of an
|
|
* integer type and has exclusive bounds of 0 and 1, it encompasses no values
|
|
* but its `empty()` will return false. The PostgreSQL implementation, by
|
|
* contrast, will notice that it is empty. Similar things can happen for
|
|
* floating-point types, but with more subtleties and edge cases.
|
|
*/
|
|
bool empty() const
|
|
{
|
|
return (m_lower.is_exclusive() or m_upper.is_exclusive()) and
|
|
m_lower.is_limited() and m_upper.is_limited() and
|
|
not(*m_lower.value() < *m_upper.value());
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying functions support it.
|
|
/// Does this range encompass `value`?
|
|
bool contains(TYPE value) const
|
|
{
|
|
return m_lower.extends_down_to(value) and m_upper.extends_up_to(value);
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operators support it.
|
|
/// Does this range encompass all of `other`?
|
|
/** This function is not particularly smart. It does not know, for example,
|
|
* that integer ranges `[0,9]` and `[0,10)` contain the same values.
|
|
*/
|
|
bool contains(range<TYPE> const &other) const
|
|
{
|
|
return (*this & other) == other;
|
|
}
|
|
|
|
[[nodiscard]] constexpr range_bound<TYPE> const &
|
|
lower_bound() const &noexcept
|
|
{
|
|
return m_lower;
|
|
}
|
|
[[nodiscard]] constexpr range_bound<TYPE> const &
|
|
upper_bound() const &noexcept
|
|
{
|
|
return m_upper;
|
|
}
|
|
|
|
// TODO: constexpr and/or noexcept if underlying operators support it.
|
|
/// Intersection of two ranges.
|
|
/** Returns a range describing those values which are in both ranges.
|
|
*/
|
|
range operator&(range const &other) const
|
|
{
|
|
range_bound<TYPE> lower{no_bound{}};
|
|
if (not this->lower_bound().is_limited())
|
|
lower = other.lower_bound();
|
|
else if (not other.lower_bound().is_limited())
|
|
lower = this->lower_bound();
|
|
else if (*this->lower_bound().value() < *other.lower_bound().value())
|
|
lower = other.lower_bound();
|
|
else if (*other.lower_bound().value() < *this->lower_bound().value())
|
|
lower = this->lower_bound();
|
|
else if (this->lower_bound().is_exclusive())
|
|
lower = this->lower_bound();
|
|
else
|
|
lower = other.lower_bound();
|
|
|
|
range_bound<TYPE> upper{no_bound{}};
|
|
if (not this->upper_bound().is_limited())
|
|
upper = other.upper_bound();
|
|
else if (not other.upper_bound().is_limited())
|
|
upper = this->upper_bound();
|
|
else if (*other.upper_bound().value() < *this->upper_bound().value())
|
|
upper = other.upper_bound();
|
|
else if (*this->upper_bound().value() < *other.upper_bound().value())
|
|
upper = this->upper_bound();
|
|
else if (this->upper_bound().is_exclusive())
|
|
upper = this->upper_bound();
|
|
else
|
|
upper = other.upper_bound();
|
|
|
|
if (
|
|
lower.is_limited() and upper.is_limited() and
|
|
(*upper.value() < *lower.value()))
|
|
return {};
|
|
else
|
|
return {lower, upper};
|
|
}
|
|
|
|
/// Convert to another base type.
|
|
template<typename DEST> operator range<DEST>() const
|
|
{
|
|
range_bound<DEST> lower{no_bound{}}, upper{no_bound{}};
|
|
if (lower_bound().is_inclusive())
|
|
lower = inclusive_bound<DEST>{*lower_bound().value()};
|
|
else if (lower_bound().is_exclusive())
|
|
lower = exclusive_bound<DEST>{*lower_bound().value()};
|
|
|
|
if (upper_bound().is_inclusive())
|
|
upper = inclusive_bound<DEST>{*upper_bound().value()};
|
|
else if (upper_bound().is_exclusive())
|
|
upper = exclusive_bound<DEST>{*upper_bound().value()};
|
|
|
|
return {lower, upper};
|
|
}
|
|
|
|
private:
|
|
range_bound<TYPE> m_lower, m_upper;
|
|
};
|
|
|
|
|
|
/// String conversions for a @ref range type.
|
|
/** Conversion assumes that either your client encoding is UTF-8, or the values
|
|
* are pure ASCII.
|
|
*/
|
|
template<typename TYPE> struct string_traits<range<TYPE>>
|
|
{
|
|
[[nodiscard]] static inline zview
|
|
to_buf(char *begin, char *end, range<TYPE> const &value)
|
|
{
|
|
return generic_to_buf(begin, end, value);
|
|
}
|
|
|
|
static inline char *
|
|
into_buf(char *begin, char *end, range<TYPE> const &value)
|
|
{
|
|
if (value.empty())
|
|
{
|
|
if ((end - begin) <= internal::ssize(s_empty))
|
|
throw conversion_overrun{s_overrun.c_str()};
|
|
char *here = begin + s_empty.copy(begin, std::size(s_empty));
|
|
*here++ = '\0';
|
|
return here;
|
|
}
|
|
else
|
|
{
|
|
if (end - begin < 4)
|
|
throw conversion_overrun{s_overrun.c_str()};
|
|
char *here = begin;
|
|
*here++ =
|
|
(static_cast<char>(value.lower_bound().is_inclusive() ? '[' : '('));
|
|
TYPE const *lower{value.lower_bound().value()};
|
|
// Convert bound (but go back to overwrite that trailing zero).
|
|
if (lower != nullptr)
|
|
here = string_traits<TYPE>::into_buf(here, end, *lower) - 1;
|
|
*here++ = ',';
|
|
TYPE const *upper{value.upper_bound().value()};
|
|
// Convert bound (but go back to overwrite that trailing zero).
|
|
if (upper != nullptr)
|
|
here = string_traits<TYPE>::into_buf(here, end, *upper) - 1;
|
|
if ((end - here) < 2)
|
|
throw conversion_overrun{s_overrun.c_str()};
|
|
*here++ =
|
|
static_cast<char>(value.upper_bound().is_inclusive() ? ']' : ')');
|
|
*here++ = '\0';
|
|
return here;
|
|
}
|
|
}
|
|
|
|
[[nodiscard]] static inline range<TYPE> from_string(std::string_view text)
|
|
{
|
|
if (std::size(text) < 3)
|
|
throw pqxx::conversion_error{err_bad_input(text)};
|
|
bool left_inc{false};
|
|
switch (text[0])
|
|
{
|
|
case '[': left_inc = true; break;
|
|
|
|
case '(': break;
|
|
|
|
case 'e':
|
|
case 'E':
|
|
if (
|
|
(std::size(text) != std::size(s_empty)) or
|
|
(text[1] != 'm' and text[1] != 'M') or
|
|
(text[2] != 'p' and text[2] != 'P') or
|
|
(text[3] != 't' and text[3] != 'T') or
|
|
(text[4] != 'y' and text[4] != 'Y'))
|
|
throw pqxx::conversion_error{err_bad_input(text)};
|
|
return {};
|
|
break;
|
|
|
|
default: throw pqxx::conversion_error{err_bad_input(text)};
|
|
}
|
|
|
|
auto scan{internal::get_glyph_scanner(internal::encoding_group::UTF8)};
|
|
// The field parser uses this to track which field it's parsing, and
|
|
// when not to expect a field separator.
|
|
std::size_t index{0};
|
|
// The last field we expect to see.
|
|
static constexpr std::size_t last{1};
|
|
// Current parsing position. We skip the opening parenthesis or bracket.
|
|
std::size_t pos{1};
|
|
// The string may leave out either bound to indicate that it's unlimited.
|
|
std::optional<TYPE> lower, upper;
|
|
// We reuse the same field parser we use for composite values and arrays.
|
|
internal::parse_composite_field(index, text, pos, lower, scan, last);
|
|
internal::parse_composite_field(index, text, pos, upper, scan, last);
|
|
|
|
// We need one more character: the closing parenthesis or bracket.
|
|
if (pos != std::size(text))
|
|
throw pqxx::conversion_error{err_bad_input(text)};
|
|
char const closing{text[pos - 1]};
|
|
if (closing != ')' and closing != ']')
|
|
throw pqxx::conversion_error{err_bad_input(text)};
|
|
bool const right_inc{closing == ']'};
|
|
|
|
range_bound<TYPE> lower_bound{no_bound{}}, upper_bound{no_bound{}};
|
|
if (lower)
|
|
{
|
|
if (left_inc)
|
|
lower_bound = inclusive_bound{*lower};
|
|
else
|
|
lower_bound = exclusive_bound{*lower};
|
|
}
|
|
if (upper)
|
|
{
|
|
if (right_inc)
|
|
upper_bound = inclusive_bound{*upper};
|
|
else
|
|
upper_bound = exclusive_bound{*upper};
|
|
}
|
|
|
|
return {lower_bound, upper_bound};
|
|
}
|
|
|
|
[[nodiscard]] static inline constexpr std::size_t
|
|
size_buffer(range<TYPE> const &value) noexcept
|
|
{
|
|
TYPE const *lower{value.lower_bound().value()},
|
|
*upper{value.upper_bound().value()};
|
|
std::size_t const lsz{
|
|
lower == nullptr ? 0 : string_traits<TYPE>::size_buffer(*lower) - 1},
|
|
usz{upper == nullptr ? 0 : string_traits<TYPE>::size_buffer(*upper) - 1};
|
|
|
|
if (value.empty())
|
|
return std::size(s_empty) + 1;
|
|
else
|
|
return 1 + lsz + 1 + usz + 2;
|
|
}
|
|
|
|
private:
|
|
static constexpr zview s_empty{"empty"_zv};
|
|
static constexpr auto s_overrun{"Not enough space in buffer for range."_zv};
|
|
|
|
/// Compose error message for invalid range input.
|
|
static std::string err_bad_input(std::string_view text)
|
|
{
|
|
return internal::concat("Invalid range input: '", text, "'");
|
|
}
|
|
};
|
|
|
|
|
|
/// A range type does not have an innate null value.
|
|
template<typename TYPE> struct nullness<range<TYPE>> : no_null<range<TYPE>>
|
|
{};
|
|
} // namespace pqxx
|
|
#endif
|