c++ - 来自字符串文字 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 中，如果我初始化了一个新类，它有一个 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制作自己的 text 拷贝之前foo返回，因此调用后变量的任何更改都不会影响输出。
B) 是的，string构造函数将始终制作它自己的 char* 拷贝在参数的隐式构造期间。
C)是的，当你调用foo , 一个 string自动创建和使用，调用结束后销毁，留下bar指向无效内存。
D)你是对的。 foo(const char* text)复制数据的指针，但不复制数据。但是因为 operator<<(ostream, char*)复制数据，更改数据不会影响输出。我不明白你为什么不能通过 const char*字面意思。
E) 上课、阅读教程或阅读规范。对于此类问题，反复试验不会让您在标准库中走得太远。

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