Release C++ 中文周刊第74期 && 75期 · wanghenshui/cppweeklynews

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

周刊项目地址｜在线地址｜知乎专栏 |腾讯云+社区

弄了个qq频道，手机qq点击进入

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

74忘记发了。74 75 合着发吧

资讯

标准委员会动态/ide/编译器信息放在这里

文章

如何评价这个C++的离谱bug？

c++的bind和网络库的bind符号冲突了。很搞笑。不过在linux环境下没有这个问题
我之前在windows平台遇到过log日志接口和cmath的log函数有符号冲突。msvc这个方面做的不是很好

Did you know that assume attribute has been accepted to C++23?

/*
divide_by_32_no_assume(int):
        lea     eax, [rdi + 31]
        test    edi, edi
        cmovns  eax, edi
        sar     eax, 5
        ret
*/
auto divide_by_32_no_assume(int x) {
    return x / 32;
}


/*
divide_by_32_assume(int):
        mov     eax, edi
        shr     eax, 5
        ret
*/
auto divide_by_32_assume(int x) {
    __builtin_assume(x >= 0);
    return x / 32;
}

这个之前提到过，有个经典的fast-math开关优化。那个力度比较大。这里你可以自主控制，力度更精细一些

C xor C++ Programming

同一个代码段 c和c++有很大区别。主要是逗号表达式，左值右值，位域，类型转换，类型大小，空类型，匿名结构体等等。感兴趣的可以看看。

ThreadSanitizer——跟data race说再见

介绍TSAN的原理

Kernel Memory Allocation Guide

介绍内核内存分配策略

把structopt抱回c++

用c++实现structopt, 看个乐

C++一行代码实现任意系统函数 Hook

没看明白

Beware CTAD on reverse_iterator

一个bug

template<class It>
bool is_palindrome(It first, It last) {
    while (first != last) {
        --last;
        if (first == last) break;
        if (*first != *last) {
            return false;
        }
        ++first;
    }
    return true;
}

很自然的，可以改写成

template<class It>
bool is_palindrome(It first, It last) {
    return std::equal(
        first, last,
        std::reverse_iterator(last),
        std::reverse_iterator(first)
    );
}

这里没用make_reverse_iterator,用的CTAD自动推导。但是这个推导可能不是我们预想的那样

std::string s = "foo";
assert(!is_palindrome(s.begin(), s.end()));
assert(is_palindrome(s.begin()+1, s.end()));
assert(!is_palindrome(s.rbegin(), s.rend()));
assert(is_palindrome(s.rbegin(), s.rend()-1));  // Fails! Oof!

最后两个例子，已经是reverse的iterator， CTAD什么都不做，而不是推导成 reverse_iterator<iterator>这种东西，所以报错了

尽量别用CTAD。降低入门门槛但是引入了背景，不熟就掉坑

C++ 侵入式链表总结

基础知识。值得看看

Did you know that lambda expression is guaranteed to have a unique type?

static_assert(typeid([]{}) != typeid([]{}));

template<auto = []{}>
struct foo{};

foo f1, f2;
static_assert(typeid(f1) != typeid(f2));

没什么卵用的知识，也是一个坑

Simplify Code with if constexpr and Concepts in C++17/C++20

利用concept和constexpr代替enable if 代码不列举了

5 Curious C++ Lambda Examples: Recursion, constexpr, Containers and More

int main()
{
    constexpr auto factorial23 = [](this auto&& self, int n) {
		if (n <= 1)
			return 1;
		return n * self(n - 1);
	};
    static_assert(factorial23(5) == 120);
}