Можно ли изменить указатели на строки в argv?

Как указано в вопросе OP, в стандарте C11 прямо указано, что переменные argc и argv, а также строки, на которые указывает массив argv, могут быть изменены. Вопрос в том, поддаются ли эти указатели изменению или нет. Стандарт, похоже, не указывает это явно так или иначе.

Следует отметить два ключевых момента, касающихся формулировок в стандарте:

1. Если бы указатели предполагались неизменяемыми, стандарт мог бы прояснить это, потребовав, чтобы main объявлялся как int main(int argc, char *const argv[]), как упоминалось в хаках в другом ответе на этот вопрос.

   Тот факт, что нигде в стандарте const не упоминается в связи с argv, кажется преднамеренным. То есть отсутствие const выглядит не опционально, а продиктовано стандартом.

2. Стандарт последовательно называет argv массивом. Изменение массива относится к изменению его элементов. Таким образом, кажется очевидным, что формулировка в стандарте относится к изменению элементов в массиве argv, когда говорится, что argv можно изменить.

   С другой стороны, массив параметров в языке C (на основе проекта C11 N1570, §6.7.6.3p7) "должен быть изменен на "уточненный указатель на тип"". Таким образом, следующий код,

   int foo(int x[2], int y[2])
   {
       if (x[0] > y[0])
           x = y;
       return x[1];
   }
   

   действителен C11, так как x и y изменены на int *x и int *y соответственно. (Это также повторяется в проекте C11 N1570, §6.3.2.1p3: "... массив... преобразуется в выражение с типом "указатель на тип", который указывает на начальный элемент массива... .".) Очевидно, того же не было бы, если бы x и y были объявлены как локальные или глобальные массивы, а не параметры функции.

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

На практике существует очень давняя традиция изменять указатели в массиве argv. Многие библиотеки имеют функции инициализации, которые принимают указатель на argc и указатель на массив argv, а некоторые из них изменяют указатели в массиве argv (удаляя параметры, характерные для библиотеки); например, GTK+ gtk_init() и MPI_Init() (хотя, по крайней мере, OpenMPI прямо заявляет, что не проверяет или изменить их). Найдите объявление параметра (int *argc, char ***argv); единственная причина для этого - предполагая, что намерение состоит в том, чтобы вызываться из main() с использованием (&argc, &argv) - состоит в том, чтобы изменить указатели, проанализировать и удалить параметры командной строки, специфичные для библиотеки, из параметров командной строки, изменив как argc, так и указатели в argv по мере необходимости.

(Первоначально я заявил, что средство getopt() в POSIX полагается о том, что указатели могут быть изменены — эта функция восходит к 1980 году, принята большинством разновидностей Unix и стандартизирована в POSIX.2 в 1997 году — но это неверно, как указал Джонатан Леффлер в комментарии: POSIX getopt() не изменяет фактические указатели; только GNU getopt() изменяет, и это только тогда, когда переменная окружения POSIXLY_CORRECT не установлена. И GNU getopt_long(), и BSD getopt_long() изменяют указатели, если не установлено POSIXLY_CORRECT, но они намного моложе и менее распространены по сравнению с getopt().)

В мире Unix считалось "переносимым" изменение содержимого строк, на которые указывает массив argv[], и отображение измененных строк в списке процессов. Одним из примеров того, как это было полезно, является пакет DJB daemontools, readproctitle. (Обратите внимание, что строки должны быть изменены на месте и не могут быть расширены, чтобы изменения были видны в списке процессов.)

Все это указывает на очень давнюю традицию, фактически почти с момента рождения С как языка программирования и определенно предшествующую стандартизации С, обработки argc, argv, указателей в массиве argv и содержимого строк, на которые указывает эти указатели, как изменяемые.

Поскольку цель стандарта C состоит не в том, чтобы определить новое поведение, а в том, чтобы систематизировать существующее поведение в различных реализациях (для обеспечения переносимости, надежности и т. д.), можно с уверенностью предположить, что это было непреднамеренным упущением со стороны разработчиков стандарта. явно указать указатели в массиве argv как изменяемые. Все остальное нарушило бы традицию и явно противоречило бы стандарту POSIX (который также предназначен для обеспечения переносимости между системами и расширяет возможности C, не включенные в стандарт ISO C).

Является ли указатель модифицируемым или нет, зависит от постоянства указателя. Параметр argv объявляется как char *argv[] или char **argv. Это зависит от среды, рассматривают ли они это как char *const argv[] или нет (я ничего не знаю).