Question

在回答this question并阅读this talk并查看this code后，我想用简单的数组类实现constexpr find。

请考虑以下示例：

#include <cstddef>

template <class It, class T>
constexpr auto constexpr_find(const It& b, const It& e, T value) {
    auto begin = b;
    while (begin != e) {
        if (*begin == value) break;

        ++begin;
    }
    return *begin;
}

template<typename T, size_t N>
class array
{
public:
   typedef T* iterator;
   typedef const T* const_iterator;
   constexpr auto begin() const { return const_iterator(array_); }
   constexpr auto end() const { return const_iterator(array_ + N); }

   T array_[N];
   static constexpr size_t size = N;
};

int main()
{
   constexpr array<int, 3> array{{0,2,3}};
   static_assert(constexpr_find(array.begin(), array.end(), 0) == 0, "");
}

compiles as expected

使用自定义constexpr迭代器：

template<class T>
class array_iterator
{
public:
   constexpr array_iterator(const T* v) : iterator(v)
   {
   }
   constexpr const T& operator * () const { return *iterator; }
   constexpr array_iterator& operator ++()
   {
      ++iterator;
      return *this;
   }
   constexpr bool operator != (const array_iterator& other) const { return iterator != other.iterator; }
private:
   const T* iterator;
};

在数组类中：

typedef const array_iterator<const T> const_iterator;

这是唯一的区别，编译器给我错误：

在constexpr扩张中   constexpr_find<array_iterator<const int>, int>(array.array<T, N>::begin<int, 3u>(), array.array<T, N>::end<int, 3u>(), 0)

错误：(((const int*)(& array.array<int, 3u>::array_)) != (((const int*)(& array.array<int, 3u>::array_)) + 12u))不是常数   表达

Live example

这个gcc错误，因为clang编译得很好，或者两个片段有区别？

Constexpr找到实现

0 个答案: