boost::enable_if enabler() 与使用 boost::iterator_facade 创建迭代器的教程相关

Question

所以...看看这段代码：

    #include <boost/iterator/iterator_facade.hpp>
    #include <boost/type_traits/is_convertible.hpp>
    #include <boost/utility/enable_if.hpp>
    
    template <class Value>
    class LMI
      : public boost::iterator_facade<LMI<Value>, Value, boost::forward_traversal_tag>
    {
    private:
      int xsize, ysize, x, y;
      Level *level {0};             // iterator invalid if level == 0

    public:
      LMI(LMI<OtherValue> const &L, 
          typename boost::enable_if<boost::is_convertible<OtherValue*,Value*>,
                                    enabler>::type = enabler())
        : xsize {L.xsize}, ysize {L.ysize}, x {L.x}, y {L.y}, level {L.level}
      {};
    };

编译器抱怨没有标识符'enabler' ...这一切都来自https://www.boost.org/doc/libs/1_72_0/libs/iterator/doc/iterator_facade.html#telling-the-truth的boost示例文档

我现在意识到 enable_if 和 is_convertible 是确定是否创建此转换构造函数的魔术模板（本教程也说过），但我没有看到有关此“启用器（） " 函数 --- 这个用法是教程不正确吗？自编写教程以来，用法是否发生了变化？

这可能有助于读者了解这个模板是这样使用的：

typedef LMI<Tile> Level_Map_Iterator;
typedef LMI<Tile const> cLevel_Map_Iterator;

...关键是在创建 LMI 时它会创建转换构造函数，而在创建 LMI 时它不会。

Answer 1

所以...不好意思，如果我添加的话

struct enabler {};

到类模板的私有部分，一切都好。不能完全解释这是如何工作的——但我现在对秘方很满意。显然，我正在根据自己的工作调整教程示例，叹气。