使用STL remove_if操作模板化容器时调用begin/end报错C2228

首先，咱们来拆解你遇到的两个核心问题：编译器报错C2228 left of '.begin' must have class/struct/union，以及std::remove_if本身无法适配关联容器（map、unordered_map）的问题。

一、先解决编译报错的问题 #

你的原始函数是按值传递容器datastructure table，虽然标准容器支持拷贝，但这种方式效率极低，更关键的是——如果调用时不小心传递了容器的指针（比如deleteFromHelper(func, &my_map)），模板参数datastructure会被推导为指针类型，这时候table.begin()自然会报错，因为指针没有.begin()成员函数。

修正方案：把函数参数改成引用传递，同时用非成员函数std::begin()/std::end()提升通用性：

template<typename FUNCTOR, typename datastructure> 
void deleteFromHelper(FUNCTOR func, datastructure& table) { // 使用引用避免拷贝，同时确保table是容器对象
    std::remove_if(std::begin(table), std::end(table), func);
}

这样如果调用时传的是容器对象（而非指针），编译报错就会消失。

二、注意：std::remove_if不能直接用于map/unordered_map #

这是很多人容易踩的坑：std::remove_if的设计是针对序列容器（比如vector、list）的，它的工作原理是把需要保留的元素移动到容器前部，最后返回新的末尾迭代器，再配合erase真正删除元素（即“erase-remove惯用法”）。

但对于map、unordered_map这类关联容器：

1. 它们的元素是std::pair<const Key, Value>，key是const的，remove_if尝试移动元素时会修改key的位置，这违反了关联容器“key不可修改”的规则；
2. 关联容器的结构是基于key排序/哈希的，不允许随意调整元素位置，强行用remove_if会破坏容器的内部结构。

关联容器的正确删除方式 #

需要遍历容器，用自身的erase方法删除符合条件的元素：

template<typename FUNCTOR, typename Map> 
void deleteFromMapHelper(FUNCTOR func, Map& table) {
    for (auto it = table.begin(); it != table.end();) {
        if (func(*it)) {
            it = table.erase(it); // erase会返回下一个有效的迭代器，不用手动++
        } else {
            ++it;
        }
    }
}

序列容器的正确删除方式（erase-remove惯用法） #

对于vector这类序列容器，remove_if只是标记要删除的元素，必须调用erase才能真正删除：

template<typename FUNCTOR, typename SeqContainer> 
void deleteFromSeqHelper(FUNCTOR func, SeqContainer& table) {
    auto new_end = std::remove_if(std::begin(table), std::end(table), func);
    table.erase(new_end, table.end()); // 真正删除末尾的无效元素
}

三、写一个适配所有容器的统一接口 #

如果你想只用一个函数处理所有容器，可以用SFINAE（Substitution Failure Is Not An Error）来区分序列容器和关联容器：

#include <type_traits>
#include <algorithm>
#include <map>
#include <unordered_map>
#include <vector>

// 辅助模板：判断是否为关联容器
template<typename T>
struct is_associative_container : std::false_type {};

// 特化map类型
template<typename K, typename V, typename C, typename A>
struct is_associative_container<std::map<K,V,C,A>> : std::true_type {};

// 特化unordered_map类型
template<typename K, typename V, typename H, typename E, typename A>
struct is_associative_container<std::unordered_map<K,V,H,E,A>> : std::true_type {};

// 序列容器版本：仅当不是关联容器时实例化
template<typename FUNCTOR, typename SeqContainer>
typename std::enable_if<!is_associative_container<SeqContainer>::value>::type
deleteFromHelper(FUNCTOR func, SeqContainer& table) {
    auto new_end = std::remove_if(std::begin(table), std::end(table), func);
    table.erase(new_end, table.end());
}

// 关联容器版本：仅当是关联容器时实例化
template<typename FUNCTOR, typename Map>
typename std::enable_if<is_associative_container<Map>::value>::type
deleteFromHelper(FUNCTOR func, Map& table) {
    for (auto it = table.begin(); it != table.end();) {
        if (func(*it)) {
            it = table.erase(it);
        } else {
            ++it;
        }
    }
}

这样调用时，不管是vector、map还是unordered_map，都可以直接用deleteFromHelper(func, my_container)，编译器会自动匹配对应的实现。

内容的提问来源于stack exchange，提问作者DanielJomaa