哪个数据段是C字符串存储?

时间:2016-06-18 23:17:22

标签: c string char

我想知道char s[] = "hello"char *s = "hello"之间的区别是什么。

在阅读thisthis之后,我仍然不太清楚这个问题。

据我所知,内存,文本,BSS,数据,堆栈和堆中有五个数据段。

根据我的理解,

如果是char s[] = "hello"

  1. "hello"位于文字中。
  2. s在数据中,如果它是全局变量,或在Stack中,如果它是局部变量。

  3. 我们还有"hello"的副本,其中存储了s,因此我们可以通过s修改此字符串的值。

  4. 如果是char *s = "hello"

    1. "hello"位于文字中。
    2. s如果是全局变量则位于Data中,如果是局部变量则位于Stack中。
    3. s只指向文本中的"hello"而我们没有它的副本,因此通过此指针修改字符串的值应该导致"分段错误&#34 ;
    4. 我是对的吗?

2 个答案:

答案 0 :(得分:2)

回答你的第一个问题:

char s[] = "hello";

schar类型的数组。数组是const指针,意味着不能使用指针算法(即s)更改s++。但是,数据不是const,因此您可以更改它 请参阅此示例C代码:

#include <stdio.h>

void reverse(char *p){
    char c;
    char* q = p;
    while (*q) q++; 
    q--; // point to the end
    while (p < q) {
        c = *p;
        *p++ = *q;
        *q-- = c;
    }
}

int main(){
    char s[]  = "DCBA";
    reverse( s);
    printf("%s\n", s); // ABCD
}

反转文字"DCBA"并生成"ABCD"

char *p = "hello"

p是指向char的指针。你可以做指针算术 - p++将编译 - 并将数据放入内存的只读部分(const数据)。
使用p[0]='a';将导致运行时错误:

#include <stdio.h>
int main(){
    char* s  = "DCBA";  
    s[0]='D'; // compile ok but runtime error
    printf("%s\n", s); // ABCD
}  

这是编译,但不是运行。

const char* const s = "DCBA";

使用const char* const,您既不能更改s也不能更改指向的数据内容(即"DCBE")。所以数据和指针是const:

#include <stdio.h>
int main(){
    const char* const s  = "DCBA";  
    s[0]='D'; // compile error
    printf("%s\n", s); // ABCD
}

文本片段通常是存储代码的片段,const;即不可改变的。在嵌入式系统中,这是ROM,PROM或闪存;在台式计算机中,它可以在RAM中。

堆栈是RAM内存,用于函数中的局部变量。

堆是用于全局变量和堆初始化数据的RAM内存。

BSS包含初始化为零或未初始化变量的所有全局变量和静态变量。

有关详细信息,请参阅the relevant Wikipediathis relevant Stack Overflow question

关于s本身:编译器决定放置它的位置(在堆栈空间或CPU寄存器中)。

有关内存保护和访问冲突或分段错误的详细信息,请参阅the relevant Wikipedia page

这是一个非常广泛的主题,最终确切的答案取决于您的硬件和编译器。

答案 1 :(得分:1)

你是对的&#34;你好&#34;第一种情况是 mutable ,第二种情况是 immutable 字符串。并且它们在初始化之前保存在只读存储器中。

在第一种情况下,可变内存不可变字符串 初始化/复制。在第二种情况下,指针引用不可变字符串

对于维基百科的第一个案例,

  

这些变量的值最初存储在   只读内存(通常在.text内)并被复制到   程序启动例程中的.data段。

让我们检查一下segment.c文件。

char*s = "hello"; // string
char sar[] = "hello"; // string array
char content[32];

int main(int argc, char*argv[]) {
        char psar[] = "parhello"; // local/private string array
        char*ps = "phello"; // private string
        content[0] = 1;
        sar[3] = 1; // OK
        // sar++; // not allowed
        // s[2] = 1; // segmentation fault
        s = sar;
        s[2] = 1; // OK
        psar[3] = 1; // OK
        // ps[2] = 1; // segmentation fault
        ps = psar;
        ps[2] = 1; // OK
        return 0;
}

这是为segment.c文件生成的程序集。请注意,ssar都在global又名.data段中。对{em>可变 初始化内存sar const pointer似乎sizeof(sar) = 6或根本没有指针(实际上它是一个数组)。最终它暗示sizeof(s) = 8.rodata不同。有&#34;你好&#34;和&#34; phello&#34;在readonly( .file "segment.c" .globl s .section .rodata .LC0: .string "hello" .data .align 8 .type s, @object .size s, 8 s: .quad .LC0 .globl sar .type sar, @object .size sar, 6 sar: .string "hello" .comm content,32,32 .section .rodata .LC1: .string "phello" .text .globl main .type main, @function main: .LFB0: .cfi_startproc pushq %rbp .cfi_def_cfa_offset 16 .cfi_offset 6, -16 movq %rsp, %rbp .cfi_def_cfa_register 6 subq $64, %rsp movl %edi, -52(%rbp) movq %rsi, -64(%rbp) movq %fs:40, %rax movq %rax, -8(%rbp) xorl %eax, %eax movl $1752326512, -32(%rbp) movl $1869376613, -28(%rbp) movb $0, -24(%rbp) movq $.LC1, -40(%rbp) movb $1, content(%rip) movb $1, sar+3(%rip) movq $sar, s(%rip) movq s(%rip), %rax addq $2, %rax movb $1, (%rax) movb $1, -29(%rbp) leaq -32(%rbp), %rax movq %rax, -40(%rbp) movq -40(%rbp), %rax addq $2, %rax movb $1, (%rax) movl $0, %eax movq -8(%rbp), %rdx xorq %fs:40, %rdx je .L2 call __stack_chk_fail .L2: leave .cfi_def_cfa 7, 8 ret .cfi_endproc .LFE0: .size main, .-main .ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3" .section .note.GNU-stack,"",@progbits )部分,并有效地不可变

39c39
<   movl    $1886153829, -28(%rbp)
---
>   movl    $1869376613, -28(%rbp)

再次对于main中的 local 变量,编译器不打算创建名称。它可以保存在寄存器堆栈内存中。

请注意本地变量值&#34; parhello&#34;优化为1752326512和1869376613数字。我通过改变&#34; parhello&#34;的价值来发现它。 to&#34; parhellp&#34;。程序集输出的差异如下,

psar

因此private String saveToInternalStorage(Bitmap bitmapImage){ ContextWrapper cw = new ContextWrapper(getApplicationContext()); // path to /data/data/yourapp/app_data/imageDir File directory = cw.getDir("imageDir", Context.MODE_PRIVATE); // Create imageDir File mypath=new File(directory,"profile.jpg"); FileOutputStream fos = null; try { fos = new FileOutputStream(mypath); // Use the compress method on the BitMap object to write image to the OutputStream bitmapImage.compress(Bitmap.CompressFormat.PNG, 100, fos); } catch (Exception e) { e.printStackTrace(); } finally { fos.close(); } return directory.getAbsolutePath(); } 没有单独的不可变存储。它在代码段中变为整数。