Question

是的，我知道我应该创建一个迭代器，但是我需要快速完成这个并且为VC ++相关的任何东西编写一个合适的迭代器都是令人沮丧的。（这也适用于许多其他标准的东西，并且正在加剧我的工作量。:(）

所以我编写了一个for_each（）算法来处理恶意：

template <typename K, typename AK, typename V, typename AV>
void for_each(CMap<K, AK, V, AV>& container, std::function<void(AK, AV)> body)
{
    POSITION pos = container.GetStartPosition();
    while (pos != NULL)
    {
        AK key;
        AV value;
        // Get key and value
        container .GetNextAssoc(pos, key, value);
        body(key, value);
    }
}

但显然VC ++无法推断功能模板的AK和AV。这是正常的还是VC ++的另一个限制？

修改以下是所要求的错误：

1>d:\projects\clean\cv32\cvcustombuttoninfo.cpp(113): error C2784: 'void for_each(CMap<KEY,ARG_KEY,VALUE,ARG_VALUE> &,std::function<void(AK,AV)>)' : could not deduce template argument for 'std::function<void(AK,AV)>' from 'CCVCustomRibbonInfo::WriteFile::<lambda_0513c2955d2b7b0197efcf2b0ce9322b>'
1>          d:\projects\clean\cv32\cvcustombuttoninfo.cpp(66) : see declaration of 'for_each'

这似乎也发生在带有-std = c ++ 11参数的gcc 4.9.0上。

#include <functional>
template <typename T>
void fn(T t, std::function<void(T)>)
{
}

int main()
{
  int i;
  fn(i, [](int i){});
  return 0;
}

[DEMO]

g ++错误：

/tmp/gcc-explorer-compiler115110-34-1cr9oud/example.cpp: In function 'int main()':
11 : error: no matching function for call to 'fn(int&, main()::)'
fn(i, [](int i){});
^
11 : note: candidate is:
4 : note: template void fn(T, std::function)
void fn(T t, std::function<void(T)>)
^
4 : note: template argument deduction/substitution failed:
11 : note: 'main()::' is not derived from 'std::function'
fn(i, [](int i){});
^
Compilation failed

Answer 1

C ++ lambdas与具有相同签名的std::function的类型不同。这就是模板参数推导失败的原因 - 它可以或多或少地使用精确类型。使用template argument deduction不会考虑转化。您不希望在模板参数中使用std::function。要强制签名，您可以检查Func是否可转换为std::function<void(AK, AV)>。

template <typename K, typename AK, typename V, typename AV, typename Func, typename = std::enable_if_t<std::is_convertible<Func, std::function<void(AK, AV)>>::value> >
void for_each(CMap<K, AK, V, AV>& container, Func body)
{
    POSITION pos = container.GetStartPosition();
    while (pos != NULL)
    {
        AK key;
        AV value;
        // Get key and value
        container .GetNextAssoc(pos, key, value);
        body(key, value);
    }
}

Answer 2

你应该创建一个迭代器：

#include <iterator>

// std::is_const
template <class T>
struct is_const { static const bool value = false; };
template <class T>
struct is_const<const T> { static const bool value = true; };

// std::conditional_t<C, std::add_const_t<T>, T>
template <bool C, class T>
struct maybe_const { typedef const T type; };
template <class T>
struct maybe_const<false, T> {
  typedef T type;
};

template <class CMapType>
class cmap_iterator_base {
public:
  typedef std::forward_iterator_tag iterator_category;
  typedef typename CMapType::CPair value_type;
  typedef typename maybe_const<
    is_const<CMapType>::value, value_type
  >::type cv_value_type;
  typedef cv_value_type& reference;
  typedef cv_value_type* pointer;

  cmap_iterator_base() : cmap_(0), pos_(0) {}
  cmap_iterator_base(CMapType& cmap) : cmap_(&cmap), pos_(cmap.PGetFirstAssoc()) {}

  bool operator==(const cmap_iterator_base& other) const {
    return pos_ == other.pos_;
  }
  bool operator!=(const cmap_iterator_base& other) const {
    return !(*this == other);
  }

  cmap_iterator_base& operator++() {
    pos_ = cmap_->PGetNextAssoc(pos_);
    return *this;
  }
  cmap_iterator_base operator++(int) {
    cmap_iterator_base tmp = *this;
    ++*this;
    return tmp;
  }

  reference operator*() const {
    return *pos_;
  }

  pointer operator->() const {
    return pos_;
  }

private:
  CMapType* cmap_;
  pointer pos_;
};

template <class K, class AK, class V, class AV>
cmap_iterator_base<CMap<K, AK, V, AV> >
begin(CMap<K, AK, V, AV>& cmap) {
  return cmap_iterator_base<CMap<K, AK, V, AV> >(cmap);
}

template <class K, class AK, class V, class AV>
cmap_iterator_base<CMap<K, AK, V, AV> >
end(CMap<K, AK, V, AV>&) {
  return cmap_iterator_base<CMap<K, AK, V, AV> >();
}

template <class K, class AK, class V, class AV>
cmap_iterator_base<const CMap<K, AK, V, AV> >
cbegin(const CMap<K, AK, V, AV>& cmap) {
  return cmap_iterator_base<const CMap<K, AK, V, AV> >(cmap);
}

template <class K, class AK, class V, class AV>
cmap_iterator_base<const CMap<K, AK, V, AV> >
cend(const CMap<K, AK, V, AV>&) {
  return cmap_iterator_base<const CMap<K, AK, V, AV> >();
}

代码是纯C ++ 98，因为我不知道您使用的任何版本的Visual C ++都实现了哪些C ++ 11功能。

试图为MFC的CMap编写for_each算法

2 个答案: