Указатели C: функция возвращает указатель, определенный в ее теле

Я изучаю C по книге Программирование на C: современное Подход и у меня есть некоторые сомнения по поводу использования указателей. и ссылка на переменные, выходящие за рамки области видимости. Я собрал три примера, чтобы проиллюстрируйте мои сомнения.

1. Во-первых, у нас есть это:

   char *f() {
       char p[] = "Hi, I'm a string";
       return p;
   }
   

   Насколько я понимаю, этот код проблематичен, поскольку p — это переменная типа массив chars локально для области действия функции f(). Когда я вернусь p, я использую имя массива как указатель на первый элемент, но поскольку переменная является только действителен внутри области функции, когда я возвращаю p, я получаю указатель на недопустимая переменная (висячий указатель?). В результате, если я попытаюсь использовать p вне функции я получаю ошибку сегментации.

   Это верно?

2. Далее у меня есть это:

   char *g() {
       char *p = "Hi, I'm a string";
       return p;
   }
   

   Это очень близко к предыдущему случаю, но вроде все в порядке, я могу получить доступ к строке снаружи функции, и я не получаю предупреждения от компилятора (как это было в предыдущий случай). Я не понимаю, почему это работает, p объявлен как char указатель, поэтому я предполагаю, что при его инициализации он указывает на первый символ в строковый литерал, так же, как и в случае с массивом, это не так или это на самом деле незапятнанное поведение, подходящее в моем конкретном контексте?

3. Наконец, у меня есть это:

   char *h() {
       char *p = malloc(17 * sizeof(char));
       strcpy(p, "Hi, I'm a string");
       return p;
   }
   

   Это как-то отличается от предыдущего примера? Я предполагаю, что это не так, я просто выделение памяти вручную. Кажется, это также позволяет мне получить доступ ко всей строке из вне функции, но у меня те же сомнения, что и в предыдущем примере.

Я протестировал три функции таким образом:

int main(int argc, char *argv[]) {
   // This causes a segmentation fault
   printf("%s\n", f());
   // These two work ok
   printf("%s\n", g());
   printf("%s\n", h());
}

Можете ли вы помочь мне лучше понять, что здесь происходит? Заранее спасибо!