🚀 go-pugleaf

mkt@isun04.inf.uni-jena.de wrote:
> Does the operator ?: an itegral promotion on its
> second and third operand in C++?
> I cannot find the answer in the ARM. (I think it says: no)
> 
> Consider this:
> char x, y;
> Which type has the following expression:
> (a ? x : y)
> 
> In ANSI-C the type is clearly an 'int' (or 'unsigned').
> But the type in C++ is 'char'???
> 
> Even different compilers have different results!
> (Borland 3.1: 'char', SPARCompiler 4.0: 'int')

I think Borland is right.

Working papers (5.16  Conditional operator) says:

2 If the second and the third operands are lvalues  and  have  the  same
  type  (before  any  implicit  conversions), the result is an lvalue of
  that  type. 

Since both second and third operans are lvalues no implicit
conversion will be performed.

Almost the same I found in the ARM (5.16, Russian edition).

--
Alexander N. Krotoff		krotoff@such.srcc.msu.su
Research Computer Center	tel: +7(095)939-2638
Moscow State University		fax: +7(095)939-4430
---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]