C++ 中文周刊 第129期

2024-07-30 14:22:52 浏览数 (2)

资讯

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

编译器信息最新动态推荐关注hellogcc公众号 本周更新 2023-08-30 第217期

cppcon即将来临之际，c 之父BS发表重要讲话

CppCon 2023 Delivering Safe C -- Bjarne Stroustrup[1]

从去年开始各路人马对c 安全性的批评让BS有点坐不住了，生闷气，小甜甜变牛夫人了属于是

BS指出，当前C 的演化方向要向着安全性发展，对比存量代码相比要更安全更没有资源释放/类型安全/内存破坏等安全性问题

希望大家锐意进取，努力为更安全的C 做出自己的贡献

文章

Did you know that C 26 added Member visit [2]

std::visit嵌入到variant里了

代码语言：javascript复制
// C  23
std::visit(overload{
  [](int i){ std::print("i={}n", i); },
  [](std::string s){ std::print("s={:?}n", s); }
}, value);

// C  26
value.visit(overload{
  [](int i){ std::print("i={}n", i); },
  [](std::string s){ std::print("s={:?}n", s); }
});
Semi-static Conditions in Low-latency C for High Frequency Trading: Better than Branch Prediction Hints[3]

很有意思的点子，在高频交易场景里，if分支开销太大，冷热分支也不能预测，既然不能预测，就自己动态改

代码在这里

https://github.com/maxlucuta/semi-static-conditions/

点子真的有意思

这种场景 一般来说只能经验的使用likely，或者PGO分析一下，然后加上likely

这种运行时动态改的点子，很有意思。感觉靠谱的话可以铺开

https://www.thecodedmessage.com/posts/c -papercuts/

列举了c 的缺点

const 不是默认 很坑

function能拷贝，很坑 lambda应该默认move，转移也应该move std::move_only_function赶紧快点能用

The Little Things: The Missing Performance in std::vector[4]

老生常谈了，用户可能不想要默认构造0，能不能提供接口省掉，类似resize_for_overwrite之类的接口

我印象中folly是实现了类似的玩意

https://github.com/facebook/folly/blob/main/folly/memory/UninitializedMemoryHacks.h

代码语言：javascript复制
template <
    typename T,
    typename = typename std::enable_if<
        std::is_trivially_destructible<T>::value &&
        !std::is_same<T, bool>::value>::type>
void resizeWithoutInitialization(std::vector<T>& v, std::size_t n) {
  if (n <= v.size()) {
    v.resize(n);
  } else {
    if (n > v.capacity()) {
      v.reserve(n);
    }
    detail::unsafeVectorSetLargerSize(v, n);
  }
}
Building C "Work Contracts" [5]

设计了一种无锁的二叉堆，结合调度设计，比简单的MPMC要快

代码在这里 https://github.com/buildingcpp/network

The new static constexpr std::integral_constant idiom[6]

std::array::size不是static的，但他明明可以是static的，只能猥琐绕过

代码语言：javascript复制
template <typename Rng>
void algorithm(Rng const& rng) {
    constexpr auto a = Rng::size(); // error, std::array has no static size
    constexpr auto b = rng.size();  // error, not a constant expression
    constexpr auto c = std::tuple_size<Rng>::value; // okay, but ugly
}

标准库也不能把size接口直接改了，有ABI问题（我觉得改了也没啥吧这也要束手束脚不至于吧）

作者讨论通过interger_constant的新能力绕过

代码语言：javascript复制
template <typename T, T Value>
struct integral_constant {
    constexpr T operator()() const {
        return Value;
    }
};

没错，支持operator了，那么命名一个size字段就解决了，且不用改原来的size函数

代码语言：javascript复制
代码语言：javascript复制
template <typename T, std::size_t N>
struct array {
    constexpr std::size_t size() const {
        return N;
    }

    static constexpr std::integral_constant<std::size_t, N> size = {};
};

彳亍

Compile-time sizes for range adaptors[7]

承接上文，怎么适配各种各样的size？

代码语言：javascript复制
template <typename ... Rng>
struct concat_adaptor {
    constexpr auto size() const
        requires (tc::has_size<Rng> && ...)
    {
        if constexpr ((tc::has_constexpr_size<Rng> && ...))
            return std::integral_constant<std::size_t, (tc::constexpr_size<Rng>()   ...)>{};
        else
            return std::apply([](auto const& ... base_rng) {
                return (tc::size(base_rng)   ...);
            }, base_rng_tuple);
    }
};

template <auto Fn, typename ... Rng>
constexpr auto compute_range_adaptor_size(Rng&&... rng) {
    if constexpr ((tc::has_constexpr_size<Rng> && ...)) {
        auto constexpr value = Fn(tc::constexpr_size<Rng>()...);
        return std::integral_constant<std::size_t, value>{};
    } else {
        auto const value = Fn(tc::size(std::forward<Rng>(rng))...);
        return value;
    }
}

template <typename ... Rng>
struct concat_adaptor {
    constexpr auto size() const
        requires (tc::has_size<Rng> && ...)
    {
        return std::apply([](auto const& ... base_rng) {
            return tc::compute_range_adaptor_size<[](auto const ... n) {
                return (n   ...);
            }>(base_rng...);
        }, base_rng_tuple);
    }
};

开源项目需要人手

  • • asteria[8] 一个脚本语言，可嵌入，长期找人，希望胖友们帮帮忙，也可以加群384042845和作者对线
  • • Unilang[9] deepin的一个通用编程语言，点子有点意思，也缺人，感兴趣的可以github讨论区或者deepin论坛看一看。这里也挂着长期推荐了
  • • gcc-mcf[10] 懂的都懂

新项目介绍/版本更新

  • • Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C programs with no recompilation[11] 感觉有点意思

本文永久链接[12]

如果有疑问评论最好在上面链接到评论区里评论，这样方便搜索，微信公众号有点封闭/知乎吞评论

引用链接

[1] CppCon 2023 Delivering Safe C -- Bjarne Stroustrup: https://isocpp.org//blog/2023/08/cppcon-2023-delivering-safe-cpp-bjarne-stroustrup [2] Did you know that C 26 added Member visit : https://github.com/tip-of-the-week/cpp/blob/master/tips/344.md [3] Semi-static Conditions in Low-latency C for High Frequency Trading: Better than Branch Prediction Hints: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4553439 [4] The Little Things: The Missing Performance in std::vector: https://codingnest.com/the-little-things-the-missing-performance-in-std-vector/ [5] Building C "Work Contracts" : https://www.reddit.com/r/cpp/comments/162debr/building_c_work_contracts/ [6] The new static constexpr std::integral_constant idiom: https://www.foonathan.net/2023/08/static-constexpr-integral_constant/ [7] Compile-time sizes for range adaptors: https://www.think-cell.com/en/career/devblog/compile-time-sizes-for-range-adaptors [8] asteria: https://github.com/lhmouse/asteria [9] Unilang: https://github.com/linuxdeepin/unilang [10] gcc-mcf: https://gcc-mcf.lhmouse.com/ [11] Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C programs with no recompilation: https://github.com/facebookexperimental/object-introspection [12] 本文永久链接: https://wanghenshui.github.io/cppweeklynews/posts/129.html

安全 size std 接口 c++

0 人点赞