C++标准从C++11到C++23不断引入新特性，函数的设计和使用方式也随之发生很多变化，掌握适配未来发展的函数最佳实践，对提升代码质量和可维护性有重要意义。
函数参数设计的最佳实践
优先使用传递值或常量引用
对于只读的输入参数，小型对象可以直接传值，大型对象优先使用const&引用，避免不必要的拷贝开销。如果函数需要修改参数，再使用非常量引用，并且要明确标注参数的修改意图。
// 只读参数使用const引用
void process_data(const std::vector<int>& input) {
for (int val : input) {
// 仅读取input内容，不修改
std::cout << val << std::endl;
}
}
// 需要修改的参数使用非常量引用，明确标注
void modify_data(std::vector<int>& output) {
output.push_back(10);
}
避免过长的参数列表
如果函数参数超过5个，建议将相关参数封装成结构体，提升代码可读性，也方便后续扩展参数。同时可以使用结构化绑定简化参数使用。
struct RequestConfig {
int timeout;
std::string url;
bool need_retry;
};
void send_request(const RequestConfig& config) {
auto [timeout, url, need_retry] = config; // 结构化绑定简化使用
// 发送请求逻辑
}
返回值处理的最佳实践
优先使用返回值而非输出参数
现代C++编译器对返回值的优化已经非常成熟，直接返回对象不会产生额外的拷贝开销，相比输出参数，返回值的方式更符合函数式编程思想，代码可读性更高。
// 推荐：直接返回对象
std::vector<int> generate_data(int size) {
std::vector<int> result;
for (int i = 0; i < size; ++i) {
result.push_back(i);
}
return result; // 编译器会进行RVO优化，无额外拷贝
}
// 不推荐：使用输出参数
void generate_data(int size, std::vector<int>& output) {
for (int i = 0; i < size; ++i) {
output.push_back(i);
}
}
使用std::optional或std::expected处理可能失败的场景
如果函数可能返回空值或者失败，不要使用特殊值（比如返回-1表示错误），优先使用std::optional表示可能为空的结果，使用std::expected（C++23引入）表示可能失败的结果，明确错误语义。
#include <optional>
#include <expected> // C++23
// 可能返回空值的情况
std::optional<int> find_value(const std::vector<int>& data, int target) {
for (size_t i = 0; i < data.size(); ++i) {
if (data[i] == target) {
return i;
}
}
return std::nullopt;
}
// 可能失败的情况（C++23）
std::expected<int, std::string> divide(int a, int b) {
if (b == 0) {
return std::unexpected<std::string>("除数不能为0");
}
return a / b;
}
函数异常与constexpr的最佳实践
明确函数的异常规范
如果函数不会抛出异常，使用noexcept标注，这不仅能让编译器做更多优化，也能让调用者明确函数的异常行为。对于可能抛出异常的函数，要在文档中说明异常类型。
// 不会抛出异常的函数标注noexcept
int add(int a, int b) noexcept {
return a + b;
}
// 可能抛出异常的函数
int divide(int a, int b) {
if (b == 0) {
throw std::invalid_argument("除数不能为0");
}
return a / b;
}
尽可能将函数标记为constexpr
如果函数逻辑可以在编译期计算，优先标记为constexpr，这样函数既可以在编译期使用，也可以在运行期使用，提升代码的灵活性和性能。C++14之后constexpr函数的限制已经大幅放宽，支持更多的逻辑。
// constexpr函数，编译期和运行期都可以调用
constexpr int factorial(int n) {
if (n <= 1) {
return 1;
}
return n * factorial(n - 1);
}
// 编译期计算
constexpr int val = factorial(5); // 编译期得到120
// 运行期计算
int input = 3;
int res = factorial(input); // 运行期计算
函数性能优化的最佳实践
小函数优先使用内联
对于逻辑简单、频繁调用的小函数，可以标记为inline，避免函数调用的开销。不过现代编译器会自动内联符合条件的函数，手动标记inline更多是语义上的提示。
// 小函数标记为inline
inline int max(int a, int b) {
return a > b ? a : b;
}
避免函数中的动态内存分配
函数内部尽量避免频繁的new和delete操作，优先使用栈对象或者标准库容器，减少内存碎片和分配开销。如果必须动态分配，考虑使用内存池或者智能指针管理。
以上实践结合了C++现有标准和未来的发展方向，能够帮助开发者写出更适配现代C++生态的函数代码，提升项目的整体质量。