在C语言中，字符串型常量是由一系列字符组成的常量。字符串常量在C中以双引号（"）括起来，例如：“Hello, World!”。字符串常量在C中是不可变的，也就是说，一旦定义，就不能修改其内容。

在底层，C语言中的字符串常量实际上是以字符数组的形式表示的。字符串中的每个字符都被存储在连续的内存位置上，并以空字符（‘\0’）作为字符串的结尾标志。这个空字符用于表示字符串的结束，所以字符串的长度比实际字符个数多一个。

以下是一个示例，演示了字符串常量的定义和使用：

#include <stdio.h>

int main() {
   const char* str = "Hello, World!";
   printf("String: %s\n", str);
   
   return 0;
}

在上面的示例中，我们定义了一个指向字符的指针str，并将其初始化为字符串常量"Hello, World!"。通过printf函数，我们将字符串打印到控制台。

需要注意的是，在C语言中，字符串常量是以空字符结尾的字符数组，因此字符串的长度应该考虑到空字符的存在。在上面的示例中，字符串"Hello, World!"的长度是13，其中包括12个实际字符和一个空字符。

除了直接使用字符串常量，我们还可以通过字符数组来表示字符串，并对其进行操作和修改。以下是一个示例：

#include <stdio.h>

int main() {
   char str[] = {'H', 'e', 'l', 'l', 'o', '\0'};
   printf("String: %s\n", str);
   
   str[0] = 'B';
   printf("Modified String: %s\n", str);
   
   return 0;
}

在上面的示例中，我们使用字符数组str来表示字符串"Hello"，并将其打印到控制台。然后，我们将第一个字符修改为’B’，并再次打印修改后的字符串。

需要注意的是，字符数组的最后一个元素必须是空字符（‘\0’），以确保字符串正确结束。

---

字符串常量在C语言中非常常见，用于存储和处理文本数据。它们可以用于输出、输入、比较、连接以及其他字符串操作。