C++ 中文周刊 2024-05-25 第158期

王很水

发布于 2024-07-30 15:20:05

960

发布于 2024-07-30 15:20:05

文章被收录于专栏：C++ 动态新闻推送

本期文章由 HNY 赞助, 本期内容很少

资讯

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

五月邮件 https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/#mailing2024-05

基本就是range constract executor 相关提案乱炖

讲几个R0

• executor还没定，基于他的async object就来了。大概意思就是move only function封装用executor来管理/分配内存/生命周期管理，作者还给了POC https://godbolt.org/z/rrbW6veYd 没有细看
• Type-aware allocation and deallocation functions https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2719r0.html

简单来说就是针对类级别的更精细的内存控制

operator new(sizeof(T), type_identity<T>{}, args…)

通常这种都是自己搞个数组placement new

提供根据类型的new接口，能更简单实现这种逻辑。看一乐，提供一种思路

• P3125R0: Pointer Tagging https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3125r0.pdf

这个其实就是很多指针实际上更多是抽象的，可以利用bit做事，但标准对这块不是很清晰，算是UB吧

比如llvm的PointerIntPair arm的MTE hash trie的指针管理或者pointer swizzle技巧那种把指针搞出复合语义

这种玩意其实就是tag pointer，不同tag表达不同含义，感觉标准化会更好一些

• Floating-Point Maximum/Minimum Function Objects https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3307r0.html

浮点数的min/max处理了太多边角场景(NaN之类的)，不够快，不想用ffastmath情况下提供了一套新接口

• elide https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3288r0.html

帮你把optional variant any里的T掏出来。这个很干净

实现godbolt https://godbolt.org/z/65fEd3axf

• A Relocating Swap https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3239r0.pdf

帮P2786加了个接口实现P1144相同能力。看不懂？没事我也不懂

文章

超好用的 C++ 在线编译器（VSCode 版）https://zhuanlan.zhihu.com/p/694365783

godbolt集成vscode了，挺好的

C++神秘学习——memcpy的一个ub https://zhuanlan.zhihu.com/p/699259091

memcpy data()了，编译器假设不空优化导致asan报错

vector string当buffer没问题，都用他们当buffer不用他们的成员函数复制是怎么个意思，瞧不起assign？

这个也和群友激烈讨论了

笔者的个人观点，data()虽然不是const，但是最好最好不乱玩，能用成员用成员，实在不行才hack，比如resize这种

assign肯定也是memcpy，他会帮你判断的，你直接拿来用，那肯定说明不为空，那编译器的假设笔者认为没毛病

write()和mmap写混用与cache alias https://zhuanlan.zhihu.com/p/699052979

学到了

SLUB 分配器的下一步计划 https://zhuanlan.zhihu.com/p/699058331

看一乐

C++无锁(lock free)数据结构与有锁数据结构相比，速度，性能等有何区别?多线程中如何选择？https://www.zhihu.com/question/558986994/answer/3498768792

看一乐

long double to_string会丢失精度？ https://www.reddit.com/r/cpp/comments/1czb8ul/stdto_stringlong_double_is_broken_and_rounds_the/

#include <string>
#include <iostream>
#include <iomanip>
using namespace std;
int main() {
    long double d = -20704.000055577169;
    string s = to_string(d);
    cout << s << endl;//-20704.000056 
    cout << setprecision(12) << fixed << s << endl;
}

两个输出没有差别。注意这个坑 godbolt https://godbolt.org/z/9EWYexK6E

Looking up a C++ Hash Table with a pre-known hash https://ebadblog.com/looking-up-a-c++-hash-table-with-a-pre-known-hash

如果你知道了hash，如何避免容器计算hash？定制Equal，把hash比较也放进去，直接看完整代码

template<typename Hash>
class KeyHashPair {
private:
    std::string_view key_;
    std::size_t hash_;
public:
    KeyHashPair() = delete;
    KeyHashPair(std::string_view sv) : key_(sv), hash_(Hash{}(key_)) {}

    std::string_view key() const { return key_; }
    std::size_t hash() const { return hash_; }
};

struct Hash {
    using is_transparent = void;

    std::size_t operator()(std::string_view sv) const {
        return std::hash<std::string_view>{}(sv);
    }
    std::size_t operator()(KeyHashPair<Hash> pair) const {
        return pair.hash();
    }
};

struct KeyEqual {
    using is_transparent = void;

    bool operator()(std::string_view lhs, std::string_view rhs) const {
        return lhs == rhs;
    }
    template<typename Hash>
    bool operator()(KeyHashPair<Hash> lhs, std::string_view rhs) const {
        return lhs.key() == rhs;
    }
};

using Set = std::unordered_set<std::string, Hash, KeyEqual>;

int main() {
    Set set{"foo"};

    const std::string string{"foo"};
    const KeyHashPair<Set::hasher> pair{string};

    assert(set.contains(pair));
}

还是有点思路提升的，但并没有把hash存下来，其实更合理的思路是直接比较set内部的hash，可惜没有暴露