Может ли argv [0] содержать пустую строку?

Его реализация определена. §5.1.2.2.1 сокращенный:

• Если значение argc больше нуля, элементы массива с argv[0] по argv[argc-1] включительно должны содержать указатели на строки, которым перед запуском программы передаются значения, определяемые реализацией. Цель состоит в том, чтобы предоставить программе информацию, определенную до ее запуска, из другого места в размещенной среде. [...]

• Если значение argc больше нуля, строка, на которую указывает argv[0], представляет имя программы; argv[0][0] должен быть нулевым символом, если имя программы недоступно в среде хоста. [...]

Итак, если argc больше нуля, вполне намерением, что argv[0] никогда не будет пустой строкой, но это может случиться. (Обратите внимание, что с argc равным n, argv[0] по argv[n - 1] никогда не равны нулю и всегда указывают на строку. Однако сама строка может быть пустой. Если n равно нулю, argv[0] равно нулю.)

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

да.

Стандарт языка C явно допускает возможность того, что argv[0] может быть нулевым указателем, или, что он может указывать на пустую строку (""). N1256 5.1.2.2.1p2:

Значение argc должно быть неотрицательным.

argv [argc] должен быть нулевым указателем.

[...]

Если значение argc больше нуля, строка, на которую указывает argv [0], представляет имя программы; argv [0] [0] должен быть нулевым символом, если имя программы недоступно из среды хоста. Если значение argc больше единицы, строки, на которые указывает argv [1] по argv [argc-1], представляют < em> параметры программы.

В Unix-подобных системах программы вызываются одной из exec() семейства функций (execl(), execlp() и т. Д.), Что позволяет вызывающей стороне точно указать, какие аргументы передаются функции main(). (Можно даже вызвать программу способами, которые нарушают требования, налагаемые стандартом C.)

Обратите внимание, что в стандарте сказано, что argv[0] (при условии, что он не пустой и не пустой) «представляет имя программы». Стандарт намеренно расплывчато описывает, как он представляет имя программы. В частности, ему не нужно указывать имя, по которому программа может быть вызвана (поскольку стандарт даже не требует, чтобы программы могли быть вызваны по имени).

В других ответах цитируется стандарт C и показано, что argv[0] и может быть NULL или это может быть пустая строка (""). Вы должны писать свою программу с предположением, что это может произойти, потому что в противном случае вы создаете (небольшой) риск безопасности. Вызвать вашу программу и установить argv на все, что захочет злоумышленник, легко. В качестве доказательства рассмотрим следующие две программы. Первый, echoargv.c, распечатывает содержимое argv:

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
    int i;
    for (i = 0; i < argc; ++i)
        printf("argv[%d] = \"%s\"\n", i, argv[i]);
    exit(0);
}

Второй, argv0, вызывает любую другую программу и позволяет пользователю указать argv другой программы:

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, char **argv) {
    (void) execv(argv[1], argv+2);
    perror("execv");
    exit(1);
}

(Это версия для Posix. Нестандартные среды могут потребовать изменений.)

Вот как их использовать:

$ gcc -o echoargv echoargv.c 
$ gcc -o argv0 argv0.c 
$ ./argv0 ./echoargv 
$ ./argv0 ./echoargv ''
argv[0] = ""
$ ./argv0 ./echoargv 'this is fun' 'it is fun indeed'
argv[0] = "this is fun"
argv[1] = "it is fun indeed"
$ 

Первый запуск argv0 устанавливает argv[0] echoargv равным NULL. Второй прогон делает это пустой строкой. Третий запуск делается просто для развлечения: обратите внимание, что argv[0] не обязательно иметь какое-либо отношение к фактическому имени программы.

Как это может тебя укусить? Если, например, вы вслепую распечатываете имя своей программы в сообщении об использовании:

printf("usage: %s [options] [FILE]...\n", argv[0]);

Лучше:

const char *program_name = "some default name"; /* (global) variable */
if (argv[0] && argv[0][0])
    program_name = argv[0];
printf("usage: %s [options] [FILE]...\n", program_name);

Если вы этого не сделаете, злоумышленник может вызвать отказ вашей программы по своему желанию или может заставить вашу программу сообщать пользователю о совершенно неправильных вещах.

argv [0] может иметь значение NULL в C, например, если вы напрямую вызываете основную функцию (некоторые трюки могут быть выполнены в C). Я не знаю, допускает ли C ++ прямой основной вызов.