Bug 241416

Summary: [meta] IPC encoders could be simplified / sped-up
Product: WebKit Reporter: Jean-Yves Avenard [:jya] <jean-yves.avenard>
Component: WebKit2Assignee: Nobody <webkit-unassigned>
Status: NEW ---    
Severity: Normal CC: cdumez, Hironori.Fujii, kkinnunen, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: Other   
Hardware: Unspecified   
OS: Unspecified   
See Also: https://bugs.webkit.org/show_bug.cgi?id=241407

Description Jean-Yves Avenard [:jya] 2022-06-08 06:48:24 PDT
As seen with bug 241407.

The vast majority of IPC encoders/decoders do the following:

Considering a struct of type T:

```
template<class Encoder> inline void T::encode(T& encoder) const
{
    encoder << param1 << param2 << param3 << param4;
}
```

followed by something like:

```
template<class Decoder> std::optional<T> T::decode(Decoder& decoder)
{
    Param1 param1;
    if (!decoder.decode(param1))
        return { };

    Param1 param2;
    if (!decoder.decode(param2))
        return { };

    Param1 param3;
    if (!decoder.decode(param3))
        return { };

    Param1 param4;
    if (!decoder.decode(param4))
        return { };

    return T { WTFMove(param1), WTFMove(param2), WTFMove(param3), WTFMove(param4) } 
}
```

after every deserialisation a test is performed when it's unlikely to ever be false.

Instead we could do something like:
```
{
    auto param1 = decoder.decode<Param1>();
    auto param2 = decoder.decode<Param2>();
    auto param3 = decoder.decode<Param3>();
    auto param4 = decoder.decode<Param4>();
    if (UNLIKELY(!decoder.isValid()))
        return std::nullopt;

    return T { WTFMove(*param1), WTFMove(*param2), WTFMove(*param3), WTFMove(*param4 };
}
```

it makes the core more readable and allows to only test once for the unlikely case where we have an error.
Comment 1 Radar WebKit Bug Importer 2022-06-08 06:48:44 PDT
<rdar://problem/94629221>