home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / c / 16987 < prev    next >
Encoding:
Text File  |  1992-11-22  |  2.7 KB  |  55 lines
  1. Newsgroups: comp.lang.c
  2. Path: sparky!uunet!uunet.ca!wildcan!sq!msb
  3. From: msb@sq.sq.com (Mark Brader)
  4. Subject: struct hack (was: Is this ANSI?)
  5. Message-ID: <1992Nov22.134020.16968@sq.sq.com>
  6. Organization: SoftQuad Inc., Toronto, Canada
  7. References: <24238@alice.att.com> <By0vu2.7AF@unx.sas.com> <24262@alice.att.com>
  8. Date: Sun, 22 Nov 92 13:40:20 GMT
  9. Lines: 44
  10.  
  11. > >     struct FM { short data_len; char data[1]; } *fmptr;
  12. > >     fmptr = malloc( sizeof(struct FM) + ??? );
  13. > > 
  14. > > where the ??? is the number of bytes of your data minus 1.  Some may
  15. > > regard this as "impure", but it is not forbidden by the standard and
  16. > > is eminently portable.
  17. > 
  18. > Oh, really?  Can you give me concrete evidence that the C standard allows
  19. > it?  More specifically, after executing the code above, can you give me
  20. > evidence that referrint to fmptr->data[i] is allowed when i>1?
  21.  
  22. I'll be very brief here, because we *just* went through this in
  23. *excruciating detail* in comp.std.c, and my typing fingers are
  24. still a bit raw. :-)  I think most people would be either (a)
  25. reading that newsgroup and have been following the discussion
  26. there, or (b) willing to accept the comp.lang.c FAQ list's correct
  27. statement that "the ANSI standard allows it only implicitly", or
  28. (c) willing to take disputes about the FAQ list to *email*.
  29.  
  30. [1] 4.10.3 and 4.10.3.3 require malloc(), if successful, to return an
  31.     object which may be addressed as an array of any type of object.
  32. [2] 3.3.2.1 makes fmptr->data[i] equivalent to *(fmptr->data + i).
  33. [3] 3.1.2.5 says that a pointer contains a reference to an object and
  34.     says nothing to allow it to possibly containing other information.
  35.     Therefore fmptr->data is equivalent to p+offsetof(struct FM,data)
  36.     where p is the pointer returned by malloc() converted to char *.
  37. [4] 3.3.6 allows an offset to be added to a pointer provided that
  38.     both the original pointer value [here fmptr->data or p+offsetof
  39.     (struct FM,data)] and the result [these expressions plus ???]
  40.     are within the same array object.  In this case, if the result
  41.     is within the array object returned by malloc(), they are within
  42.     the same array object, so the bounds on "data" are irrelevant.
  43.  
  44. This is different from the case of "int x[5][5]; int i = x[1][7];"
  45. which has been correctly determined in an Interpretation Ruling to
  46. not be allowed under 3.3.6; there is nothing in the standard to allow
  47. this indexing, even though the 25 ints making up "x" are required to
  48. all be adjacent.
  49. -- 
  50. Mark Brader          "Should array indices start at 0 or 1?  My ecumenical
  51. SoftQuad Inc., Toronto       compromise of 0.5 was rejected without, I thought,
  52. utzoo!sq!msb, msb@sq.com   proper consideration."  -- Stan Kelly-Bootle
  53.  
  54. This article is in the public domain.
  55.