分析 vs2019 c++20 语法规范下的全局函数： _Pocca ,这涉及到分配器的传递

（1）看 STl 源码时涉及到容器对象的 copy 时会调用该函数，例如 string 容器的 copy 操作：

（2）该函数的源码如下：

从此源码得出结论，如果不自己写分配器，使用 STL 提供的标准分配器。那么由上图可知， 函数 _Pocca 中的 if 语句将不会得到执行。
原因是形参 1 和 2 都是由 STL 的分配器 allocator 实例化的。彼此一模一样，不必再复制。因为此 if 没有屏幕输出，看不出来，我们可以暂时修改下这个函数的源码，加上 cout (因为一些 namespace 的错误，无法使用 cout ，改用低级的 c 函数 printf ) ，如下图：

（3） 写例子测试一下：

可见咱们的猜测是对的。谢谢阅读