部分模板特化：std::allocator_traits?

Question

是否可以像这样专门化 std::allocator_traits, 模板？

namespace falloc_ {

  template<class Tp> class FAllocator ;

}

// partial spec for all falloc_::FAllocator<U>, std::allocator_traits

template<typename Tp> 
struct std::allocator_traits<falloc_::FAllocator<Tp> > {

 using allocator_type = falloc_::FAllocator<Tp> ;
 using value_type = typename allocator_type::value_type ;

 // ...
 // All the components I need here, I will include all the code if You need them.
 // ...

} ;


namespace falloc_ {

  template<class Tp> class FAllocator {

    public:
       using value_type = Tp ;
  
  } ;

}

完整代码在std++20分配器类和分配器、特征类（std::allocator_traits）规范下编译运行。在那种情况下，我的问题实际上是关于实际正确性，无论是根据对标准了解更多的人，是否禁止类似的要素类重载，还是只是假设因为（完整）代码是可编译和可执行的，并且根据预期的计划 - 我可以考虑使用它吗？

另外，我用代码测试了分配器：

  std::vector<int, falloc_::FAllocator<int> > mv ;

  for (size_t i = 0 ; i < 5 ; i++) {
    mv.push_back(i) ;
  }

  for (int i = 4 ; i > -1 ; i--) {
    std::cout << "mv[" << i << "]: " << mv[i] << '\n' ;
  }

内存已正确分配和释放，我还检查了 Valgrind。 使用 Gdb，我检查并调用了所有函数

std::allocator_traits<falloc_::FAllocator<U> > // U aka int for std::vector<int, falloc_::FAllocator<int> > 

提前感谢您提供的任何见解、建议和建议。

Answer 1

允许专门化std::allocator_traits 模板。见[namespace.std]/2：

除非明确禁止，否则程序可以将任何标准库类模板的模板特化添加到命名空间std，前提是 (a) 添加的声明依赖于至少一个程序定义的类型并且 (b) 特化满足原始模板的标准库要求。

没有明确禁止专门化std::allocator_traits，因此您可以为您定义的类型FAllocator 这样做。此规则适用于完全专业化和部分专业化。

请记住，您的专业化必须确实满足原始模板的所有要求。该标准已经指定了每个成员类型的定义和每个成员函数的行为，以至于如果您要编写自己的特化，它基本上与原来的相同，这违背了这样做的目的。我想您可以在不违反原始要求的情况下将日志语句添加到std::allocator_traits<...>::construct(...)，但将这些日志语句放入分配器本身会更容易。如果您坚持将它们放在您的 allocator_traits 专业化中，您还必须小心不要与 [dcl.constexpr]/7 发生冲突。

我看不出任何情况下专门化 std::allocator_traits 是有意义的。