Perché IPAddress.MapToIPv4() genera ArgumentOutOfRangeException?

Question

Questo codice genera un ArgumentOutOfRangeException sull'ultima riga

var initAddress = IPAddress.Parse("1.65.128.190"); 
var ipv6Address = initAddress.MapToIPv6(); 
Assert.IsTrue(ipv6Address.IsIPv4MappedToIPv6); 
var ipv4Address = ipv6Address.MapToIPv4(); 

Qualcuno può spiegare perché MapToIPv6() e MapToIPv4() non sono di andata e ritorno compatibili?

modifica: l'eccezione deriva dal costruttore IPAddress, chiamato da MapToIPv4().

Inoltre, quando la prima linea è

var initAddress = IPAddress.Parse("1.65.128.90"); 

senza eccezioni sono gettati più

EDIT2: come @Luaan riprodotto questo, ho aggiunto il tag [bug-reporting]. Aggiunto anche [bcl]. Vediamo se qualsiasi personale MS tracce questi tag :)

Edit3: riferito a Collegare https://connect.microsoft.com/VisualStudio/feedback/details/871964

Answer 1

Ok, in realtà ho verificato questo, per cui vorrei questo post come una risposta.

La classe IPAddress ha un errore durante la mappatura dell'indirizzo su IPv4.

Secondo il codice di riferimento .NET, lo fa:

long address = 
    (((m_Numbers[6] & 0x0000FF00) >> 8) | ((m_Numbers[6] & 0x000000FF) << 8)) | 
    ((((m_Numbers[7] & 0x0000FF00) >> 8) | ((m_Numbers[7] & 0x000000FF) << 8)) << 16); 

Il problema dovrebbe essere abbastanza evidente a chiunque fare operazioni bit per bit in .NET - i numeri sono tutti int s. Quindi spostando il secondo ushort (m_Numbers[7]) si ottiene un valore negativo, poiché il bit più significativo è 1. Ciò significa che tutti gli indirizzi IPv4 che terminano con un byte superiore a 127 causeranno un errore durante il mapping da IPv6.

La semplice soluzione sarebbe questo:

long address = 
(((m_Numbers[6] & 0x0000FF00) >> 8) | ((m_Numbers[6] & 0x000000FF) << 8)) 
| 
(
    (uint)(((m_Numbers[7] & 0x0000FF00) >> 8) | ((m_Numbers[7] & 0x000000FF) << 8)) 
    << 16 
); 

Proprio lanciando il int a un uint prima di fare il Bitshift fa il trucco.

Le operazioni bit a bit possono essere piuttosto complicate quando si utilizzano tipi firmati. Immagino che il codice sia stato copiato da una libreria C++ o qualcosa del genere, dove questo problema non si sarebbe manifestato.