自定义容器value_type提取代码：std::vector适配失败问题排查

你的代码在处理std::vector这类非map容器时编译失败，核心问题出在IsMap的特化模板上：

当判断非map类型（比如std::vector<int>）时，特化模板中的std::is_same会尝试访问T::key_type和T::mapped_type，但std::vector根本没有这两个嵌套类型。这种直接访问不存在的嵌套类型属于编译硬错误，无法被SFINAE（替换失败不是错误）机制忽略，导致整个模板实例化过程崩溃。

需要先检查容器是否具备key_type和mapped_type这两个嵌套类型，再验证value_type是否符合map的std::pair<const key_type, mapped_type>格式。利用std::void_t可以实现SFINAE友好的类型存在性检查，修改后的代码如下：

#include <type_traits>
#include <vector>
#include <map>
#include <set>

// 基础模板：默认判定为非map类型
template<typename T, typename = void>
struct IsMap : std::false_type {};

// 特化模板：先确保T存在key_type、mapped_type，再验证value_type格式
template<typename T>
struct IsMap<T, std::void_t<
    typename T::key_type,
    typename T::mapped_type,
    std::enable_if_t<std::is_same_v<
        typename T::value_type,
        std::pair<const typename T::key_type, typename T::mapped_type>
    >>
>> : std::true_type {};

// 根据容器类型提取底层数据类型
template<typename Container>
using ValueTypeFrom = std::conditional_t<IsMap<Container>::value, 
    typename Container::mapped_type, typename Container::value_type>;

// 使用示例：将容器转换为std::set
template<typename Container>
std::set<ValueTypeFrom<Container>> ToSet(const Container& container) {
    return std::set<ValueTypeFrom<Container>>(std::begin(container), std::end(container));
}

// 测试代码
int main() {
    std::vector<int> vec{1, 2, 3};
    auto int_set = ToSet(vec); // 编译通过，得到std::set<int>

    std::map<int, std::string> mp{{1, "a"}, {2, "b"}};
    auto str_set = ToSet(mp); // 编译通过，得到std::set<std::string>
    return 0;
}

修复逻辑说明 #

• std::void_t会接受任意数量的类型参数，只有当所有传入的类型都合法存在时，才会生成void类型；如果某个类型不存在（比如vector的key_type），模板参数替换会失败，SFINAE会自动忽略这个特化版本，转而使用基础的IsMap<std::false_type>。
• 额外通过std::enable_if_t验证value_type的格式，确保只有符合map特征的类型才会被判定为map类型。

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