C++类字符串Setter最优实现：如何避免不必要拷贝

针对你的疑问，我们逐一分析各个方案的优劣，并给出适合不同场景的选择：

1. 两个重载版本的Setter #

void setXml(const std::string& xml)
{
    xml_ = xml;
}

void setXml(std::string&& xml)
{
    xml_ = std::move(xml);
}

这个方案是最直观且稳妥的：

• 当传入左值（如content.setXml(xml);）时，调用const std::string&版本，直接执行拷贝赋值，符合需要保留原字符串的场景。
• 当传入右值（如std::move(xml)或临时对象getXML()）时，调用std::string&&版本，执行移动赋值，完全避免了内存分配和数据拷贝，适合长字符串的高效传递。
• 优点：类型明确，不会意外接受非std::string类型，可读性强，维护成本低，性能最优。

2. 完美转发的模板方案 #

template<class String>
void setXml(String&& xml)
{
  xml_ = std::forward<String>(xml);
}

这个方案利用C的完美转发特性，能接受任何可以赋值给std::string的类型（比如const char*、std::string_view（C17+）甚至自定义字符串类型）：

• 对于左值参数，转发后执行拷贝赋值；对于右值参数，转发后执行移动赋值，同样能达到高效的效果。
• 缺点：
  • 模板会生成多个函数实例，可能轻微增加二进制体积（对简单函数影响极小）。
  • 可能意外接受不符合预期的类型（比如传入int会触发编译错误，但传入const char*会隐式构造临时std::string再移动，若不需要支持这类类型，反而会带来隐式转换的风险）。
  • 可读性稍差，对不熟悉完美转发的开发者不够友好。

3. 按值传递后移动的简化方案 #

还有一种更简洁的写法，虽然性能略逊于重载版本，但代码更短：

void setXml(std::string xml)
{
    xml_ = std::move(xml);
}

• 传入左值时：先拷贝构造参数xml，再移动赋值给xml_，总共1次拷贝+1次移动（移动std::string只是指针赋值，成本极低）。
• 传入右值时：先移动构造参数xml，再移动赋值给xml_，总共2次移动。
• 适合追求代码简洁，且对左值场景的轻微性能损耗不敏感的场景。

关于拷贝消除的疑问 #

你的理解是正确的：这里不会发生拷贝消除（RVO/NRVO）。拷贝消除仅适用于函数返回对象时，编译器省略临时对象的拷贝/移动操作的场景。而你的场景是函数参数传递后的赋值操作，赋值本身的拷贝或移动无法被消除，必须通过重载、完美转发或按值传递的方式来选择最优的赋值逻辑。

方案选择建议 #

• 若仅需处理std::string类型，且追求极致性能：优先选择两个重载版本。
• 若需要支持多种可赋值给std::string的类型：选择完美转发模板。
• 若追求代码简洁，且能接受左值场景的轻微性能损耗：选择按值传递后移动的方案。

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