Czy można całkowicie ignorować argumenty variadyczne dla funkcji C?

Question

jestem posiada funkcję, która z grubsza wygląda tak:

typedef struct SomeType { 
    ... 
} SomeType; 

void TakesArgs(SomeType *t1, ...) { 
    // iterates through arguments 
} 

// usage: 
TakesArgs(&a, &b, &c); 

Czy muszę uruchamiać żadnych dziwnych ryzyka z pamięci (lub w inny sposób), gdybym zmienić TakesArgs do no-op, a jednocześnie pozostawiając wszystko nazywając kod niezmieniony?

void TakesArgs(SomeType *t1, ...) { 
    return; 
} 

// usage unchanged: 
TakesArgs(&a, &b, &c); 

Innymi słowy, omijając va_list/va_start taniec, który został wykonany w oryginalnej implementacji ma żadnych dziwnych efektów ubocznych?

Answer 1

Tak, to jest całkowicie bezpieczne. Nie musisz czytać wszystkich argumentów variadycznych tylko po to, żeby je przeczytać. Nie musisz nawet uruchamiać sekwencji odczytywania argumentów variadic wewnątrz TakesArgs.

Pod maską zwykle oznacza to, że ciężar wykonania wszelkich zadań związanych z utrzymaniem argumentów jest nadawany kodowi wywołującemu (tak, jak działa w tym, co zwykle określa się jako "tradycyjną" konwencję wywołania C). Pośrednik nie musi nic robić.

Answer 2

[edytowane w odpowiedzi na komentarze.]

Istnieją systemy, gdzie domyślnie jest to zadanie wywoływany do pop argumenty. To oczywiście wpędziłoby cię w kłopoty. Ale, że to właśnie z tego powodu, że funkcje zmiennej liczbie argumentów muszą być prawidłowo zadeklarowane i deklaracja musi być prawidłowo widoczne rozmówców. Powodem jest to, że w tych systemach funkcje variadic muszą używać niedomyślnej sekwencji wywołującej, w której wywołujący wyskakuje z argumentów, ponieważ tylko osoba wywołująca może być pewna, ile istnieje. Powinieneś więc być bezpieczny, o ile twoje funkcje są właściwie zadeklarowane.

Answer 3

Uważam, że jest to bezpieczne, chociaż standard nie jest jednoznaczny pod tym względem.

N1570 7,16 pkt 3 mówi:

Jeśli pożądany jest dostęp do różnych argumentów, wywoływana funkcja deklarują obiekt (ogólnie określane jako ap w tym podrozdziale) o typ va_list.

Uwaga początek tego zdania: „Jeśli jest pożądane dostęp do różnych argumentów”. To oznacza, że ​​jeśli dostęp do różnych argumentów nie jest pożądane, nie ma potrzeby, aby zadeklarować va_list obiekt - co uniemożliwiłoby powołać va_start, va_arg lub va_end.

Możliwe kontrargument jest, że opis va_end (N1570 7.16.1.3) mówi:

Jeśli nie ma odpowiedniego wzywanie va_start lub va_copy makro, lub jeśli va_end makro nie jest wywoływana przed powrotem, zachowanie jest unde zdefiniowane.

Jednakże, biorąc pod uwagę kontekst, wierzę, że nie stosuje się, jeżeli va_end wywoływana jest po va_start jest wywoływana.