Las estructuras mutables son una mala idea, como dijo InBetween
en esta entrada de SO.
Las estructuras mutables son fuente de todo tipo de dolores de cabeza, comportamientos inesperados y errores sutiles que pueden volverte loco.
Si deseas crear un tipo de dato mutable (manipulable) deberías optar por un tipo de referencia (class
) en su lugar.
Ahora bien, tu problema se debe a que T
es un tipo genérico, que dicho de forma simplificada, es un tipo del que el compilador no sabe si será un tipo de referencia (clase) o un tipo de valor (estructura). Básicamente puede ser cualquier cosa.
Para entender mejor esto, propondré dos casos de ejemplo:
A) Operador de igualdad aplicado a tipos de referencia
Cuando aplicas el operador de igualdad ==
a dos tipos de referencia, tal que:
public class MyClass
{}
MyClass mc1 = new MyClass();
MyClass mc2 = new MyClass();
Console.WriteLine(mc1 == mc2);
Console.WriteLine(mc2 == mc1);
Console.WriteLine(mc1 == mc1);
Console.WriteLine(mc2 == mc2);
Obtendrás los siguientes resultados:
Console.WriteLine(mc1 == mc2); // Esto es Falso
Console.WriteLine(mc2 == mc1); // Esto es Falso
Console.WriteLine(mc1 == mc1); // Esto es Verdadero
Console.WriteLine(mc2 == mc2); // Esto es Verdadero
Esto se debe a que, en este caso, el compilador entiende que se trata de tipos de referencia, los cuales de por sí admiten el operador de igualdad ==
que compara su referencia, es decir, compara la dirección en memoria que apunta a cada objeto. Cuando creas un nuevo objeto (new MyClass()
), a su vez, creas una nueva referencia, por lo cual, las referencias que se almacenan en mc1
y mc2
son diferentes entre sí, pues cada una es un objeto distinto (aunque tengan el mismo nombre de tipo).
B) Operador de igualdad aplicado a tipos de valor
Cuando aplicas el operador de igualdad ==
a dos tipos de valor, tal que:
public struct MyStruct
{}
MyStruct ms1 = new MyStruct();
MyStruct ms2 = new MyStruct();
Console.WriteLine(ms1 == ms2);
Console.WriteLine(ms2 == ms1);
Console.WriteLine(ms1 == ms1);
Console.WriteLine(ms2 == ms2);
Obtendrás los siguientes resultados:
Console.WriteLine(ms1 == ms2); // Error: El operador == no se puede aplicar a MyStruct
Console.WriteLine(ms2 == ms1); // Error: El operador == no se puede aplicar a MyStruct
Console.WriteLine(ms1 == ms1); // Error: El operador == no se puede aplicar a MyStruct
Console.WriteLine(ms2 == ms2); // Error: El operador == no se puede aplicar a MyStruct
Esto se debe a que los tipos de valor no pueden compararse por referencia, que es lo que el compilador entiende que intentas hacer cuando aplicas el operador ==
, comparar dos tipos de valor por referencia, lo cual, claramente es imposible. Las estructuras no presentan una definición para el operador de igualdad.
Entendido lo anterior, ya conoces la causa de tu problema: intentas aplicar un operador de igualdad ==
a un tipo que posiblemente no lo admita.
Existen algunas alternativas a ==
para estos casos:
-- System.Object.Equals()
public bool IsEmpty
{
get
{
if (m_value == null)
{
return true;
}
return m_value.Equals(default(T));
}
}
(Acá se puede comparar el tipo genérico con null
, más no con default
porque un genérico puede ser un tipo de referencia anulable, pero si no (si es un tipo de valor), se desconoce la forma de compararlo).
-- System.Collections.Generic.EqualityComparer<T>
public bool IsEmpty
{
get => System.Collections.Generic.EqualityComparer<T>.Default.Equals(m_value, default);
}
(Acá la validación de valores null
la hace el EqualityComparer<>
. Esta es mi opción predilecta para estos casos).
-- where (restricción de tipo genérico)
public struct Data<T> where T : class
{
...
public bool IsEmpty
{
get => m_value == null;
}
}
(Es una opción, puedes limitar (cuando aplique) tu tipo genérico para que solo admita tipos de referencia, y con esto, puedes usar el operador de igualdad ==
porque el compilador ya sabe el tipo que va a tratar y sabe que puede ser comparado por referencia).
Edito: Gracias a @Mateo por sugerir el uso de Nullable<T>
. Esto es Tipos de valor que admiten valores NULL y no se debe confundir con Tipos de referencia que aceptan valores NULL.
-- Nullable<T>
public struct Data<T?>
{
T? m_value;
...
public bool IsEmpty
{
get => ! m_value.HasValue; // O m_value == null
}
}
(Acá, el tipo de T
es Nullable<T>
, lo que significa que siempre acepta valores NULL
y, en caso de presentar este valor (o la propiedad booleana HasValue
de Nullable<T>
en false
) significa que m_value
está vacía)
Adjunto además esta entrada de SO que presenta algunas soluciones adicionales para este caso.