宣布Proxy 4：C++多态性的下一次飞跃

Proxy 4发布，作为现代C++库，支持运行时多态性。

Proxy库经过多年的创新，已从实验转变为生产级库。

Proxy是一个头文件库，支持C++20，简化多态代码的编写。

新网站提供了改进的文档和导航，方便用户查找信息。

可以在Compiler Explorer中直接试用Proxy，无需设置。

Proxy 4新增了格式化支持、共享和弱引用等功能。

引入了方便的别名proxy_view和weak_proxy，简化借用和弱引用。

新API make_proxy_shared和allocate_proxy_shared简化了共享所有权的创建。

weak_dispatch允许定义缺失约定的回退行为，提升代码的健壮性。

引入了facade_aware_overload_t，简化递归约定的定义。

Proxy 4支持位移可移动类型，提升性能。

C++20模块支持和更清晰的错误信息改善了开发体验。

升级指南提供了从旧版本迁移到新版本的建议。

Proxy 4在Proxy 3的基础上进行了聚焦的改进，而非重新设计。