C++结构体参数与多const引用参数的性能及规范适配方案问询

问题背景 #

原函数参数列表较长：

void fooCopy1(std::string const& source, std::string const& destination, std::string const& filter, std::string const& temp);

拟重构为使用参数结构体的形式：

struct FooCopyArgs;
void fooCopy2(FooCopyArgs const& args);

这种重构能提升代码可读性与可维护性，但存在两个核心问题：

• 额外复制开销：若结构体存储std::string值类型，传入左值时会触发不必要的复制，违反C++核心准则F.16（廉价类型传值，其他传const引用）。例如调用fooCopy2({"sourceItem", "targetItem", filter, temp});时，filter和temp会被复制到结构体中。
• 悬空引用风险：若结构体使用const std::string&成员，极易因临时对象生命周期结束导致悬空引用，触发未定义行为（示例见下文）。

需求条件 #

需满足以下三个核心要求：

• 参数结构体安全，无悬空引用风险
• 避免非廉价类型（如std::string）的额外复制
• 保持多函数复用该模式时的可组合性

不安全示例：带const引用成员的结构体 #

以下代码因返回持有临时对象引用的结构体，导致悬空引用，触发未定义行为：

struct HasConstRef {
    std::string const& member;
};

void f(HasConstRef const& arg) {
    std::cout << arg.member << "\n";
}

HasConstRef arg_producer() {
    HasConstRef result = { "there be dragons" };
    return result; // 未定义行为：临时字符串在此处销毁
}

void f_call() {
    f(arg_producer()); // 访问悬空引用，程序崩溃或出现异常行为
}

解决方案：使用std::string_view作为结构体成员 #

针对只读字符串场景，std::string_view是最优选择，完美匹配所有需求：

实现代码 #

#include <string_view>
#include <string>

struct FooCopyArgs {
    std::string_view source;
    std::string_view destination;
    std::string_view filter;
    std::string_view temp;
};

void fooCopy2(FooCopyArgs const& args) {
    // 函数内部可直接使用args.source等视图，逻辑与原函数一致
    // 若需转换为const std::string&，可直接隐式转换：
    std::string const& src = args.source;
    // 或直接使用string_view的原生接口：
    auto src_data = args.source.data();
    auto src_length = args.source.length();
}

方案优势 #

1. 无复制开销：std::string_view仅存储原字符串的指针与长度，不会复制任何字符串数据，无论是左值还是临时字符串，都能以零开销传入结构体。
2. 安全无悬空：临时字符串的生命周期会延伸至整个函数调用表达式结束，确保string_view在函数执行期间始终指向有效数据；对于左值字符串，只要其生命周期覆盖函数调用，就不会出现悬空引用。
3. 良好的可组合性：std::string_view是标准库类型，可直接在多个函数的参数结构体中复用，也能与其他标准库组件无缝配合，便于参数组合与扩展。

调用示例 #

void demo() {
    std::string filter = "*.cpp";
    std::string temp = "temp.tmp";
    // 零开销调用，无任何字符串复制
    fooCopy2({"src/file.cpp", "dest/file.cpp", filter, temp});
}

注意事项 #

• 若函数需要修改字符串内容，std::string_view不适用，此时可改用std::span<char>或值类型成员（结合移动语义减少开销）。
• 若需将参数结构体长期存储（如保存为类成员），std::string_view可能因原字符串销毁导致悬空，此时应改用值类型成员并通过移动构造减少复制开销。

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