Bug 72071 – Add jsCast to replace static_cast

• Component: JavaScriptCore
• Status: RESOLVED FIXED

[Mark Hahnenberg]

We do a lot of downcasts in JSC, especially now that we've done away with virtual methods in favor of static ones that take a generic first argument (e.g. JSCell) and then downcast to type the function expects.  We currently don't do any checking to make sure that the object is indeed of the type expected.  In order to remedy this, we should add a new custom cast that ASSERTs we have the correct object, then performs the cast and returns the result.  jsCast will behave like a static_cast when performance matters and a dynamic_cast using our own custom RTTI in our debug builds.

[Mark Hahnenberg]

Created attachment 114615 [details]
Patch

[Geoffrey Garen]

Comment on attachment 114615 [details]
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=114615&action=review

r=me

> Source/JavaScriptCore/runtime/JSCell.h:333
> +    template <typename To, typename From>

Should be no space before "<". (Think of template arguments just like function arguments.)

> Source/JavaScriptCore/runtime/JSCell.h:336
> +        ASSERT(from->classInfo() == &WTF::RemovePointer<To>::Type::s_info || from->inherits(&WTF::RemovePointer<To>::Type::s_info));

Since you're checking inherits(), I don't think you need to check ==. == is a subset of inherits().

[Gavin Barraclough]

(In reply to comment #0)
> jsCast will behave like a static_cast when performance matters and a dynamic_cast using our own custom RTTI in our debug builds.

Presumably you mean we'll ASSERT in debug builds? - I wouldn't make sense to change behavior in debug/ndebug - that would just mask bugs.

[Mark Hahnenberg]

> Presumably you mean we'll ASSERT in debug builds? - I wouldn't make sense to change behavior in debug/ndebug - that would just mask bugs.

Right.  Since we're using an ASSERT, it will actually perform the check at runtime that the object is of the correct type in debug builds.  Sorry about comparing to dynamic_cast, I just meant that we check dynamically.  It won't return null or any of that stuff.

[Mark Hahnenberg]

Committed r100006: <http://trac.webkit.org/changeset/100006>