From 425321013cfcaf574550c5d5c242e635855b0762 Mon Sep 17 00:00:00 2001 From: Trent Houliston Date: Thu, 13 Aug 2026 00:10:32 +0000 Subject: [PATCH] Allow a trivially copyable type to opt out of the byte copy The specialisations of Serialise are selected by conditions assumed to be mutually exclusive, so a type that satisfies two of them makes Serialise ambiguous rather than preferring one. That makes the trivially copyable specialisation unreachable to opt out of: a code generator emitting plain structs of scalars cannot supply the encoding and type identity those messages carry, because its partial specialisation ties with the byte copy and neither is more specialised than the other. A full specialisation would win outright, but that is one specialisation per type rather than one covering everything a generator emits. Route the condition through a serialise_trivially trait so it can be specialised to false. The second parameter is an SFINAE slot, so a family of types can be opted out with a single partial specialisation. The default is std::is_trivially_copyable, so behaviour is unchanged for every type that does not opt out. Co-Authored-By: Claude Opus 5 --- src/util/serialise/Serialise.hpp | 21 ++- .../util/serialise/serialise_trivially.cpp | 138 ++++++++++++++++++ 2 files changed, 157 insertions(+), 2 deletions(-) create mode 100644 tests/tests/util/serialise/serialise_trivially.cpp diff --git a/src/util/serialise/Serialise.hpp b/src/util/serialise/Serialise.hpp index f3516896..76bdf3ab 100644 --- a/src/util/serialise/Serialise.hpp +++ b/src/util/serialise/Serialise.hpp @@ -51,9 +51,26 @@ namespace util { template struct Serialise; + /** + * Whether a type should be serialised by copying its bytes. + * + * The specialisations of Serialise below are selected by conditions that are assumed to be mutually exclusive, + * so a type satisfying two of them makes Serialise ambiguous rather than preferring one of them. Specialise + * this trait to false for a type that is trivially copyable but carries its own serialisation, which is + * otherwise unreachable: the byte copy is selected alongside it, and hash() would identify the type by its + * demangled C++ name rather than by whatever identity the type defines for itself. + * + * The second parameter is an SFINAE slot, so a family of types can be opted out with a single partial + * specialisation rather than one specialisation per type. + * + * @tparam T The type to check + */ + template + struct serialise_trivially : std::is_trivially_copyable {}; + // Trivially copyable data template - struct Serialise::value, T>> { + struct Serialise::value, T>> { static std::vector serialise(const T& in) { std::vector out(sizeof(T)); @@ -81,7 +98,7 @@ namespace util { using iterator_value_type_t = typename std::iterator_traits()))>::value_type; template - struct Serialise>::value, T>> { + struct Serialise>::value, T>> { using V = std::remove_reference_t>; diff --git a/tests/tests/util/serialise/serialise_trivially.cpp b/tests/tests/util/serialise/serialise_trivially.cpp new file mode 100644 index 00000000..eeb45831 --- /dev/null +++ b/tests/tests/util/serialise/serialise_trivially.cpp @@ -0,0 +1,138 @@ +/* + * MIT License + * + * Copyright (c) 2015 NUClear Contributors + * + * This file is part of the NUClear codebase. + * See https://github.com/Fastcode/NUClear for further info. + * + * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated + * documentation files (the "Software"), to deal in the Software without restriction, including without limitation the + * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to + * permit persons to whom the Software is furnished to do so, subject to the following conditions: + * + * The above copyright notice and this permission notice shall be included in all copies or substantial portions of the + * Software. + * + * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE + * WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR + * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR + * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + */ + +#include +#include +#include +#include +#include + +#include "util/serialise/Serialise.hpp" + +namespace { + +/** + * A type that is trivially copyable but carries its own wire format. + * + * A code generator's message class is the motivating case: it is a plain struct of scalars, so it is trivially + * copyable, yet it has an encoding and a type identity of its own that a byte copy would bypass. + */ +struct Encoded { + uint16_t value{0}; +}; + +/// Marks the family of types that carry their own encoding, as a generator would for everything it emits +template +struct is_encoded : std::is_same {}; + +/// The identity these types define for themselves, which is not their demangled C++ name +constexpr uint64_t ENCODED_HASH = 0x0123456789ABCDEFULL; + +/// The wire format these types define for themselves, which is not their object representation +constexpr uint8_t ENCODED_PREFIX = 0xAB; + +} // namespace + +namespace NUClear { +namespace util { + namespace serialise { + + /** + * Opt the family out of the byte copy. + * + * Without this the partial specialisation below is ambiguous with the trivially copyable one: neither is more + * specialised than the other, so the two are equally good matches and the instantiation is ill-formed. A full + * specialisation would win outright, but that is one specialisation per type rather than one for everything a + * generator emits. + */ + template + struct serialise_trivially::value>> : std::false_type {}; + + template + struct Serialise::value, T>> { + static std::vector serialise(const T& in) { + return {ENCODED_PREFIX, static_cast(in.value >> 8), static_cast(in.value & 0xFF)}; + } + + static T deserialise(const std::vector& in) { + if (in.size() != 3 || in[0] != ENCODED_PREFIX) { + throw std::length_error("Not an encoded value"); + } + return T{static_cast((static_cast(in[1]) << 8) | in[2])}; + } + + static uint64_t hash() { + return ENCODED_HASH; + } + }; + + } // namespace serialise +} // namespace util +} // namespace NUClear + +SCENARIO("A trivially copyable type can provide its own serialisation", "[util][serialise][trivially]") { + + GIVEN("a trivially copyable type that has opted out of the byte copy") { + STATIC_REQUIRE(std::is_trivially_copyable::value); + STATIC_REQUIRE_FALSE(NUClear::util::serialise::serialise_trivially::value); + + const Encoded in{0x1234}; + + WHEN("it is serialised") { + const auto serialised = NUClear::util::serialise::Serialise::serialise(in); + + THEN("its own wire format is used rather than its object representation") { + REQUIRE(serialised == std::vector{ENCODED_PREFIX, 0x12, 0x34}); + } + } + + WHEN("it is round tripped") { + const auto serialised = NUClear::util::serialise::Serialise::serialise(in); + const auto deserialised = NUClear::util::serialise::Serialise::deserialise(serialised); + + THEN("the deserialised value is the same as the input") { + REQUIRE(deserialised.value == in.value); + } + } + + WHEN("its hash is taken") { + THEN("it is the identity the type defines rather than one derived from its C++ name") { + REQUIRE(NUClear::util::serialise::Serialise::hash() == ENCODED_HASH); + } + } + } + + GIVEN("a trivially copyable type that has not opted out") { + STATIC_REQUIRE(NUClear::util::serialise::serialise_trivially::value); + + const uint32_t in = 0xCAFEFECA; // Mirrored so that endianess doesn't matter for the test + + WHEN("it is serialised") { + const auto serialised = NUClear::util::serialise::Serialise::serialise(in); + + THEN("it still uses the byte copy") { + REQUIRE(serialised.size() == sizeof(uint32_t)); + REQUIRE(serialised == std::vector{0xCA, 0xFE, 0xFE, 0xCA}); + } + } + } +}