前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >C++ 中文周刊 2024-08-18 第166期

C++ 中文周刊 2024-08-18 第166期

作者头像
王很水
发布2024-08-19 15:18:56
1690
发布2024-08-19 15:18:56
举报
文章被收录于专栏:C++ 动态新闻推送

文章

彻底理解 C++ ABI

https://zhuanlan.zhihu.com/p/692886292

今天群聊提到了一个场景,unique_ptr传值加move 并不能完美优化掉,看代码

代码语言:javascript
复制

代码语言:javascript
复制
void consume(int* ptr);

void foo(int* ptr) {
  consume(ptr);
}


foo:
        jmp     consume@PLT


void consume(unique_ptr<int> ptr);

void foo(unique_ptr<int> ptr) {
  consume(std::move(ptr));
}


foo(std::unique_ptr<int, std::default_delete<int> >):
        push    rbx
        sub     rsp, 16
        mov     rax, QWORD PTR [rdi]
        mov     QWORD PTR [rdi], 0
        lea     rdi, [rsp+8]
        mov     QWORD PTR [rsp+8], rax
        call    consume(std::unique_ptr<int, std::default_delete<int> >)
        mov     rdi, QWORD PTR [rsp+8]
        test    rdi, rdi
        je      .L1
        mov     esi, 4
        call    operator delete(void*, unsigned long)
.L1:
        add     rsp, 16
        pop     rbx
        ret
        mov     rbx, rax
        jmp     .L3
foo(std::unique_ptr<int, std::default_delete<int> >) [clone .cold]:
代码语言:javascript
复制

主要原因是 函数实参在 caller 方析构, unique_ptr没有彻底优化掉。感觉可以优化掉

改成传引用,传&&甚至改成not_null都能省掉

代码语言:javascript
复制
void consume(not_null<int> ptr); //std::unique_ptr<int> && 也可以

void foo(not_null<int> ptr) {
    consume(ptr);  //
}
/*
foo(not_null<int>):
        jmp     consume(not_null<int>)
*/
代码语言:javascript
复制

感谢anms nugine ni fvs zwuis 讨论

godbolt https://godbolt.org/z/fbqEa4M1r

noexcept Can (Sometimes) Help (or Hurt) Performance

https://16bpp.net/blog/post/noexcept-can-sometimes-help-or-hurt-performance/

使用noexcept需要保证没有异常,否则生成的代码代价更高

通常来说noexcept是给move用的

另外有一个搞笑的场景

noexcept affects libstdc++’s unordered_set

https://quuxplusone.github.io/blog/2024/08/16/libstdcxx-noexcept-hash/

libstdc++的 unordered set 对于noexcept限定 针对hash函数有特化 如果hash函数是noexcept 认为函数计算很轻,不额外保存key hash,否则会缓存key hash加速

这就导致一个尴尬的场景,对于int,这种优化是对的,对于string hash接口使用noexcept会弄巧成拙速度更慢

标准库对于noexcept限定应该给用户端保留余地,不要影响效果,如果影响,最好给出api约定,比如transparent compare

这种莫名其妙的限制很坑,可能喜欢秀一下用noexcept正好掉坑里

libstdc++ 说明 在这里 https://gcc.gnu.org/onlinedocs/libstdc++/manual/unordered_associative.html

Temporarily dropping a lock: The anti-lock pattern

https://devblogs.microsoft.com/oldnewthing/20240814-00/?p=110129

异步lock暂时解锁的组件。代码

代码语言:javascript
复制
代码语言:javascript
复制
template<typename Mutex>
struct anti_lock
{
    anti_lock() = default;

    explicit anti_lock(Mutex& mutex)
    : m_mutex(std::addressof(mutex)) {
        if (m_mutex) m_mutex->unlock();
    }

private:
    struct anti_lock_deleter {
        void operator()(Mutex* mutex) { mutex->lock(); }
    };

    std::unique_ptr<Mutex, anti_lock_deleter> m_mutex;
};

winrt::fire_and_forget DoSomething()
{
    auto guard = std::lock_guard(m_mutex);

    step1();

    // All co_awaits must be under an anti-lock.
    int cost = [&] {
        auto anti_guard = anti_lock(m_mutex);
        return co_await GetCostAsync();
    }();

    step2(cost);
}
代码语言:javascript
复制

Surprisingly Slow NaNs

https://voithos.io/articles/surprisingly-slow-nans/

代码存在0除0导致NAN NAN导致性能下降

规避?isnan判定 DCHECK

What's so hard about class types as non-type template parameters?

https://brevzin.github.io/c++/2024/08/15/cnttp/

NTTP 支持类实例的困难原因 无法判定相等

有operator template()提案和反射提案的加持下可能有解

Reflection-based JSON in C++ at Gigabytes per Second

https://lemire.me/blog/2024/08/13/reflection-based-json-in-c-at-gigabytes-per-second/

反射给普通库带来压倒性序列化速度, 10倍以上

反射快来吧

互动环节

上周熬夜看了街霸6比赛 直接给我看的不困了,尤其是肯打aki那场,看的我心率110,真刺激

不过熬夜的后果就是一周都缓不过来。睡眠问题非常大,累计起来了,石油杯这个比赛作息太抽象了

时间真快啊,转眼夏天就过去了我靠,感觉啥也没干

东西太多根本看不过来,时间真是不够用

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2024-08-19,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 CPP每周推送 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 文章
    • 彻底理解 C++ ABI
      • noexcept Can (Sometimes) Help (or Hurt) Performance
        • noexcept affects libstdc++’s unordered_set
          • Temporarily dropping a lock: The anti-lock pattern
            • Surprisingly Slow NaNs
              • What's so hard about class types as non-type template parameters?
                • Reflection-based JSON in C++ at Gigabytes per Second
                • 互动环节
                领券
                问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档