Как правильно объявить и заполнить динамический массив указателей на строки?

Question

[polger]

Я пытаюсь динамически заполнить массив строк по указателям.

#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>
#include <unistd.h>
#include <stdint.h>

void foo(char ***arr) {
    *arr = (char **)malloc(sizeof(char *) * 10);

    *arr[0] = (char *)malloc(100);
    *arr[0] = "xxxxxxxxx";
    *arr[1] = (char *)malloc(100);
    *arr[1] = "yyyyyyyyy";
}

int main(int argc, char argv) {
    char **arr = NULL;

    foo(&arr);

    printf("%s\n", arr[0]);
    printf("%s\n", arr[1]);
    
    return 0;
}

Но в строке *arr[1] = (char *)malloc(100); происходит ошибка Segmentation fault. Уже по всякому пробовал. Не могу понять как правильно написать код. В чём ошибка?

Пробовал так без функции

#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>
#include <unistd.h>
#include <stdint.h>

int main(int argc, char argv) {
    char **arr = NULL;

    arr = (char **)malloc(100);
    arr[0] = (char *)malloc(10);
    arr[1] = (char *)malloc(10);

    arr[0] = "xxxxxxxxx";
    arr[1] = "yyyyyyyyy";
    
    printf("%s\n", arr[0]);
    printf("%s\n", arr[1]);
    
    return 0;
}

Всё работает. Хотя если этот код работает, то не факт, что он правильно работает.

Comments

[Василий Дёмин]

Но в строке *arr[1] = (char *)malloc(100); происходит ошибка Segmentation fault

Потому что arr[0] - указатель, *arr[0] - его разыменовывание. Так как вы не про инициализировали массив, в arr[0] лежит мусор. У вас во втором листинге правильный вариант есть arr[0] = (char *)malloc(10);.
Только если строки будут задаваться литералами, можно и не выделать под них память, а писать просто arr[0] = "string"; То как у вас сделано не правильно, если вы хотите литералы в динамической памяти хранить, то правильно будет так сделать:

arr[0] = (char *)malloc(10);
strcpy(arr[0], "string");

[xorknown]

polger, Вы выделяете пространство в 100 байт в котором будут храниться указатели, не строка. Для двух указателей это хватит, но не лучше ли выделять явно по количеству элементов.

[xorknown]

*arr[0] = (char *)malloc(100);

Как думаете, что сначала произойдет, доступ по индексу или разыменование arr?

[polger]

xorknown,

но не лучше ли выделять явно по количеству элементов

Я это понимаю. Код экспериментальный, поэтому взял с запасом по быстрому.

Как думаете, что сначала произойдет, доступ по индексу или разыменование arr?

Я рассчитываю на разыменование )

[xorknown]

polger, Расчет правильный, но к вашему сожалению происходит наоборот. https://en.cppreference.com/w/c/language/operator_...

У оператора [] выше приоритет(1) чем у разыменования(2) и поэтому он отрабатывает раньше, поэтому у вас и ошибка, что вы обращаетесь куда-то не туда в память.

[polger]

xorknown, точно! Вот так всё заработало!(*arr)[0] = (char *)malloc(100);Благодарю.

[polger]

Василий Дёмин, Почему с strcpy правильно, а без него нет? Работает же в обоих случаях.

strcpy(arr[0], "xxxxxxxxx");
    arr[1] = "yyyyyyyyy";

[xorknown]

polger, Во втором случае вы передаете указатель на память которую нельзя менять, а у вас массив указателей не на константу.

Проблемы начнутся когда кто-то захочет писать в ваш масив

arr[0] = (char *)malloc(10);
arr[0] = "xxxxxxxxx";

+ в вашем случае вы сначала выделяете память, malloc возвращает указатель и вы пишете ее в переменную.
А после пишете указатель на "xxx..." туда же. Это уже утечка памяти, и когда вы захотите вызвать free для массива возникнет некий казус.

[xorknown]

polger, "xxxxxxxxx" -> фактически const char*

Answer 1

[Wataru]

Скобки вокруг *arr расставьте. И еще, вы зря делаете malloc() для самих строк - вы потом присваеваете адрес строковой константы. Или делайте strcopy, или не выделяйте память под (*arr)[i].

Comments

[polger]

Кажется понял. Если я с помощью malloc() выделяю память для строки и записываю в это пространство строку с помощью strcpy() то она находится в куче. Так? А если вторым способом, не используя malloc() для строки, где в памяти фактически будет находиться строка? Где нибудь в секции rdata, в самой программе? Строка же известна до компиляции. Это всё справедливо для константной строки.

А как быть со строкой которую программа получает во время выполнения? Например это название какого-то файла который она нашла на диске. Тогда только с помощью динамического выделения памяти?

[Wataru]

polger, Да, строковые константы хранятся скорее всего в rdata. Если у вас есть какая-то строка во время исполнения, то под нее надо выделять память. Ну, или прямо в эту выделенную в (*arr)[i] часть ее создавать. Если строка вводится откуда-то, то вот сюда и записывайте. Если строка приходит из другой части программы, то там под нее должно быть выделенно место (или взят глобальный массив char).

Теоретически, вы можете просто в arr скопировать указатель на ту строку, но это опасно, потому что неясно, где и кто ее удалять будет.