Quali contratti imitatrice ha la racchetta oltre a `new-∀/c` e` new-∃/c`?

Question

Racchetta contratti sono classificati in Tre categorie: Contratti piatti, contratti di accompagnatore e contratti di imitatrice.

Per i contratti dell'impersonatore, l'unico esempio che ho trovato sono i contratti per polimorfismo parametrico. Ci sono altri esempi oltre a questi?

Answer 1

Contratti di oggetti e di classe (per esempio, class/c, object/c, ecc.) Sono attualmente tutti contratti in imitatore. Sebbene le versioni di accompagnatore di quelle possano essere offerte alla fine. Al contrario, non è possibile stipulare contratti parametri in contratti di chaperone.

Contratti ricorsivi costruiti con contratto ricorsivo Anche impostazione predefinita ai contratti dell'impersonatore, ma può essere configurato per essere qualsiasi tipo.