Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

interop: a registry spelled on an `any` virtual parameter is never validated against the method's

Aperta
#123 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
68/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
cpp
Ambito
backend

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,33
  • interop/boost_any.hpp:24,29,33
  • interop/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

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di boostorg/openmethod

Tutte le issue di boostorg/openmethod

Issue simili

Altre issue su C++

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.