FancyPtr特化及rebind分配器的size_type、difference_type一致性疑问

阅读一篇关于fancy pointers的深度文章后，发现文章虽提及它们与分配器的关联，但未明确FancyPtr类型的两个不同特化是否需拥有相同的difference_type。由此延伸出问题：给定分配器A，其两个不同特化std::allocator_traits<A>::rebind_alloc<T>与std::allocator_traits<A>::rebind_alloc<U>的size_type和difference_type是否会被保证一致？

• 针对FancyPtr的特化：C++标准并没有强制要求同一个FancyPtr模板的不同特化必须拥有相同的difference_type。不过在实际的标准容器适配场景中，若特化后的指针要满足容器的语义要求，通常需要保持类型一致，否则可能引发容器工作异常。
• 针对分配器的rebind特化：C++标准明确要求std::allocator_traits<A>::rebind_alloc<T>和std::allocator_traits<A>::rebind_alloc<U>这两个分配器特化的size_type与difference_type必须完全一致。

这是因为allocator_traits默认会从原始分配器A中提取这两个类型；即便自定义分配器尝试为不同rebind特化指定不同类型，也违反了标准分配器的约定。标准规定，分配器的size_type需为无符号整数类型，difference_type需为有符号整数类型，且同一个分配器家族（所有通过rebind得到的特化）必须共享这两个类型，以此保证容器在处理不同元素类型时，内存操作的一致性。

内容的提问来源于stack exchange，提问作者LoS