Quali situazioni richiedono Throw/Catch in elisir?

Question

Quindi una conversazione sorse per me e alcuni amici attorno a un passaggio in questa documentazione di Elixir page.

Nell'elisir è possibile lanciare un valore e successivamente catturarlo. lanciare e catturare sono riservati per situazioni in cui non è possibile recuperare un valore a meno che non si utilizzi throw and catch.

Tali situazioni sono piuttosto insolite nella pratica tranne quando l'interfaccia si interfaccia con librerie che non forniscono un'API corretta.

Quali situazioni richiederebbe utilizzando try/throw/catch vs. try/rescue? È questo per interfacciare con alcune librerie Erlang esistenti? L'esempio nella pagina mostra il codice Elixir che è quello che trovo un po 'confuso.

Quale sarebbe la "API corretta" che dovrei cercare? Voglio dire questo sarebbe un protocollo?

Answer 1

Considero aumento/salvataggio in modo esplicito sulla gestione delle eccezioni, ovvero una situazione completamente inattesa in cui si desidera avere uno stacktrace e un programmatore che lo guardino. Può accadere a causa di più cose - errore del programmatore, ambiente sbagliato, ecc., Ma l'utente che fornisce dati non validi non è uno di quei casi.

Throw/catch è utile nei luoghi in cui si sono verificati errori, ma si desidera comunque utilizzare il flusso di controllo non locale offerto da raise/rescue. Ciò consente anche di saltare il costo della costruzione di uno stacktrace che a volte è considerevole. Esempi classici sono:

• uscendo da una nidificazione chiamata ricorsiva: https://github.com/devinus/poison/blob/master/lib/poison/parser.ex#L34-L46
• normale gestione degli errori è troppo costoso (può verificarsi in troppi posti): https://github.com/michalmuskala/mongodb_ecto/blob/master/lib/mongo_ecto/objectid.ex#L29-L43
• si dispone di un costrutto non locale (come le transazioni): https://github.com/elixir-lang/ecto/blob/428126157b1970d10f9d5233397f07c35ce69cac/test/support/test_repo.exs#L84-L98

mia regola per la scelta di uno sopra l'altro sarebbe che cattura è essenziale per il corretto funzionamento del programma, mentre di salvataggio dovrebbe essere rimovibile nel caso generale. Ovviamente ci sono delle eccezioni a questa regola, ma penso che sia un'utile distinzione di primo livello.