来自 String Literal C++ 的字符串引用

Question

我希望有人可以帮助回答有关 C++ 中字符串的问题。我试图从这里删除任何无关的代码，所以它不会编译（缺少命名空间、定义等......）。这不是一个“错误”问题。如果需要工作代码示例，请指定您想要的代码（针对哪个问题），我很乐意提供更详细的内容。

//Foo.c
#define EXIT "exit"
Bar* bar; //See question C
//1
foo(const string& text) {
    cout << text;
    bar = new Bar(text); //See question C
}
//2
foo(const char* text) {
    cout << text;
}
//3
foo(string text) {
    cout << text;
}
int main() {
....
    { foo(EXIT); } //braces for scope, see question C)
    bar->print(); //4
....
}

class Bar {
    private const string& strBar;
    Bar::Bar(const string& txt) : strBar(txt) { }
    Bar::print() { cout << strBar; }
}

假设三个 foo() 方法中只有一个没有注释，它们并不意味着重载。我在这里有几个问题：

A) 如果我能在调用 foo() 之后弄清楚如何使用 OllyDbg 将字符串文字“exit”转换为“axit”，我相信在情况 1 中输出仍然是“exit”和 3，以及在情况 2 中“退出”。这是正确的吗？

B) 在案例 1 和案例 3 中，我相信因为该方法要求一个字符串（即使它是案例 1 中的引用），所以隐式调用了字符串构造函数（它接受 const char*） ，并且该构造函数总是复制，而不是引用。 （见cplusplus.com string page）这是正确的（尤其是ALWAYS）吗？

C) 在情况 1 中，如果我初始化了一个新类，该类具有我分配了 text 变量的 string& 属性，那么当我们离开作用域时，这个引用是否会指向错误的内存？ IE，当我们达到 4 时，我相信发生了以下情况（假设 foo(const string& text) 是未注释的函数）： 1. 为复制文字的行 foo(EXIT) 创建一个临时字符串对象。 2. 对 temp 对象的引用传递给 bar 和 strBar 属性 3. 一旦代码继续前进并离开调用 foo(EXIT) 的范围，我认为临时字符串对象超出范围并消失，这意味着 strBar 现在引用了一个内容未定义的内存区域，认为它是仍然是一个字符串。

D) 回到 A，我相信在案例 2 (foo(const char* text)) 中，这个对 foo 的调用引用了文字本身，而不是副本，这就是为什么在内存中摆弄文字会改变输出。它是否正确？如果我继续使用 const char*，我可以继续通过文字（对 Bar 说）吗？

E) 除了“这就是它的工作原理”之外，您将如何测试其中的任何内容？和“阅读规格”？我不需要分步说明，但是关于我应该如何使用我可用的工具（Visual Studio、OllyDbg、其他人的建议？）来回答问题的一些想法会很棒。我花了很多时间尝试这样做，我想听听人们怎么说。

Answer 1

A) 我对OllyDbg 一无所知，但在所有情况下，std::ostream 在foo 返回之前都会创建自己的text 副本，因此调用后对变量的任何更改都不会影响输出。
B) 是的，string 构造函数将始终在参数的隐式构造过程中创建自己的 char* 副本。
C) 是的，当你调用foo时，会自动创建并使用一个string，调用结束后销毁，留下bar指向无效内存。
D) 你是对的。 foo(const char* text) 复制指针 到数据，但不 复制数据。但是由于operator<<(ostream, char*) 会复制数据，因此更改数据不会影响输出。我不明白你为什么不能通过 const char* 文字。
E) 上课、阅读教程或阅读规范。对于这类问题，反复试验不会让您在标准库中走得更远。

对于这些，概念是封装。 C++ 标准库中的对象都是封装好的，因此任何操作的结果都是你所期望的，并且真的 很难不小心弄乱它们的内部而导致事情失败或泄漏。如果您告诉ostream 在char * 上打印数据，它会 (A) 立即执行，或 (B) 在返回之前制作自己的副本，以防您以后与 char* 混淆。