c++ - 如何使用 SFINAE 从 end() 方法返回 (const_)iterator

Question

我想创建一个集合包装器，其中 end方法将从成员公开。集合本身可能是也可能不是 const所以我分不清const_iterator和 iterator基于它，但内部集合(模板)定义了常量。我想用 enable_if<is_const<T会让那发生但似乎不会。谢谢你的帮助

#include <cassert>
#include <type_traits>
#include <vector>
#include <algorithm>

template <typename ITEMS>
struct collection {
    ITEMS& _items;

    collection(ITEMS& items) : _items(items) {
    }

    auto find(int i) const {
        return std::find(_items.begin(), _items.end(), i);
    }

    typename std::enable_if_t<std::is_const<ITEMS>::value>::const_iterator
    end() const {
        return _items.end();
    }

    typename std::enable_if_t<!std::is_const<ITEMS>::value>::iterator
    end() const {
        return _items.end();
    }
};

template <typename ITEMS>
collection<ITEMS>
make_collection(ITEMS& items) {
    return collection<ITEMS>(items);
}

int main() {
    std::vector<int> ints = {1, 2, 3};
    auto col = make_collection(ints);                                                                                                
    const auto it = col.find(3);                                                                                                     
    assert(it != col.end());                                                                                                         

    const auto cints = ints;                                                                                                         
    auto ccol = make_collection(cints);                                                                                              
    const auto cit = ccol.find(3);                                                                                                   
    assert(cit != ccol.end());                                                                                                       

    return 0;                                                                                                                        
}    

编辑:仅使用 auto end() const { return _items.end(); }有效，但我想了解为什么模板魔术不起作用。

Answer 1

您的代码有 2 个问题。首先，std::enable_if_t 要么无效，要么解析为一个类型。如果您不指定默认为 void 的类型。在您的示例中，您没有指定类型。

第二个问题是成员函数依赖于类模板。模板中的所有代码在实例化时都必须有效。当您使用 cont 容器实例化 collection 时，非常量重载将无法推断返回类型。但它仍然是类模板的一部分，如果其中一部分失败，编译器不会忽略该部分，但会给出编译错误。

解决这个问题的方法是使 end 方法成为模板方法，并从类中转移模板参数。这样 end 方法在被调用之前不会被实例化，如果一个失败，只要另一个有效就可以了。

template <typename ITEMS>
struct collection {
    ITEMS& _items;

    collection(ITEMS& items) : _items(items) {
    }

    auto find(int i) const {
        return std::find(_items.begin(), _items.end(), i);
    }

    template <typename T = ITEMS>
    typename std::enable_if_t<std::is_const<T>::value, T>::const_iterator
    end() const {
        return _items.end();
    }

    template <typename T = ITEMS>
    typename std::enable_if_t<!std::is_const<T>::value, T>::iterator
    end() const {
        return _items.end();
    }
};