如何修改DoSomething函数签名以避免返回输入字符串时的拷贝？

可以通过修改DoSomething的返回类型，让它返回std::variant<std::string_view, std::string>来避免不必要的拷贝。当x == 0时直接返回原字符串的std::string_view（无拷贝开销），当需要计算新结果时返回生成的std::string。这样既保留了函数内部的逻辑判断，又不会让调用端产生冗余代码。

修改后的代码示例 #

#include <variant>
#include <string>
#include <string_view>
#include <iostream>

std::string SomeOtherCalculation(std::string_view data) {
    return std::string(data) + "_modified";
}

std::variant<std::string_view, std::string> DoSomething(int x, std::string_view data) {
    if (x == 0) {
        return data; // 返回原字符串的视图，无内存拷贝
    }
    return SomeOtherCalculation(data); // 返回新生成的字符串
}

int main(int argc, char *argv[]) {
    std::string a = "aaa";
    auto result = DoSomething(0, a);
    
    // 统一处理变体结果
    std::visit([](const auto& val) {
        std::cout << val << "\n";
    }, result);
}

方案优势 #

• 无冗余拷贝：std::string_view仅存储原字符串的指针和长度，完全避免了x=0时的字符串复制操作。
• 逻辑集中：所有判断逻辑仍保留在DoSomething内部，调用端无需重复判断，不会出现新调用者遗漏逻辑的问题。
• 类型安全：std::variant是标准库提供的类型安全变体，能明确区分两种返回场景，避免手动管理指针的风险。

替代方案：自定义字符串包装类 #

如果项目需要更简洁的调用体验，可以自定义一个包装类封装变体逻辑，让调用端无需直接处理std::variant：

#include <variant>
#include <string>
#include <string_view>
#include <iostream>

std::string SomeOtherCalculation(std::string_view data) {
    return std::string(data) + "_modified";
}

class StringWrapper {
private:
    std::variant<std::string_view, std::string> content_;
public:
    StringWrapper(std::string_view sv) : content_(sv) {}
    StringWrapper(std::string s) : content_(std::move(s)) {}
    
    // 提供统一的视图访问接口
    operator std::string_view() const {
        return std::visit([](const auto& val) -> std::string_view {
            return val;
        }, content_);
    }
};

StringWrapper DoSomething(int x, std::string_view data) {
    if (x == 0) {
        return data;
    }
    return SomeOtherCalculation(data);
}

int main(int argc, char *argv[]) {
    std::string a = "aaa";
    StringWrapper result = DoSomething(0, a);
    std::cout << static_cast<std::string_view>(result) << "\n";
}

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