如何编写可接收任意存储std::string的STL容器的通用函数？

当然可以实现这样的函数！你原来的写法里std::container并不是C标准库中存在的模板类型，所以我们需要用模板或者C20的新特性来实现对任意存储std::string的STL容器的支持。下面给你几种实用的方案：

方案1：基础模板函数（兼容所有C++11及以上版本） #

这是最简单直接的实现方式，通过模板参数接收任意容器类型，只要容器支持范围for循环（所有STL容器都满足这个要求），并且存储的是std::string，就能正常调用。

#include <iostream>
#include <string>
#include <vector>
#include <list>
#include <set>

template <typename Container>
void foo(const Container& cont) {
    // 使用const引用避免不必要的字符串拷贝，提升效率
    for (const std::string& val : cont) {
        std::cout << val << std::endl;
    }
}

int main() {
    std::set<std::string> strset{"apple", "banana"};
    std::vector<std::string> strvec{"cat", "dog"};
    std::list<std::string> strlist{"elephant", "fox"};
    
    foo(strset);
    foo(strvec);
    foo(strlist);
    return 0;
}

这个方案的优点是兼容性极强，缺点是如果不小心传入了存储非std::string类型的容器（比如std::vector<int>），编译时才会报错，错误信息可能不够直观。

方案2：C++20概念（Concepts）—— 更清晰的约束 #

如果你使用的是C++20及以上版本，推荐用概念来明确限制容器的类型，这样不仅能让函数的意图更清晰，还能在编译时给出更友好的错误提示，提前拦截不符合要求的调用。

#include <iostream>
#include <string>
#include <vector>
#include <list>
#include <set>
#include <concepts>

// 定义一个自定义概念，要求容器的value_type必须是std::string
template <typename Container>
concept StringContainer = requires(Container c) {
    typename Container::value_type; // 要求容器有value_type嵌套类型
    requires std::same_as<typename Container::value_type, std::string>; // 要求value_type是std::string
};

// 使用概念约束函数参数，两种写法任选其一
// 写法1：auto参数加概念约束
void foo(const StringContainer auto& cont) {
    for (const auto& val : cont) {
        std::cout << val << std::endl;
    }
}

// 写法2：模板参数加概念约束
/*
template <StringContainer Container>
void foo(const Container& cont) {
    for (const auto& val : cont) {
        std::cout << val << std::endl;
    }
}
*/

int main() {
    std::set<std::string> strset{"apple", "banana"};
    std::vector<std::string> strvec{"cat", "dog"};
    std::list<std::string> strlist{"elephant", "fox"};
    
    foo(strset);
    foo(strvec);
    foo(strlist);
    
    // 如果尝试传入非字符串容器，编译时会直接报错，提示不符合StringContainer概念
    // std::vector<int> intvec{1, 2};
    // foo(intvec);
    return 0;
}

方案3：C++20范围（Ranges）—— 支持更广泛的可遍历类型 #

如果想让函数不仅支持STL容器，还能支持其他符合范围要求的类型（比如std::span、自定义范围等），可以结合std::ranges::range概念：

#include <iostream>
#include <string>
#include <vector>
#include <list>
#include <set>
#include <ranges>

// 约束参数是一个范围，且范围的元素类型是std::string
template <std::ranges::range R>
requires std::same_as<std::ranges::range_value_t<R>, std::string>
void foo(const R& cont) {
    for (const auto& val : cont) {
        std::cout << val << std::endl;
    }
}

这个方案的适用范围最广，只要是能被范围for循环遍历的字符串序列，都可以传入foo函数。

总结 #

• 如果你需要兼容旧版本C++（C11到C17），方案1的基础模板函数完全够用；
• 如果你使用C++20及以上，优先选择方案2或3，它们能让代码更健壮、可读性更强，错误提示也更友好。

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