saselang-bible/examples/016-dispatch-override-et-modificateurs-examples.md

Exemples / DO-DON'T — Chapitre 16 — Dispatch, override et modificateurs

Document compagnon. Les exemples illustrent les règles du chapitre ; la formulation normative reste dans le chapitre lui-même.

Exemples extraits du chapitre

Exemple 1

visibility
-> safety
-> linkage / ABI
-> type / dispatch modifiers
-> override
-> access qualifier
-> declaration kind

Exemple 2

Name<...>
-> extends ...
-> implements ...

Exemple 3

public final class User
public open class Service
public abstract class Base
public unsafe extern "C" union NativeValue
protected open method calculate(...)
protected const method inspect(...)
protected override method calculate(...)
protected final override const method inspect(...)

Exemple 4

open method

Exemple 5

abstract method

Exemple 6

override method

Exemple 7

final override method

Exemple 8

const method
    doit être implémentée/overridée par const method

method
    doit être implémentée/overridée par method

DO / DON'T / WHY / compiler error / edge cases

À consolider progressivement avant la baseline publique V3 et à transformer, lorsque pertinent, en tests de conformité de la toolchain.