小编Mai*_*kel的帖子

我尝试了一个小例子来熟悉GSL和range-v3库,我想知道它们如何协同工作.我有这个玩具的例子

#include <iostream>
#include <range/v3/all.hpp>

using namespace std;
using namespace ranges;

void example_vector(vector<int> const& v)
{
  ranges::for_each(view::tail(v), [](int x){
    cout << x << ' ';
  });
  cout << '\n';
}

int main()
{
   auto seq = vector<int> { 2,2,2,0,0,2,1,2 };
   example_vector(seq);
}

哪个有效.但是,如果我尝试使用gsl::span<int>范围,则会导致错误消息.编译器告诉我span没有满足视图概念.

#include <gsl.h>

// ...

void example_span(gsl::span<const int> v)
{
  ranges::for_each(view::tail(v), [](int x){
    cout << x << ' ';
  });
  cout << '\n';
}

编译器消息:

note: candidate template ignored: disabled by 'enable_if'
      [with Rng …

我真的很喜欢使用cmcstl2,这是Ranges TS的一个实现.我特别喜欢每个STL算法的可选投影.Invocable类型转发(呃......或不)像这样:(min_element.hpp)

template <ForwardIterator I, Sentinel<I> S,
    class Comp = less<>, class Proj = identity>
requires
    IndirectStrictWeakOrder<
        Comp, projected<I, Proj>>()
I min_element(I first, S last, Comp comp = Comp{}, Proj proj = Proj{});

template <ForwardRange Rng, class Comp = less<>, class Proj = identity>
requires
    IndirectStrictWeakOrder<
        Comp, projected<iterator_t<Rng>, Proj>>()
safe_iterator_t<Rng>
min_element(Rng&& rng, Comp comp = Comp{}, Proj proj = Proj{})
{
    return __stl2::min_element(__stl2::begin(rng), __stl2::end(rng),
        __stl2::ref(comp), __stl2::ref(proj));
}

作为参考:range-v3库实现如下:(min_element.hpp)

struct min_element_fn …

我使用libc ++，libstdc ++都没关系，无论gdb还是lldb都无法可视化std::optional或std::variant。我已经用谷歌搜索了一下，但是没有遇到明显的解决方案。

我错过任何漂亮的打印机吗？

std::promise有一个构造函数，它分配用于存储共享状态的内存。.then在我到目前为止所看到的 的实现中，人们以类似于共享状态std::function 的类型擦除方式存储函数。stlab 的并发库甚至放置了一个

using then_t = std::vector<std::pair<executor_t, task<void()>>>;

进入共享状态（以启用可拆分的 future）。

是否有意指定是否可以为延续指定分配器？

在P0443R3中，他们在 1.2.9 自定义内存分配的属性中说

执行器实现应使用提供的分配器来分配存储提交的函数对象所需的任何内存。

我认为这仅意味着通过函数提交的代理的存储，而不是共享状态中的execute指针。 std::future

template <typename Executor, typename T>
struct shared_state_t {
    // some prevention from race condition, for example
    std::atomic<unsigned> flags;
    // some sort of exception or value representation, for example
    std::variant<std::exception_ptr, T> maybe_value;
    // some handle to continuation
    continuation_t<Executor, T> continuation;
};