Hacktoberfest 2026：メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

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

オープン
  • 何か問題がありますか？
#123 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

メンテナーはふだん 1 日以内に返信

まだ誰も着手していません。

評価

難易度
3/5
見積もり時間
1〜2日
初心者へのやさしさ
68/100
issue の種類
バグ
明瞭さ
明確に書かれている
活発さ
活発
技術スタック
cpp
領域
backend

調査の方向性

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.

索引モデルが issue の本文から書いたものです。

説明

(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).

主要言語
C++
スター
13
フォーク
6
平均マージ
1日 4分
マージ済み PR（30日）
20

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

boostorg/openmethod のほかの issue

boostorg/openmethod の issue をすべて見る

似ている issue

C++ の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。