C++ 中文周刊第10期

从reddit/hackernews/lobsters/meetingcpp摘抄一些c++动态。

每周更新

周刊项目地址 github，在线地址｜知乎专栏

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

祝大家五一节日快乐

资讯

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

本周周报github直达

gcc 11.1 发布 https://gcc.gnu.org/pipermail/gcc/2021-April/235922.html
cppcheck支持c++17 https://sourceforge.net/p/cppcheck/news/2021/04/c17-support-in-cppcheck/

文章

Throw，然后掉进二进制边界陷阱

讨论抛异常出二进制在不同编译器下的行为，以及链接不同的libstd 的行为，结果居然不一致。可以扩展一下眼界

c++ tip of week 223 Did you know about the proposal to add json support to the standard library?

介绍json库的。这个我感觉进不了
SIMD for C++ Developers 一本书，介绍simd，值得一看(我没看)
How to Implement std::conjunction and std::disjunction in C++11

首先功能和可能的实现可以看这个链接从c++17开始支持,链接里的可能的实现是递归方案，讨论非递归方案

看代码

template<bool...> struct bool_pack{};

template<bool... Bs>
using conjunction = std::is_same<bool_pack<true,Bs...>, bool_pack<Bs..., true>>;

template <bool B>
using bool_constant = std::integral_constant<bool, B>; // redefining C++17 bool_constant helper

template<bool... Bs>
struct disjunction : bool_constant<!conjunction<!Bs...>::value>{};

很巧妙的利用is_same来推定true=B1=B2=…Bn=true，不用递归，但类型的判定由编译器来判定

The Little Things: everyday efficiencies

讨论了两种场景对性能的影响

range for 如果你不需要index信息，range for生成的汇编更简单更高效

vector先分配好空间再pushback比直接pushback要更高效

Ideal divisors: when a division compiles down to just a multiplication

除法指令是慢的，优化除法指令的一个方法就是改写成乘法。作者写了个论文，讨论了一种数学场景，费马数除法，如何除更高效

其实就是这段代码

// computes n % 274177
uint64_t div1(uint64_t n) {
    return n % 274177;
}

// computes n % 274177
uint64_t div2(uint64_t n) {
    return (uint64_t( n * 67280421310721 ) 
              * __uint128_t(274177)) >> 64;
}