Michiel Helvensteijn wrote:
Andrei Alexandrescu wrote:The multiplicative expressions are multiplication (\ccbox{a * b}), division (\ccbox{a / b}), and remainder (\ccbox{a \% b}). They operate on numeric types only. The result type of either of these operations is same as the type of \ccbox{true ? a : b} (see~\S~\ref{sec:conditional-operator})."either of" means "one of two" or "both of two". You're talking about three operations, so I'd leave out "either of".
Ok, thanks.
Also, while the (true ? a : b) thing may be true, is this really the clearest way to explain? Perhaps you should define a term to mean "common type of two operands" and use that to explain both typeof(a mulop b) and typeof(true ? a : b).
Turns out that defining the common type is rather involved. So I take time in the section dedicated to ?: and then I refer to it.
... If such a number cannot be found, \ccbox{a \% b} yields the Not A Number (NaN) special value.When is this? If b == 0? If b == NaN? Perhaps it would be better to be precise.
Oh there are quite a few situations, see e.g. http://msdn.microsoft.com/en-us/library/aa244368%28VS.60%29.aspx. I will add a few examples.
Andrei
