Имам функция foo(char *n, ...); Трябва да получа и използвам всички незадължителни char параметри. Имах идея да използвам
while(va_arg(argPtr, char) != NULL)
{
...
}
да разбера кога стигна до края на списъка. И така, ще работи ли, ако при извикване на функция ще направя foo(n, 't', 'm', '$', NULL);?
Ще се чете ли NULL като char от va_arg? Или може би има по-разпространен начин за определяне на края на списъка, без добавяне на NULL като последен параметър?
Няма директен начин за функция, която използва va_arg за определяне на броя или типа(овете) на аргументите, предадени от дадено извикване.
Предложеният от вас метод по-специално:
while(va_arg(argPtr, char) != NULL)
е неправилно. va_arg(argPtr, char) дава стойност от тип char, докато NULL е константа с нулев указател. (NULL обикновено се дефинира като 0, което се сравнява с нулевия знак '\0', но не можете да разчитате на това.)
Всяка променлива функция трябва да има начин за извикващия да указва броя и типовете аргументи. Функциите *printf, например, правят това чрез (непроменлив) форматиращ низ. Функциите POSIX execl*() очакват поредица от char* аргументи; краят на списъка с аргументи се маркира от извикващия с (char*)NULL. Възможни са и други методи, но те почти всички зависят от информацията, дадена по време на изпълнение в аргументите. (Вие можете да използвате някакъв друг метод, като например глобална променлива. Моля, недейте.)
Това натоварва извикващия да гарантира, че аргументите, предадени на функцията, са последователни. Самата функция няма начин да потвърди това. Неправилните повиквания, като printf("%d\n", "hello") или execlp("name", "arg1"), имат недефинирано поведение.
Още нещо: не можете да използвате va_arg с аргумент от тип char. Когато извиквате променлива функция, аргументите, съответстващи на , ..., се повишават. Целочислените аргументи от типове, по-тесни от int, се повишават до int или unsigned int, а аргументите от тип float се повишават до double. Ако повикващият предаде аргумент от тип char, функцията трябва да извика va_arg(argPtr, int).
(При много неясни обстоятелства, на които е малко вероятно да попаднете, char може да бъде повишен до unsigned int. Това може да се случи само ако обикновеният char е без знак и sizeof (int) == 1, което означава, че един байт е поне 16 бита.)
foo(...) беше разрешено - преди C89.
- person chux - Reinstate Monica; 21.05.2016
<varargs.h> за извличане на техните аргументи) използват ... синтаксиса.
- person Keith Thompson; 21.05.2016
... или не, може да съм запомнил неправилно - но въпросът е, че нула аргументи са били кодирани в даден момент от предаването като разширение и/или пре -C89. Рядко беше полезно.
- person chux - Reinstate Monica; 21.05.2016
NULL не се ли тълкува изрично като ((void* )0x0). Присвояването му на целочислен тип трябва да доведе до предупреждение.
- person Edenia; 31.03.2019
NULL се разширява до дефинирана от имплементацията константа на нулев указател. Константата с нулев указател се дефинира като израз с целочислена константа със стойност 0 или такъв израз, преобразуван в typevoid *. Така че NULL може да се разшири до всяко от ((void*)0), или 0, или ('-'-'-'), ако внедрителят е в извратено настроение. Дали int n = NULL; ще създаде диагностика зависи от внедряването. (Имайте предвид, че C++ има различни правила.)
- person Keith Thompson; 31.03.2019
Основната идея би проработила. Но вие сте попълнили подробностите по начин, който почти сигурно няма да го направи.
Обичайните неявни правила за преобразуване не се прилагат, когато използвате променливи аргументи. Вместо това се провеждат популяризации на аргументи по подразбиране, което означава, че всеки тип цяло число, по-малък от int/unsigned int, се преобразува в един от тях -- това не е единственото повишение, но единственото подходящо тук -- и което също означава, че няма автоматично преобразуване към какъвто и тип да посочите с va_arg.
Това означава, че:
va_arg(..., char), тъй като е невъзможно да прехвърлите char като аргумент на променлива функция.NULL като променлив аргумент на функцията, тъй като конкретният му тип е силно зависим от изпълнението. Реалистичните типове са int, long, void * и има много други по-малко реалистични, но също толкова валидни типове.Можеш да се промениш
while(va_arg(argPtr, char) != NULL)
to
while(va_arg(argPtr, int) != 0)
и обаждането
foo(n, 't', 'm', '$', NULL);
to
foo(n, 't', 'm', '$', 0);
nе форматиращ низ, тогава обикновено бихте се държали катоprintfи семейство, като съпоставите броя на спецификаторите на формат с броя на параметрите. Сигурни ли сте, че се предава само променлив бройchars? Ако е така, можете да съпоставите-1или0или нещо подобно, но NULL е лоша идея поради причините, посочени от @hvd в неговите коментари по-долу. - person Ryan Haining schedule 21.05.2016charстойности, тогава трябва да използватеsigned char, ако имате работа само със стойности в диапазона [0, 128) (ascii), тогава -1 трябва да е добре. - person Ryan Haining schedule 21.05.2016charаргументи, защо просто не подадете низ? (Има някои случаи, в които това няма да работи, но това е очевидното решение.) - person Keith Thompson schedule 21.05.2016intстойности, тогава трябва да изберете някаква специалнаintстойност като 0 или -1. Ако предавате низове, т.е.char *, тогава трябва да го прекратите с(char *) NULL, както например изискваexecl(). - person Tom Karzes schedule 21.05.2016