主页 / user-25376860

Gene's questions

Martin Hope
Gene
Asked: 2024-09-11 05:12:14 +0800 CST
  • 6

我有一个相当简单的Event设计，它定义了一个trigger()函数并operator co_await()保留了一组可等待项，当触发时它会恢复这些可等待项。演示在这里。

struct Event{
    void trigger();
    auto operator co_await();
private:
    class Awaitable;
    std::set<Awaitable*> awaitables;
    bool triggered;
};

struct Event::Awaitable {
    explicit Awaitable(Event* e) : evt(e) {}
    bool await_ready() const noexcept { return evt->triggered; }
    void await_suspend(std::coroutine_handle<> h) {
        std::cout << "await_suspend\n";
        awaiter = h;
        evt->awaitables.insert(this);
    }
    void await_resume() {std::cout << "await_resume\n"; }
    bool await_must_resume() const noexcept { return false; }
private:
    friend Event;
    Event* evt;
    std::coroutine_handle<> awaiter;
    public:
};

auto Event::operator co_await() { return Awaitable{this}; }

void Event::trigger() {
    triggered = true;
    std::cout << "resuming " << awaitables.size() << " awaitable(s)\n";
    for(auto&& a : std::move(awaitables))
        a->awaiter.resume();
}

在 gcc 中编译并运行显示await_suspend被调用，这正是我所期望的。但是 MSVCawait_resume却调用了，我无法解释。这是编译器中的错误还是设计中的 UB？

c++
Martin Hope
Gene
Asked: 2024-07-06 08:03:45 +0800 CST
  • 6

我需要std::tuple在运行时通过索引访问 中的值。为此，我编写了一个函数，该函数返回std::variant具有针对指定索引初始化的相同类型的值。实现涉及递归模板实例化：

template<std::size_t N>
constexpr auto get_n = [](/*tuple-like*/auto&& t, std::size_t index)
{
    using variant_type = decltype(std::apply([](auto&&... v){
        return std::variant<std::monostate, std::remove_cvref_t<decltype(v)>...>{};
    }, t));

    constexpr auto size = std::tuple_size_v<std::remove_cvref_t<decltype(t)>>;

    if constexpr(N > size)
        return variant_type{};
    else 
    {
        if(N == index + 1)
            return variant_type(std::in_place_index<N>, std::get<N - 1>(t));
        else
            return get_n<N + 1>(t, index);
    }
};

constexpr auto tuple_to_variant(/*tuple-like*/auto&& t, std::size_t index)
{
    return get_n<1>(std::forward<decltype(t)>(t), index);
}

我使用的是 c++23 编译器。问题是只有 gcc 编译时没有错误。clang 和 MSVC 编译器进入无限实例化循环。这是编译器中的错误吗？我该如何修复这三个编译器中都编译的代码？

这是 Compiler Explorer演示

c++
Martin Hope
Gene
Asked: 2024-07-06 05:38:35 +0800 CST
  • 10

我在修改现有代码时偶然发现创建了一个别名声明std::optional<void>。它来自如下模板代码：

using ret_t = std::invoke_result_t<Fn, Args...>;
using opt_ret_t = std::optional<ret_t>;

代码稍后会区分返回类型为 (not) 的情况void，因此实际上从未optional创建过对象。

为了确保我没有遗漏任何东西，我在该代码分支中添加了一个断言，并且所有内容都经过编译：

static_assert(std::is_same_v<opt_ret_t, std::optional<void>>);

cppreference 说：

没有可选的引用、函数、数组或 cv void；如果程序实例化具有这种类型的可选项，则程序格式不正确。

那么，无论编译器是否抱怨，这段代码都是错误的吗？

c++