Gestione del comportamento di numeri non finiti

Una classe generica di "Vector" non ha quasi certamente il contesto per gestire tali situazioni e quindi dovrebbe lasciare i dati così come sono. Se per "utente" intendi il programmatore che utilizzerà la classe "Vector", è responsabilità loro occuparsi di tali cose. Se non ti aspetti mai che questi casi si verifichino a causa della natura delle applicazioni che usano questa classe, allora potresti fare in modo che "Vector" segnali un errore, ma io non lo raccomando e non sembra il tuo uso -case comunque. Il massimo che dovresti fare come implementatore della classe "Vector" è cercare di evitare inutilmente di produrre valori non finiti, ad es. (a+b)/2 può essere infinito dove a/2 + b/2 potrebbe non essere. (Ovviamente, potresti anche preoccuparti del underflow.) Tuttavia, potrebbe non valere la complessità e le prestazioni del codice in più per farlo.

Se l'utente finale deve occuparsi di questo dipende da ciò che ti aspetti dall'utente e se un livello intermedio ha il contesto per occuparsene in modo significativo.

Seguirò il "principio del minimo stupore".

Se si crea una classe Vector generica e si vuole mantenerla universalmente, IMHO l'approccio più naturale è quello di rendere il proprio comportamento a overflow o underflow coerenti con il comportamento del tipo di base sottostante. Quindi, se non si ottiene un'eccezione per un overflow utilizzando i doppi a 64 bit nel linguaggio di programmazione scelto, e il risultato è solo un NaN, un vettore basato sul doppio dovrebbe mostrare un comportamento simile. Ciò significa che se un componente del vettore diventa NaN, è probabilmente meglio interpretare l'intero vettore come un "valore che non può essere calcolato con più" (o un "NaV"="Non un vettore", analogamente a "NaN"="Not a Number").

Di conseguenza, si dovrebbe fornire una funzione di convenienza nella classe Vector come IsNaV , che controlla se tutti i componenti sono diversi da NaN, per dare all'utente della classe la possibilità di trattare questo caso più facilmente.