home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / c / 18658 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  1.3 KB
  1. Path: sparky!uunet!cs.utexas.edu!asuvax!ncar!noao!arizona!optima.UUCP
  2. From: dwebster@optima.UUCP (Dave E. Webster Jr.)
  3. Newsgroups: comp.lang.c
  4. Subject: Re: a ? b : c = d; /* legal ? */
  5. Message-ID: <28578@optima.cs.arizona.edu>
  6. Date: 19 Dec 92 00:36:06 GMT
  7. References: <BzDA4u.459@cdsmn.mn.org>
  8. Sender: news@cs.arizona.edu
  9. Lines: 38
  10.  
  11. Rich Wells asks:
  12.  
  13. > Is the statement:
  14. > 
  15. >     a ? b : c = d;
  16. > 
  17. > where a, b, c, and d are all integers, a valid C expression?
  18.   ...
  19. > ***** Microsoft C (7.0 and 5.1): The statement does not compile.
  20.   ...
  21. > ***** Turbo C++ (3.0): The statement is interpreted as:
  22. > 
  23. >     if (a)
  24. >         a = d;
  25. >     else
  26. >         b = d;
  27.  
  28. Rich,
  29.  
  30. Assuming that the TC++ implementation should actually read as:
  31.  
  32.      if (a) b = d; else c = d;
  33.             ^           ^
  34.  
  35. then both of the above compilers are correct.  The Microsoft compiler
  36. flags an error because the result of the trinary conditional in C is
  37. an rvalue and cannot be the target of an assignment.  C++ changed the
  38. rules by defining the result of a trinary conditional as an lvalue of
  39. type T if (and only if) both the second and third arguments are
  40. themselves lvalues of a common type (cf arm 5.16).
  41.  
  42.   I have not seen this feature used much in C++ but other languages
  43. with similar semantics make great use of this and similar semantics
  44. (eg: Icon).
  45.  
  46. Merry XMAS,
  47.  
  48. Dave
  49.