自制Toy OS中字符串RAM存储与合法实现的技术咨询

首先明确：方式一确实是创建一个指向字符串字面量的指针。下面逐个解答你的问题：

1. 第一种方式中"blah"的存储位置 #

标准C并未规定字符串字面量的具体存储地址，但在绝大多数OS（包括你正在开发的Toy OS）中，这类字符串字面量会被链接器放在只读数据段（通常命名为.rodata）。在运行时，这个段会被加载到RAM的只读区域（如果是带MMU的系统，会设置该区域的只读权限）；如果是无MMU的嵌入式类Toy OS，可能会和代码段一起放在ROM/Flash中，运行时直接映射到可访问的地址空间。具体的地址由你的OS链接脚本（Linker Script）决定，你可以通过修改链接脚本调整该段的位置。

2. 第二种方式是否正确？正确做法是什么？ #

第二种方式完全不正确。直接将指针赋值为随机地址，这个地址要么属于未被OS分配的内存空间（访问会触发页错误、内存异常），要么已被内核或其他程序占用，写入操作会破坏现有数据，导致系统崩溃或不可预料的行为。

正确的做法分两种场景：

• 用户态程序：使用标准库的malloc函数分配堆内存，确保内存合法且可写：

  int main() {
      char* s = malloc(5); // 分配5字节空间（含终止符）
      if (s != NULL) { // 必须检查分配是否成功
          s[0] = 'b';
          s[1] = 'l';
          s[2] = 'a';
          s[3] = 'h';
          s[4] = 0;
      }
      // 使用完记得free(s)释放内存
  }
  

• 内核态（Toy OS内核代码）：由于没有标准库，需要从内核的内存池中申请可用内存（比如实现一个简单的内存分配器），或者预先在链接脚本中预留一段可写的内存区域，再将指针指向该区域：

  // 假设内核有自定义的内存分配函数kernel_alloc
  char* s = kernel_alloc(5);
  if (s != NULL) {
      s[0] = 'b';
      s[1] = 'l';
      s[2] = 'a';
      s[3] = 'h';
      s[4] = 0;
  }
  

另外，如果字符串不需要长期存在，也可以直接在栈上声明数组：

int main() {
    char s[] = "blah"; // 栈上分配5字节可写内存，自动初始化
    // 直接使用s即可，无需手动分配释放
}

3. 两种方式是否属于未定义行为？ #

• 方式一：仅创建指针指向字符串字面量的行为是合法的，不属于未定义行为。但需要注意：字符串字面量在标准C中是只读的，如果你尝试修改s[0] = 'x'这类操作，会触发未定义行为（在带MMU的系统中会触发写保护异常）。因此建议显式声明为const char* s = "blah";，避免误修改。
• 方式二：属于严重的未定义行为。访问未被授权的内存地址，其行为完全不可预测，可能导致系统崩溃、数据损坏等问题，绝对不能这样使用。

内容的提问来源于stack exchange，提问作者user18812922