C++ 中文周刊第1期

每周日推送从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。

周刊项目地址 github，在线地址

知乎专栏

欢迎投稿，推荐或自荐文章/软件/资源等，请提交 issue

资讯

herb发了trip report

关于c++标准会的最新进展 c++23

herb介绍了几个他感兴趣的小补丁

lambda可以省略括号()，但是如果有mutable又不可以省略括号了，需要修订
range使用：std::views::join迭代器返回有问题，引入新组件修复
加强std::visit处理继承std::variant 的场景
引入std::to_underlying代替 std::underlying_type_t<T>

涉及到语法细节我也不懂，可以看trip report中引用的论文看详细细节

c++20 运行时拿到函数名，使用lambda和std::source_location

感觉能用在反射上

之前c++ weekly也讨论了std::source_location 链接很有用处

编译器信息最新动态推荐关注hellogcc公众号

github也有更新，见https://github.com/hellogcc/osdt-weekly

文章

实现并行的copy_if

c++17已经实现了一些并行算法，实现比较粗暴

std::sort(std::execution::par, ...);
std::for_each(std::execution::par, ...);

std::execution::parallel_policy不要求顺序，这样可能有线性的性能提升，但是对于sort，可能需要同步

对于copy_if来说，返回新的对象，这个返回结果，多线程写入，必然需要同步。作者给出了几种实现方案

1 简单加锁 2 利用算法规避锁，3 分块其中某些场景下多线程并没有起到加速的作用。

第二种方法用到了std::exclusive_scan 可以了解下，类似haskell map+scanl

clang的一个编译告警-Wsuggest-override

这里讲了一个场景

struct B {
    virtual int f() = 0;
    virtual int g() = 0;
};

struct C : B {
    int f() override;

    virtual int g() final;  // overrides
    virtual int h() final;  // doesn't
};

一个函数同时被virtual和final修饰，可能看不清本身的含义，通过这个编译能让不清楚的接口语义提前暴露出来

并推荐基类 virtual，继承用override/final 尽可能别混用，当然也存在这个基类是另外一个基类的子类的场景，导致同时有virtual和final，尽量避免

一个协程的教程

concept

简单来说，就是这段代码

template <typename T>
concept Number = std::integral<T> || std::floating_point<T>;

template <typename T>
requires Number<T>
class WrappedNumber {
public:
  WrappedNumber(T num) : m_num(num) {}
private:
  T  m_num;
};

template <typename T>
requires Number<T>
auto add(T a, T b) {
  return a+b;
}

注意这里concept和requirs的用法

Guru of the Week #100 Preconditions, Part 1

这里在介绍断言的两种语义，在前面校验还是在后面校验，类似gsl::Expect gsl::Ensure的区别，写的非常长

A precondition is a predicate that should hold upon entry into a function. It expresses a function’s expectation on its arguments and/or the state of objects that may be used by the function.

A postcondition is a predicate that should hold upon exit from a function. It expresses the conditions that a function should ensure for the return value and/or the state of objects that may be used by the function.