I am referring to Blob.slice(start, end) that mimics Array.slice. Where in WebIDL has this behavior defined? Sorry I can't find it in the spec.<div><br></div><div>For Array.slice(start, end), both Safari and Chrome treat passing undefined as omitted parameter, while Firefox and IE treat passing undefined as 0. If it is true that passing undefined should be treated as 0, we do not have a bug in JSC and V8 bindings layer. However, we do have a bug in JSC and V8 internals.</div>

<div><br></div><div><br><div class="gmail_quote">On Wed, Apr 20, 2011 at 7:28 PM, Maciej Stachowiak <span dir="ltr"><<a href="mailto:mjs@apple.com">mjs@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div style="word-wrap:break-word"><br><div><div class="im"><div>On Apr 20, 2011, at 6:16 PM, Jian Li wrote:</div><br><blockquote type="cite"><div>Hi,</div><div><div><br></div><div>I've just found a problem in our generated code for handling optional parameters. Suppose we define a method with optional parameter in numeric type, like the following in IDL:</div>



</div><div><div>         Foo bar(in [Optional] long long start, in [Optional] long long end);</div></div><div><div><br></div><div>And we declare our C++ method as the following. Note that the default value of the 2nd parameter is not 0.</div>



<div>         PassRefPtr<Foo> bar(long long start = 0, long long end = std::numeric_limits<long long>::max());</div><div><br></div><div>If we call the JS method with only 1 parameter, everything works as expected. However, if we call the JS method with 2 parameters and pass 'undefined' as the 2nd parameter, we trigger the problem.</div>

</div></blockquote><div><br></div></div><div>Is it actually a bug that explicitly passing undefined acts like passing 0, instead of like an omitted parameter? I think it's correct per Web IDL. What's the specific case where this is a problem?</div>

<div><br></div><div>Regards,</div><div>Maciej</div><br><blockquote type="cite"><div><div></div><div class="h5"><div>

<div><br></div><div>By looking into the generated JSC code below, I found out that we are converting undefined JS value to 0 and pass it to the function. As the result, the default parameter value in the declaration is not respected.</div>



</div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><div>EncodedJSValue JSC_HOST_CALL jsFooPrototypeFunctionFoo(ExecState* exec)</div></div><div><div>{</div></div>

<div><div><br></div></div><div><div>    JSValue thisValue = exec->hostThisValue();</div></div><div><div>    if (!thisValue.inherits(&JSFoo::s_info))</div></div><div><div>        return throwVMTypeError(exec);</div>



</div><div><div>    JSFoo* castedThis = static_cast<JSFoo*>(asObject(thisValue));</div></div><div><div>    Foo* imp = static_cast<Foo*>(castedThis->impl());</div></div><div><div><br></div></div><div><div>    int argsCount = exec->argumentCount();</div>



</div><div><div>    if (argsCount <= 0) {</div></div><div><div>        JSC::JSValue result = toJS(exec, castedThis->globalObject(), WTF::getPtr(imp->bar()));</div></div><div><div>        return JSValue::encode(result);</div>



</div><div><div>    }</div></div><div><div><br></div></div><div><div>    long long start(static_cast<long long>(exec->argument(0).toInteger(exec)));</div></div><div><div>    if (exec->hadException())</div></div>



<div><div>        return JSValue::encode(jsUndefined());</div></div><div><div>    if (argsCount <= 1) {</div></div><div><div>        JSC::JSValue result = toJS(exec, castedThis->globalObject(), WTF::getPtr(imp->bar(start)));</div>



</div><div><div>        return JSValue::encode(result);</div></div><div><div>    }</div></div><div><div><br></div></div><div><div>    long long end(static_cast<long long>(exec->argument(1).toInteger(exec)));</div>



</div><div><div>    if (exec->hadException())</div></div><div><div>        return JSValue::encode(jsUndefined());</div></div><div><div><br></div></div><div><div>    JSC::JSValue result = toJS(exec, castedThis->globalObject(), WTF::getPtr(imp->bar(start, end)));</div>



</div><div><div>    return JSValue::encode(result);</div></div><div><div>}</div></div></blockquote><div><div><br></div><div>One solution is to add the default value support in IDL. For example, we can change the above definition of bar to something like:</div>



</div><div><div><div>         Foo bar(in [Optional, DefaultValue=0] long long start, in [Optional, DefaultValue=2147483647] long long end);</div></div><div><br></div><div>Or the other way is to add a bool parameter for each optional parameter in the class method declaration, that is used to indicate if the passing parameter is defined or not. This would involve the change to both code generator scripts and the existing implementations.</div>



<div><br></div><div>How do you think? Personally I like the 1st approach since it is simpler.</div><div><br></div><div>Thanks,</div><div><br></div><div>Jian</div><div><br></div><div><br></div><div></div></div></div></div>


_______________________________________________<br>webkit-dev mailing list<br><a href="mailto:webkit-dev@lists.webkit.org" target="_blank">webkit-dev@lists.webkit.org</a><br><a href="http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev" target="_blank">http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev</a><br>

</blockquote></div><br></div>
</blockquote></div><br></div>