如何正确定义模板类的成员结构的部分特化？

Question

尝试为模板化成员结构添加 std::iterator_traits 时出现错误 - 即，我有一个迭代器类，它是模板化外部类的成员：

namespace Toolbox {
    template <typename CharType>
    class substring_container_adapter
    {
    public:
        struct iterator // : public std::iterator<std::forward_iterator_tag, const CharType *>   C++ 17 is very upset at this approach!
        {
            // iterator constructor
            iterator(const CharType * pszPosition, const CharType * pszDelimeters)

稍后，我尝试将迭代器特征的部分特化添加到 std，因为显然不推荐从 std::iterator 继承（尽管 - 或 boost::iterator_adaptor 非常有意义并且实际上在这种情况和其他情况下都有效)...

// define iterator traits for our custom iterators
namespace std 
{
    template <typename CharType>
    struct iterator_traits<class Toolbox::substring_container_adapter<CharType>::iterator>
    {
        using iterator_category = forward_iterator_tag;
        using value_type = CharType;
    };
}

但是，VC++ 2017 版本 15.7.3（为此项目启用了 C++ 17）抱怨：

错误 C2764：“CharType”：模板参数未在部分特化“std::iterator_traits::iterator>”中使用或推导出来

为什么不呢？

我怀疑这是 !@#$ 烦人的限制，因为试图部分专门化成员结构而不是 substring_container_adapter 之外的模板化结构？

Answer 1

这里正确的做法是将类型别名放入iterator，而不是尝试部分特化std::iterator_traits。

namespace Toolbox {
    template <typename CharType>
    class substring_container_adapter
    {
    public:
        struct iterator // : public std::iterator<std::forward_iterator_tag, const CharType *>   C++ 17 is very upset at this approach!
        {
            using iterator_category = forward_iterator_tag;
            using value_type = const CharType *;
            using reference = const CharType * &;
            using pointer = const CharType * *;
            using difference_type = std::ptrdiff_t;

            // iterator constructor
            iterator(value_type pszPosition, value_type pszDelimeters)

            // ...
        }
    }
}

弃用std::iterator 的一个主要原因是委员会不喜欢它给人的印象，即所有Iterators 都应该从它派生，因为不需要任何容器迭代器。你可以定义一个精确的替换

namespace not_std {
  template<class Category, class T, class Distance = ptrdiff_t,
           class Pointer = T*, class Reference = T&>
  struct iterator {
    using iterator_category = Category;
    using value_type        = T;
    using difference_type   = Distance;
    using pointer           = Pointer;
    using reference         = Reference;
  };
}