模板推演：移植到C++11

Question

以下代码对于 C++14 编译器是合法的

// g++ -std=c++14 -pedantic -pthread main.cpp
// output: 1 2 3 4 5 1 1 1 
#include <algorithm>
#include <vector>
#include <functional>
#include <iterator>
#include <iostream>

int main()
{
  std::vector<int> a = { 1, 2, 3, 2, 4, 5, 1, 1, 3, 5, 1, 5 }, b = { 2, 5, 5, 3 }, c;

  std::copy_if(a.begin(), a.end(), std::back_inserter(c), 
    std::bind(std::less<>(),   // this won't work in pre-C++14
      std::bind(
        std::count<std::vector<int>::iterator, int>, 
          std::bind(static_cast<std::vector<int>::iterator (std::vector<int>::*)()>(&std::vector<int>::begin), &c), 
          std::bind(static_cast<std::vector<int>::iterator (std::vector<int>::*)()>(&std::vector<int>::end), &c), 
          std::placeholders::_1
      ),
      std::bind(
        std::minus<>(), // this won't work in pre-C++14
          std::bind(
            std::count<std::vector<int>::iterator, int>, 
              a.begin(), 
              a.end(), 
              std::placeholders::_1
          ),
          std::bind(
            std::count<std::vector<int>::iterator, int>, 
              b.begin(), 
              b.end(), 
              std::placeholders::_1
          )
      )
    )
  );

  std::copy(c.begin(), c.end(), std::ostream_iterator<int>(std::cout, " "));
  std::cout << std::endl;
}

这意味着从向量 a 的元素创建向量 c，不包括那些匹配向量 b 中元素的计数和值的元素。例如。如果 a 包含三个 2 和 b - 其中两个，则 c 中只会出现一个 2。

a) 如何将这段代码改编为 C++11？ less 和 minus 参数将是 ...::difference_type 的直观飞跃不起作用，编译器消息也没有帮助

b) 当前版本按顺序删除最后一个匹配项。什么代码会删除 first 个匹配项？

Answer 1

真正的答案是不要使用bind()。使用 lambda：

std::copy_if(a.begin(), a.end(), std::back_inserter(c), [&](int elem){
    return std::count(c.begin(), c.end(), elem) <
        std::count(a.begin(), a.end(), elem) - std::count(b.begin(), b.end(), elem);
});

这远比std::bind()的解决方案短，在C++11中工作，并且远更容易理解。而且我们也不必手动推模。

我们也可以这样写：

std::copy_if(a.begin(), a.end(), std::back_inserter(c), [&](int& elem){
    return std::count(&elem + 1, &a[a.size()], elem) >=
        std::count(b.begin(), b.end(), elem);
});

请注意，我现在将elem 作为参考。这也使您更容易了解如何实施您建议的扩展来删除第一个匹配项。这只是改变了我们比较a 中elem 的哪一边：

std::copy_if(a.begin(), a.end(), std::back_inserter(c), [&](int& elem) {
    return std::count(&a[0], &elem, elem) >=
        std::count(b.begin(), b.end(), elem);
});