Czy jest to zły styl lub nieprawidłowy dostęp do makra va_arg przez odniesienie?

Question

mam wiersza kodu, gdzie jest to całkiem przydatne:

void *test; 
/*...*/ 
test = &va_arg(arg_list, int); 

Chciałam tylko to, co myślałem, że jest to makro, a nie funkcja, więc to może działać. Naprawdę nie spodziewałem się, że zadziała, ale robi dokładnie to, co chcę.

Ale teraz nie jestem pewien co do życia adresu i innych zagrożeń, które mogą wystąpić w tym stylu.

Czy ktoś może mi powiedzieć, dlaczego przy użyciu odniesienie wartości, va_arg jest w ten sposób jest bezpieczny/niebezpieczny?

średnia

Answer 1

C99 sekcja 7.15.1.1 (kopalnia nacisk)

va_arg makro rozwija się do ekspresji, który ma określony typu oraz wartość następnego argumentu w połączeniu.

Oznacza to, że va_arg niekoniecznie oznacza l-wartość; wzięcie adresu tego, co się rozszerza, jest niebezpieczne: wartość l może być użyta jako wyrażenie, ale nie każde wyrażenie jest lwartością. Rozważ wyrażenie: 3+4. Nie ma sensu przyjmowanie adresu tego.

Więc nie, nie należy to zrobić.

AKTUALIZACJA: Jak wskazano w komentarzach, podanie adresu wyrażenia, które nie jest lwartością, spowoduje błąd kompilacji. Tak więc, jeśli kod się kompiluje, powinien być bezpieczny. Kwestie unportability wynikają z faktu, że nie można skompilować na innych platformach gdzie va_arg() rozszerza się do czegoś, co nie jest lwartością.