如何用单个定义实现const与非const vector参数的函数重载（C++17及更早）

问题描述 #

我有以下两个函数重载：

template<typename F, typename T>
void func(F f, std::vector<T>& v) { ... }

template<typename F, typename T>
void func(F f, const std::vector<T>& v) { ... }

两者的函数体完全相同。请问在C17或更早的标准中，是否有简便方法通过单个定义实现这两个重载以避免代码重复？
需要说明的是，我希望函数仅接受std::vector类型的参数，但允许传入const和非const引用。需要两个重载的原因是：函数对象F会作用于vector，有时F会修改vector，有时仅会观察vector（此时希望允许传入被声明为const的vector）。
我了解可以用C20的concepts来约束函数模板参数，但想知道在C++17或更早版本中是否有简便的实现方式。

可行解决方案 #

1. 提取公共逻辑到辅助函数（推荐） #

保留两个重载，但将重复的函数体代码抽离到一个通用的辅助函数中，仅在重载里做参数转发：

#include <vector>
#include <utility> // 用于std::move和std::forward

// 公共实现函数，接受任意cv限定的vector引用
template<typename F, typename T>
void func_impl(F f, T&& v) {
    // 原函数体的逻辑写在这里
    f(v);
}

// 非const引用重载
template<typename F, typename T>
void func(F f, std::vector<T>& v) {
    func_impl(std::move(f), std::forward<std::vector<T>&>(v));
}

// const引用重载
template<typename F, typename T>
void func(F f, const std::vector<T>& v) {
    func_impl(std::move(f), std::forward<const std::vector<T>&>(v));
}

这种方式代码可读性高，兼容性覆盖C++11及以上版本，完全满足需求——既保留了对const/非const vector的重载支持，又彻底避免了代码重复。

2. 转发引用+类型约束（单个函数定义） #

借助C++11引入的转发引用和类型萃取工具，实现单个函数定义同时支持const/非const vector引用：

#include <vector>
#include <type_traits>

template<typename F, typename Vec>
auto func(F f, Vec&& v) 
-> std::enable_if_t<
    // 约束参数必须是std::vector的左值引用（const或非const）
    std::is_same_v<std::decay_t<Vec>, std::vector<typename std::decay_t<Vec>::value_type>> &&
    std::is_lvalue_reference_v<Vec>,
    void
> {
    // 原函数体逻辑写在这里
    f(v);
}

• 解释：std::decay_t<Vec>会移除引用和cv限定符，判断底层类型是否为std::vector；std::is_lvalue_reference_v<Vec>确保只接受左值引用（避免意外接受vector右值）。
• 优势：仅需单个函数定义，就能同时匹配const和非const的vector左值引用；缺点是类型约束的代码相对繁琐，可读性略低于第一种方案。

3. 模板特化（不推荐） #

通过禁用主模板，仅对vector的const/非const引用做特化，但本质仍需依赖辅助函数避免代码重复，因此不推荐使用：

#include <vector>

// 主模板禁用，仅允许特定特化实例化
template<typename F, typename Vec>
void func(F f, Vec&&) = delete;

// 非const引用特化
template<typename F, typename T>
void func(F f, std::vector<T>& v) {
    func_impl(std::move(f), v); // 仍需调用辅助函数
}

// const引用特化
template<typename F, typename T>
void func(F f, const std::vector<T>& v) {
    func_impl(std::move(f), v); // 重复调用辅助函数
}

// 公共实现辅助函数
template<typename F, typename T>
void func_impl(F f, T&& v) {
    // 原函数体逻辑
    f(v);
}

总结 #

如果追求代码简洁性和可读性，提取辅助函数的方案是最优选择；若希望用单个函数定义覆盖两种重载场景，可以采用转发引用+类型约束的方式。两种方案均完全兼容C++17及更早标准。

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