std::string 作为成员函数的参数的奇怪行为

Question

我有一堂课：

class MyClass

{
    char *filename1;
    char *filename2;
public:
    void setFilename1(std::string str)
    {
        filename1 = const_cast<char*>(str.c_str())
    }
    void setFilename2(std::string str))
    {
        filename2 = const_cast<char*>(str.c_str())
    }
    void function()
    {
      // do semthing
    }
    void printFilename1()
    {
      std::cout<<filename1<<std::endl;
    }
}

这是我的主要功能：

MyClass *p = new MyClass();
p->setFilename1("first_string");
p->printFilename1();
p->setFilename2("second_string");
p->printFilename1();

输出让我很惊讶：

first_string

第二个字符串

我发誓我的函数 MyClass::setFilename2 没有错字，而且我没有设置 filename2 变量两次。

我使用的是 g++ 编译器版本 4.8.4。以下是我如何编译我的课程：

g++ -g -O -Wall -fPIC -pthread -std=c++11 -Wno-deprecated-declarations -m64 -I/home/user/root-6.06.00/include -c myClass.cxx

现在，另一个惊喜：当我更改 MyClass::setFilename 函数时：

void setFilename2(char* str))
    {
        filename2 = str;
    }

我得到了我期望的输出：

first_string

first_string

执行函数 MyClass::function() 不会改变我的任何字符串的值。

那么发生了什么？这与我对 C++ 的了解相矛盾。如果一个函数不引用相同的变量并且彼此无关，那么它们如何影响另一个函数？

我想这可能与编译器版本或某些编译器选项有关。但我不知道发生了什么。

编辑：你能解释一下为什么这段代码会这样吗？

Answer 1

c_str() 返回一个指向char 数组的指针，只要std::string 未被修改，该数组就保持有效；在您的情况下，您调用 c_str() 的 std::string 对象在您的方法返回后立即被销毁（它是从字符串文字动态创建的临时对象），因此您有效地存储了一个指向内存的指针解除分配。当您执行 printFileName1 时看到新值这一事实只是分配器正在回收之前用于其他字符串的内存位置这一事实的副作用；就标准而言，这一切都是未定义的行为（您可能会遇到悲剧性的崩溃）。

正确的做法是将std::string 直接存储在您的类中，它将在您的MyClass 实例的整个生命周期内正确管理自己的内存。

class MyClass
{
    std::string filename1;
    std::string filename2;
public:
    void setFilename1(std::string str)
    {
        filename1 = str;
    }
    void setFilename2(std::string str))
    {
        filename2 = str;
    }
    void function()
    {
      // do semthing
    }
    void printFilename1()
    {
      std::cout<<filename1<<std::endl;
    }
}

Answer 2

MyClass *p;
p->setFilename1("first_string");
p->printFilename1();
p->setFilename2("second_string");
p->printFilename1();

您永远不会为 p 指向的内容分配内存，因此您在 *p 上调用的任何内容都将是未定义的行为

Answer 3

例如，我认为这也是错误的。

void setFilename1(char* str)
{
    std::string buf = str;
    filename1 = const_cast<char*>(buf.c_str())
}

因为 'buf' 被删除超出范围。

没关系。

void setFilename1(std::string str)
{
    static std::string buf = str;
    filename1 = const_cast<char*>(buf.c_str())
}

其他方法：

class MyClass
{
    char *filename1;
    char *filename2;
public:
    void setFilename1(std::string& str)
    {
        filename1 = const_cast<char*>(str.c_str())
    }
    void setFilename2(std::string& str))
    {
        filename2 = const_cast<char*>(str.c_str())
    }
    void function()
    {
      // do semthing
    }
    void printFilename1()
    {
      std::cout<<filename1<<std::endl;
    }
}

MyClass *p = new MyClass();
string str1 = "first_string";
p->setFilename1(str1);
p->printFilename1();
string str2 = "second_string";
p->setFilename2(str2);
p->printFilename1();
delete p;