C++ 中文周刊第113期

周刊项目地址

公众号

RSS https://github.com/wanghenshui/cppweeklynews/releases.atom

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

请提交 issue

感谢 不语 GYXL 赞助

资讯

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

bRPC CVE-2023-31039 漏洞修复报告

尽快升级到 bRPC >= 1.5.0，或者应用这个PR https://github.com/apache/brpc/pull/2218

出问题的代码

- static std::string ExpandPath(const std::string &path) {
-   if (path.empty()) {
-       return std::string();
-   }
-   std::string ret;
-   wordexp_t p;
-   wordexp(path.c_str(), &p, 0);
-   CHECK_EQ(p.we_wordc, 1u);
-   if (p.we_wordc == 1) {
-       ret = p.we_wordv[0];
-   }
-   wordfree(&p);
-   return ret;
- }

 void Server::PutPidFileIfNeeded() {
-   _options.pid_file = ExpandPath(_options.pid_file);
    if (_options.pid_file.empty()) {
        return;
    }

pid_file可能恶意注入命令

文章

一套ASIO相关的设计分析，很长见识

通过模版把内部参数透出来，这个其实就是folly::resizeWithoutInitialization的技巧。之前咱们说过多次,通过模版参数猥琐的访问private

struct header { int type{}; };

int main() {
    std::cout << []<auto Ptr>(const auto& msg) {
        return msg.*Ptr;
    }.operator()<&header::type>(header{42});  // prints 42
}

folly代码在这里 https://github.com/facebook/folly/blob/main/folly/memory/UninitializedMemoryHacks.h

最简单的复现代码段

#include <iostream>

class A {
private:
  void f(int) { std::cout << "whoops" << std::endl; }
};

using PMember = void (A::*)(int);

void hijack(A& s, int n, char dummy = 0);

template <PMember pf, typename T>
struct Hijack {
  friend void hijack(A& s, int n, T) {
    (s.*pf)(n);
  }
};

template struct Hijack<&A::f, char>;

int main() {
  A a;
  hijack(a, 10);
  return 0;
}

来自 http://www.gotw.ca/gotw/076.htm

DuckDB Sort代码阅读和分析

有点意思

Is this dynamic_cast needed?

确实没啥用，尽量别用

cuda程序该如何优化？

cuda中文资料少，感兴趣的可以看看

Polymorphic types and -Wdeprecated-copy-dtor

看代码

struct Animal {
    explicit Animal() = default;
    virtual std::unique_ptr<Animal> clone() const = 0;
    virtual std::string noise() const = 0;
    virtual ~Animal() = default;
};

struct Cat : public Animal {
    std::unique_ptr<Animal> clone() const override {
        return std::make_unique<Cat>(*this);
    }
    std::string noise() const override {
        return "meow";
    }
};

int main() {
    std::unique_ptr<Animal> a = std::make_unique<Cat>();
    auto b = a->clone();
    assert(b->noise() == "meow");
}

没啥问题，就是会有告警 : deprecated user-declared destructor

是clone调用赋值构造弄出来的。

怎么干掉这个烦人的告警？定义好这几个构造函数就行了

struct Animal {
    explicit Animal() = default;
    virtual std::unique_ptr<Animal> clone() const = 0;
    virtual std::string noise() const = 0;
    Animal(const Animal&) = default;
    Animal& operator=(const Animal&) = delete;
    virtual ~Animal() = default;
};

或者别用clone这种用法

@LH_Mouse指出，可以clone里塞一个指针来传出来，而不是返回。总之这个工厂模式返回，很老套

What are the duck-typing requirements of WRL ComPtr?
What are the duck-typing requirements of _com_ptr_t?
What are the duck-typing requirements of MFC IPTR?
What are the duck-typing requirements of ATL CComPtr? windows相关的我一直看不懂

视频

C++ Weekly - Ep 375 - Using IPO and LTO to Catch UB, ODR, and ABI Issues

开IPO/LTO帮你优化代码，同时也有告警提示，有助于修复bug，什么，你说你不会？

# Optional IPO. Do not use IPO if it's not supported by compiler.
check_ipo_supported(RESULT result OUTPUT output)
if(result)
  set_property(TARGET foo PROPERTY INTERPROCEDURAL_OPTIMIZATION TRUE)
else()
  message(WARNING "IPO is not supported: ${output}")
endif()