Struct vs строковые литералы? Только чтение или чтение-запись?

Перво-наперво: ваш структурный литерал имеет член-указатель, инициализированный строковым литералом. Члены самой структуры доступны для записи, включая член-указатель. Запрещается только содержимое строкового литерала.

Строковые литералы были частью языка с самого начала, тогда как структурные литералы (официально известные как составные литералы) появились относительно недавно, начиная с C99. К тому времени существовало множество реализаций, которые помещали строковые литералы в постоянную память, особенно во встроенных системах с крошечным объемом оперативной памяти. К тому времени у разработчиков стандарта был выбор: требовать перемещения строковых литералов в доступное для записи место, позволяя структурным литералам быть доступными только для чтения, или оставлять все как есть. Ни одно из трех решений не было идеальным, поэтому похоже, что они пошли по пути наименьшего сопротивления и оставили все как есть.

Допускает ли стандарт C99 запись в составные литералы (структуры)?

Стандарт C99 не запрещает явно запись в объекты данных, инициализированные составными литералами. Это отличается от строковых литералов, модификация которых по стандарту считается неопределенным поведением.

Стандарт по существу определяет одни и те же характеристики для строковых литералов и для составных литералов с типом с указанием const, используемым вне тела функции.

Продолжительность жизни

• # P2 #

  # P3 #

• # P4 #

  # P5 #

Возможно, поделился

• Могут использоваться как строковые литералы, так и составные литералы с указанием const. Вы должны быть готовы к такой возможности, но не должны полагаться на нее.

6.4.5p7 Не указано, являются ли [массивы, созданные для строковых литералов] различными, при условии, что их элементы имеют соответствующие значения.

6.5.2.5p7 Строковые литералы и составные литералы с типами, квалифицируемыми как const, не должны обозначать отдельные объекты.

Изменчивость

• Изменение либо строкового литерала, либо составного литерала с указанием const является неопределенным поведением. В самом деле, попытка изменить любой const-квалифицированный объект является неопределенным поведением, хотя формулировка стандарта, вероятно, может быть несущественной.

6.4.5p7 Если программа пытается изменить [массив, содержащий строковый литерал], поведение не определено.

6.7.3p6 Если предпринята попытка изменить объект, определенный с const-квалифицированным типом, посредством использования lvalue с неконстантным типом, поведение не определено.

• Составной литерал, не квалифицированный как const, можно свободно изменять. У меня нет цитаты по этому поводу, но тот факт, что модификация явно не запрещена, кажется мне окончательным. Нет необходимости явно указывать, что изменяемые объекты могут быть видоизменены.

Тот факт, что время жизни составных литералов внутри тела функций является автоматическим, может привести к небольшим ошибкам:

/* This is fine */
const char* foo(void) {
  return "abcde";
}

/* This is not OK */
const int* oops(void) {
  return (const int[]){1, 2, 3, 4, 5};
;

Допускает ли стандарт C99 запись в составные литералы (структуры)?

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

C99-6.5.2.5:

Если имя типа определяет массив неизвестного размера, размер определяется списком инициализаторов, как указано в 6.7.8, а тип составного литерала соответствует типу завершенного массива. В противном случае (когда имя типа определяет тип объекта) тип составного литерала - это тот, который указан в имени типа. В любом случае результатом будет lvalue.

Это означает, что составные литералы - это lvalue как массивы, а элементы составного литерала могут быть изменены, так же как вы можете изменить тип агрегата. Например

// 1
((int []) {1,2,3})[0] = 100;  // OK

// 2
(char[]){"Hello World"}[0] = 'Y';  // OK. This is not a string literal!

// 3
char* str = (char[]){"Hello World"};
*str = 'Y';  // OK. Writing to a compound literal via pointer. 

// 4
(const float []){1e0, 1e1, 1e2}[0] = 1e7 // ERROR. Read only compound literal 

В вашем коде вы пытаетесь изменить составной литеральный элемент, который указывает на немодифицируемый строковый литерал. Если этот элемент инициализирован составным литералом, его можно изменить.

struct bar *baz = &(struct bar){.a = (char[]){"foo bar"}, .g = 5};

Этот фрагмент теперь будет работать

Segfaults
(baz->a)[0] = 'X';
printf( "%s", baz->a );

Дальнейший стандарт также дает пример в том же разделе, упомянутом выше, и различает строковый литерал, составной литерал и составной литерал только для чтения:

13 ПРИМЕР 5 Следующие три выражения имеют разные значения:

"/tmp/fileXXXXXX"
(char []){"/tmp/fileXXXXXX"}
(const char []){"/tmp/fileXXXXXX"}

Первый всегда имеет статическую продолжительность хранения и имеет массив типа char, но не требует изменения; последние два имеют автоматическую продолжительность хранения, когда они встречаются в теле функции, а первый из этих двух можно изменить.