certain non-decomposable senders caus a compilation error
まだ誰も着手していません。
評価
調査の方向性
beman/execution/execution.hpp と ex::get_completion_signatures を使って、例のコンパイルエラーを再現します。ex::tag_of_t と basic_sender の検出経路を調査し、2 引数の non_decomposable_sender が decomposable として扱われる理由を理解します。例からコンストラクタパラメータを削除せずにコンパイルでき、この回帰に対するカバレッジがあることを完了条件とします。
索引モデルが issue の本文から書いたものです。
説明
The following code results in a compilation error:
#include <beman/execution/execution.hpp>
namespace ex = beman::execution;
namespace {
struct non_decomposable_sender {
using sender_concept = ex::sender_t;
template <typename...>
static consteval auto get_completion_signatures() { return test_std::completion_signatures<ex::set_value_t()>(); }
non_decomposable_sender(int, int) {}
};
}
int main() {
(void)ex::get_completion_signatures<non_decomposible_sender, ex::env<>>();
}
Removing one of the int constructor parameters causes the code to compile!
The issue is that sender is used with ex::tag_of_t which tries to guess whether a type is decomposable. If it think it can decompose objects of a type it will extract a tag. However, the above type can't be decomposed.
Currently, I don't know how to properly fix the problem. The tentative plan is to rather detect if a sender is built using basic_sender (probably indirectly by actually detecting a nested type) and only try to decompose such senders.
- 主要言語
- C++
- スター
- 150
- フォーク
- 23
- 平均マージ
- 3日 5時間
- マージ済み PR（30日）
- 9
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
bemanproject/execution のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
bemanproject/execution#247 · コメント 1 件 · リアクション 3 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
bemanproject/execution#246 · コメント 1 件 · リアクション 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
bemanproject/execution#245 · コメント 4 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 25/100
bemanproject/execution#248 · リアクション 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
bemanproject/execution#207 · コメント 7 件 ·
bemanproject/execution の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
google/libultrahdr#485 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
godotengine/godot#123776 ·
-
bug
難易度 1/5 1時間未満 初心者へのやさしさ 60/100
-
good first issue
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
-
good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
ros2/common_interfaces#344 ·