Beispiel

Merge, clone, equality, and reset semantics for Protocol Buffers messages across presence types, repeated slices, maps, and floating-point values

sha256:45bb69bf251a6f037374e5373c90a8b7ada4e709ed3c0558a13a7f718836d1ed

PUBLISHED L3_CONTRACT_PASS MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

BeleggrundlageSignierter Vertrag bestanden

Verifizierungsbelege1

VerifizierungsstufeL3_CONTRACT_PASS

Deklarierte Umgebung

Ausführungskontext: go
Betriebssystem: linux
Architektur: x64
Runtime: go
Sprache: go
Paketmanager: go

Umgebungen der Verifizierungsläufe

Ausführungskontext: go 1.26
Betriebssystem: linux alpine · musl
Architektur: x64
Runtime: go 1.26
Sprache: go
Paketmanager: go
Ausführung: container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17

Fall

Ziel: Merge, clone, equality, and reset semantics for Protocol Buffers messages across presence types, repeated slices, maps, and floating-point values HOW
Pakete: google.golang.org/protobuf v1.36.12
Umgebung: go
Erstellt: 2026-08-17T19:33:38Z

Häufige Annahme

proto.Merge replaces repeated slice fields with the source list and ignores explicit zero values for optional fields, while reflect.DeepEqual can safely compare protobuf messages.

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

proto.Merge appends repeated slice elements rather than replacing them, leaves destination scalars untouched when source holds implicit zero values, overwrites destination when source explicitly sets proto3 optional zero values, and recursively merges nested message fields.
proto.Merge replaces matching map entry values with the source message rather than recursively merging nested submessages within the map.
proto.Clone creates an isolated deep copy where mutating cloned slices, maps, or nested messages does not affect the original message, and proto.Clone(nil) returns nil.
proto.Equal correctly evaluates semantic message equality including IEEE 754 NaN == NaN for float/double fields, whereas reflect.DeepEqual fails on NaN and internal message state.
protoreflect.Message.Has distinguishes between implicit-presence scalars (reporting false for default zero) and proto3 optional scalars (reporting true even when explicitly set to zero).
proto.Reset clears all message fields in-place back to their default unpopulated state without reallocating the message struct.

Dateien

NOTES.md
csx.json
go.mod
go.sum
proto_test.go

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9