interop: a registry spelled on an `any` virtual parameter is never validated against the method's
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 68/100
Direzione di ricerca
Start with detail::validate_method_parameter and param_registry in core.hpp, then compare the interop specializations in interop/std_any.hpp, interop/boost_any.hpp, and interop/boost_type_erasure.hpp. Run the compile_fail_registrymismatch* tests and test_dispatch_std_any.cpp. Done means interop parameters reject registry mismatches while retaining their documented registry-selection behavior.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
(Written by Claude Code, on behalf of @jll63.)
detail::validate_method_parameter for the any and Boost.TypeErasure interop headers takes a
ParamRegistry and never compares it with the method's registry. A mismatch that every other
virtual parameter shape rejects is accepted silently — and the parameter is not inert, because it
decides the registry of a method that does not name one.
Behaviour
Parameter spells R, method is on other_registry:
| parameter | decides an unannotated method's registry | checked against a method naming another |
|---|---|---|
virtual_<Animal&, R> — ordinary carrier |
yes | yes — core.hpp:2330, "registry mismatch: the parameter belongs to another registry" |
virtual_<const std::any&, R> — interop |
yes | no — accepted silently |
virtual_any<A, R>& |
no, abstains | yes — virtual_any.hpp:552, "registry mismatch" |
Reproducer
#include <any>
#include <boost/openmethod.hpp>
#include <boost/openmethod/interop/std_any.hpp>
using namespace boost::openmethod;
struct other_registry : default_registry::with<> {};
// Passes: the mismatch is accepted.
static_assert(detail::validate_method_parameter<
virtual_<const std::any&, default_registry>, other_registry, void>::value);
// Also passes: the spelled registry decided the method's registry.
static_assert(std::is_same_v<
detail::method_registry<void(virtual_<const std::any&, other_registry>)>,
other_registry>);
Both compile on GCC 13 at -std=c++17. Replacing the first parameter with a plain
virtual_<Animal&, default_registry> hard-errors at core.hpp:2330 instead.
Cause
The specializations are unconditional : std::true_type {}, with ParamRegistry deduced and then
unused:
interop/std_any.hpp:24,29,33interop/boost_any.hpp:24,29,33interop/boost_type_erasure.hpp:98,103,108,113,118,123
Meanwhile param_registry's generic virtual_<T, Registry> pattern (core.hpp:2392) picks the
registry up — no interop header specializes param_registry — so the parameter votes in
agreed_registry and method_registry_aux takes it.
virtual_any is unaffected: its specializations match virtual_any<Any, Registry>&, a different
shape, and do compare.
Consequence
BOOST_OPENMETHOD(f, (virtual_<const std::any&, other_registry>), void);
with no registry named on the method builds f in other_registry. Overriders registered against
the default registry land in a different dispatch table, and the call reports no_overrider at run
time after initialize().
Coverage
None of the five compile_fail_*registry*mismatch* tests uses an interop shape; #116 added only
positive static_asserts (test_dispatch_std_any.cpp).
- Lingua principale
- C++
- Stelle
- 13
- Fork
- 6
- Merge medio
- 2g 14m
- PR unite (30g)
- 27
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di boostorg/openmethod
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
boostorg/openmethod#70 ·
-
explore
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
boostorg/openmethod#57 ·
-
enhancement explore
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
boostorg/openmethod#53 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
boostorg/openmethod#11 ·
-
troubleshooting guide Apertadocumentation
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
boostorg/openmethod#9 ·
Tutte le issue di boostorg/openmethod
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
google/libultrahdr#485 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
godotengine/godot#123776 ·
-
bug
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 60/100
-
good first issue
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
-
good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
ros2/common_interfaces#344 ·