昨天的一段代码, 思考一下又回来了, 大家看看对不对...

john_carmack

int main(){
        string str = "abcdeeeee"; // step1
        // 这里应该是调用的是一个带一个参数的构造函数, 不是什么operator=,
         string类对象都没有构造, 哪里能调用类方法???

        char* c = (char*)str.c_str(); // step2
        // str.c_str() 函数返回的是一个const char*的指针, 它应该是指向str对象的
         一个公有变量(见step4), char*类型的指针, 该变量所指向的内存空间分配                  
         在堆里
         
        cout << "c: " << c << endl;
        // c: abcdeeeee c值可输出, c所指向的内存区域必在堆里

        str.append(10, '!'); // setp3
        // str追加10个!号
        cout << "str: " << str << endl;
        // str: abcdeeeee!!!!!!!!!!
        cout << "c: " << c << endl;
        // c的值不变, 故可见c指向的是与str不同的一片内存空间
        // 又str的值在栈中, 不可能相同

        c = "abc"; // step4
        cout << "c: " << c << endl;
        // c: abc
        // c的值可更改, 故c_str()函数返回的是对象str的一个公有变量
}

不知分析是否正确, 各位赏个脸, 看一看 : )

albcamus

>;>;char* c = (char*)str.c_str(); // step2
>;>;// str.c_str() 函数返回的是一个const char*的指针, 它应该是指向str对象的一个公有变量(见step4), char*类型的指针, 该变量所指向的内存空间分配在堆里

这个不对吧？str分配在哪里，c指向的空间就在那里。一开始，c和str.c_str()的值是一样的，不信你打印一下看看

Leq

如果你写过String类，就会知道String类的数据存放可能是动态分配的，即可能str.append(10, '!');之后，可能存放数据的内存是根据数据长度重新分配的，你可以在c = (char*)str.c_str(); 然后print("%p ..试试

albcamus

一个大小可变的数据结构，必然是通过动态申请/释放空间来完成的，这种数据结构通过库的形式提供出来，目的就是隐藏实现细节，何必一定要穷究在堆中还是栈中呢。

john_carmack

如果你们研究过c++的标准类库, 有很多这样的函数, 我们不可能使用一个我们不

清楚其指向的指针, 至少我认为那是很危险的, 如果str对象离开作用域, 那使用

指针c肯定会出错, 因为str在析构时会释放掉其内部变量所占用的空间.

不能时常上网, 有问题希望大家多指教... : )

ningzhiyu

1. 
   
2. string str = "abcdeeeee"; // step1
   
3. // 这里应该是调用的是一个带一个参数的构造函数, 不是什么operator=,
   
4. //string类对象都没有构造, 哪里能调用类方法???
   

复制代码

这个应该是operator=，构造函数的形式是classname valname(parameter list);
string的构造函数有很多，可以参看basic_string.h中的内容，对模版类不熟，我说不来

1. 
   
2. char* c = (char*)str.c_str(); // step2
   
3. // str.c_str() 函数返回的是一个const char*的指针, 它应该是指向str对象的
   
4. 一个公有变量(见step4), char*类型的指针, 该变量所指向的内存空间分配
   
5. 在堆里
   

复制代码

c这是应该指向str的私有变量 _M_dataplus._M_p所指的地址。
//_CharT* _M_p; // The actual data..也就是指向str实际数据的内存处
详细请查看basic_string.h，我也是先炒现卖的…

1. 
   
2. str.append(10, '!'); // setp3
   
3. // str追加10个!号
   

复制代码

这里str的append函数会发现原来分配的内存空间不够了，会重新分配的，所以内存地址变了
可以用printf("address of c:%x ,str:%x ",c,str.c_str());看看

1. 
   
2. cout << "str: " << str << endl;
   
3. // str: abcdeeeee!!!!!!!!!!
   
4. cout << "c: " << c << endl;
   
5. // c的值不变, 故可见c指向的是与str不同的一片内存空间
   
6. // 又str的值在栈中, 不可能相同
   

复制代码

这时他们的内存是不一样了，这时c指向的应该是被free或者delete的了……如果还用c操作这片内存是很危险的。如果中间有其他的动态分配内存的动作，很可能就修改了原来的内容。

1. 
   
2. c = "abc"; // step4
   
3. cout << "c: " << c << endl;
   
4. // c: abc
   
5. // c的值可更改, 故c_str()函数返回的是对象str的一个公有变量v
   

复制代码

c="abc";是重新把一个常量字符串的首地址赋给了c，而不是改变c原来指向的内存。要使用c指向的内存要使用*接指针或者用[]下标。要清楚指针和指针指向的内容。

ningzhiyu

1. 
   
2. cout << "str: " << str << endl;
   
3. // str: abcdeeeee!!!!!!!!!!
   
4. cout << "c: " << c << endl;
   
5. // c的值不变, 故可见c指向的是与str不同的一片内存空间
   
6. // 又str的值在栈中, 不可能相同
   

复制代码

str是一个类的实例，它的成员变量是应该在栈中，但是它的私有变量_M_dataplus._M_p 这个指针指向的内存就不是了，应该是在堆中。是不是这样说呢