Hacktoberfest 2026:维护者为十月标记出来的 issue,仍然开放、适合新手。 浏览 Hacktoberfest issue

certain non-decomposable senders caus a compilation error

未关闭
#252 2 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
48/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
冷清
技术栈
cpp
领域
compilers

调研方向

使用 beman/execution/execution.hpp 和 ex::get_completion_signatures 复现示例中的编译错误。检查 ex::tag_of_t 和 basic_sender 的检测路径,以了解为什么双参数 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 小时
30 天内合并 PR
9

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

bemanproject/execution 的其他 Issue

查看 bemanproject/execution 的全部 Issue

相似的 Issue

更多 C++ Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。