在现代 C++（C++17 及以后）中，可变参数模板与折叠表达式使得对函数参数进行类型安全包装变得异常简洁。下面我们将演示一个“安全包装器”示例，它可以：
- 通过
std::invoke调用任意可调用对象（函数、成员函数、仿函数、lambda 等）； - 在编译期检查传入参数与目标函数参数类型是否匹配，若不匹配则产生编译错误；
- 支持返回值类型的自动推断，并可以对返回值进行统一处理（如错误码包装、日志输出等）。
1. 基本思路
- 可变参数模板：
template<typename F, typename... Args>让包装器接受任意数量、任意类型的参数。 std::invoke：C++17 引入的通用调用方式，能够处理普通函数、成员函数指针、仿函数、lambda 等。std::is_invocable_r_v：C++17 的类型特性，用来在编译期验证F可被调用且返回类型可转换为R。我们可以用它来做类型安全检查。
2. 代码实现
#include <iostream>
#include <functional>
#include <type_traits>
#include <utility>
// 1. 基础包装器：返回值直接转发
template <typename R, typename F, typename... Args>
auto safe_call(F&& f, Args&&... args)
-> std::enable_if_t<
std::is_invocable_r_v<R, F, Args...>,
R>
{
// std::invoke 负责正确调用 f
return std::invoke(std::forward <F>(f), std::forward<Args>(args)...);
}
// 2. 带错误处理的包装器
template <typename R, typename F, typename... Args>
auto safe_call_with_error(F&& f, Args&&... args)
{
// 先检查可调用性
static_assert(std::is_invocable_r_v<R, F, Args...>,
"safe_call_with_error: 函数参数类型不匹配！");
try {
return std::invoke(std::forward <F>(f), std::forward<Args>(args)...);
} catch (const std::exception& e) {
std::cerr << "[Error] " << e.what() << '\n';
// 根据 R 的类型决定返回值
if constexpr (std::is_same_v<R, void>) {
return;
} else if constexpr (std::is_arithmetic_v <R>) {
return R{}; // 0
} else {
return R{}; // default-constructed
}
}
}
// 3. 统一返回包装（例如，返回 std::optional）
template <typename F, typename... Args>
auto safe_optional_call(F&& f, Args&&... args)
{
using R = std::invoke_result_t<F, Args...>;
static_assert(std::is_invocable_v<F, Args...>,
"safe_optional_call: 函数参数类型不匹配！");
try {
return std::optional <R>{ std::invoke(std::forward<F>(f), std::forward<Args>(args)...) };
} catch (...) {
return std::optional <R>{}; // 空值
}
}3. 使用示例
int add(int a, int b) { return a + b; }
double divide(double a, double b) {
if (b == 0) throw std::runtime_error("division by zero");
return a / b;
}
struct Multiplier {
template<typename T>
T operator()(T x, T y) const { return x * y; }
};
int main()
{
// 直接调用
auto res1 = safe_call <int>(add, 3, 5); // 8
auto res2 = safe_call_with_error <int>(divide, 10.0, 2.0); // 5
// 处理错误
auto res3 = safe_call_with_error <int>(divide, 10.0, 0.0); // 捕获异常，返回 0
// 仿函数
Multiplier mul;
auto res4 = safe_call <int>(mul, 4, 7); // 28
// 返回 std::optional
auto opt1 = safe_optional_call(divide, 10.0, 2.0); // std::optional <double>{5.0}
auto opt2 = safe_optional_call(divide, 10.0, 0.0); // std::nullopt
std::cout << "res1=" << res1 << " res2=" << res2 << " res3=" << res3 << " res4=" << res4 << '\n';
if (opt1) std::cout << "opt1=" << *opt1 << '\n';
if (!opt2) std::cout << "opt2 is nullopt\n";
return 0;
}4. 关键点解析
- 类型安全
static_assert与std::is_invocable_v在编译期完成类型检查，若传入参数类型与目标函数不匹配，编译错误会在调用点显现，而非运行时抛错。
- 异常安全
safe_call_with_error通过try-catch捕获运行时异常，防止程序因未处理异常而崩溃。可以在 catch 块中做日志、回滚等业务处理。
- 通用性
- 通过
std::invoke，不需要担心是普通函数还是成员函数指针，包装器都能正常工作。
- 通过
- 返回值统一
safe_optional_call通过std::optional把成功与失败统一包装，调用方可以通过if (opt)判断是否成功。
5. 性能考虑
- 对于简单的包装器（如
safe_call），编译器能够对std::invoke进行内联，几乎没有额外开销。 safe_call_with_error的try-catch只会在异常抛出时才有成本，正常路径下开销微乎其微。std::optional的复制/移动操作受返回值类型决定，一般也不会成为瓶颈。
6. 小结
使用可变参数模板配合 std::invoke、std::is_invocable 等类型特性，可以轻松实现一个类型安全、异常安全、功能多样化的函数包装器。无论是业务层调用普通函数、成员函数，还是对外部库函数进行统一错误处理，以上示例都能提供一种简洁、可维护的解决方案。