[boost] Re: is_convertible corner case

From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2003-01-27 12:40:02

On Mon, 27 Jan 2003 13:25:52 +0200, "Peter Dimov" <pdimov_at_[hidden]>
wrote:

>However, there is a difference. Whether p->f() invokes undefined behavior is
>determined by the value of p (i.e., at runtime.) Whether passing x to an
>ellipsis invokes undefined behavior is determined by the type of x (i.e. at
>compile time.)

Right. But whether passing happens or not depends on what you mean by
"passing". If the meaning is just that you wrote a function call
expression where the argument x corresponds to the ellipsis, then yes

   if (...)
       f(x);

you have passed x here, whatever the if condition is. Otherwise you've
passed *nothing*, until (and if) the call is executed.

Genny.