rzeczywistym realizacja gdzie sizeof (size_t) <sizeof (unsigned int)

Question

wiem, że średnia C pozwala na implementacje gdzie

(sizeof(unsigned) > sizeof(size_t)) 

lub

(sizeof(int) > sizeof(ptrdiff_t)) 

jest prawdą. Ale czy są jakieś prawdziwe implementacje, w których jedna z nich jest prawdziwa?

Tło

napisałem funkcję podobną do asprintf() (od asprintf() nie jest przenośny), a snprintf() zwrócić int ale potrzebuje size_t argumentu, więc należy sprawdzić, czy leni (poniżej) jest nie mniejsza niż SIZE_MAX w tym kodzie?

va_copy(atmp,args) 
int leni = vsnprintf(NULL,0,format,atmp); //get the size of the new string 
va_end(atmp); 
if(leni<0) 
    //do some error handling 
if(leni>=SIZE_MAX) //do i need this part? 
    //error handling 
size_t lens = ((size_t)leni)+1; 
char *newString = malloc(lens); 
if(!newString) 
    //do some error hanling 
vsnprintf(newString,lens,format,args)!=lens-1) 

Answer 1

Podczas gdy średnia nie zabrania że INT_MAX nie będzie mniejsza niż SIZE_MAX The vsnprintf funkcja gwarantuje, że zwrócona wartość nie będzie większa niż SIZE_MAX.

Jeśli funkcje powiedzie się, to wartość zwracana musi być mniejsza niż jej drugi argument . Ten argument ma typ size_t, dlatego zwracana wartość musi być mniejsza niż SIZE_MAX. .

A jeśli nie jesteś przekonany, zawsze możesz użyć dyrektywy preprocesora, która ocenia INT_MAX> SIZE_MAX, a następnie dołączyć potrzebny kod, który sprawdza wynik vsnprintf.

---

Identyfikator n wspomniane w standardowych Odniesienie poniżej, to drugi argument vsnprintf.

(Cytat z: ISO/IEC 9899: 201x 7.21.6.12 Funkcja vsnprintf 3)
Funkcja vsnprintf zwraca liczbę znaków, które zostały napisane miał n dostatecznie duża, nie licząc kończące znak null lub wartość ujemną, jeśli wystąpił błąd kodowania. Tak więc, zakończone znakiem NUL wyjście zostało całkowicie zapisane wtedy i tylko wtedy, gdy zwrócona wartość jest nieujemna i mniejsza niż n.