C++如何通过模板实现适配普通类型与vector类型的通用函数

编写C++函数时需要保持两类处理逻辑完全独立，针对std::vector<someType>类型的向量参数、someType类型的单个元素参数做差异化处理，初始实现代码如下：

void doSomeThing(std::vector<someType> vec)
{
  for(element : vec)
  {
    // 向量场景专属处理逻辑
  }
}

void doSomeThing(someType element)
{
  // 单个元素场景专属处理逻辑
}

目标是实现类型自动推导，调用时传入实参即可自动执行对应处理逻辑，无需手动指定调用版本。

可以实现，根据使用场景选择对应写法即可：

• 固定someType类型场景：现有函数重载写法已经满足自动匹配需求。C++重载决议机制会在编译阶段根据传入实参的类型，自动匹配参数签名一致的函数版本，无需额外编写模板逻辑。注意原代码的范围for循环缺少元素类型声明，修正后可直接编译使用：

// 示例中指定someType为int
using someType = int;
void doSomeThing(std::vector<someType> vec)
{
  for(auto element : vec)
  {
    // 向量场景专属处理逻辑
  }
}

void doSomeThing(someType element)
{
  // 单个元素场景专属处理逻辑
}

// 调用示例
int main() {
  doSomeThing(42); // 自动匹配单个元素版本
  doSomeThing(std::vector{1, 2, 3, 4}); // 自动匹配向量版本
}

• 通用场景（不限制someType具体类型）：通过模板+类型约束实现通用版本，自动匹配任意类型的vector和单个元素，无需为每个具体类型重复编写重载。C++20及以上版本可通过自定义类型萃取+concept添加类型约束，避免重载歧义：

#include <vector>
#include <type_traits>

// 类型萃取：判断类型是否为std::vector的特化
template<typename T>
struct is_std_vector : std::false_type {};

template<typename T, typename Alloc>
struct is_std_vector<std::vector<T, Alloc>> : std::true_type {};

template<typename T>
inline constexpr bool is_std_vector_v = is_std_vector<std::remove_cvref_t<T>>::value;

// 向量版本：匹配所有std::vector<T>类型参数
template<typename T>
void doSomeThing(std::vector<T> vec)
{
  for(auto&& element : vec)
  {
    // 向量批量处理逻辑
  }
}

// 单元素版本：排除std::vector类型，匹配其余所有类型参数
template<typename T>
requires (!is_std_vector_v<T>)
void doSomeThing(T&& element)
{
  // 单个元素处理逻辑
}

如果需要限定单元素版本仅接受特定someType，只需修改requires约束，增加对应类型判断即可。两种写法下两类处理逻辑完全独立，不存在耦合。

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