type C# valeur avec un nombre dynamique de champs

Question

La meilleure façon d'expliquer mon problème est avec un extrait de code:

enum Resource { ..., Size } 
class ResourceVector 
{ 
    int[] values = new int[(int)Resource.Size]; 

    public static ResourceVector operator + (ResourceVector a, ResourceVector b) 
    {...} 

    ... 
} 

Nous utilisons partout ce type comme si elle était un type de valeur. C'est à dire. nous faisons l'hypothèse que:

ResourceVector b = a; 
b += c; 

n'affectera pas a, parce que c'est la façon dont nous sommes habitués à parler de vecteurs (et c'est ainsi un vecteur avec un nombre fixe de champs ne se comporte, si elles sont appliquées comme struct). Cependant, comme cette hypothèse est fausse, elle a conduit à des bogues extrêmement subtils.

Je me demande s'il y a un moyen de faire ce comporter comme un type de valeur, autre que simplement l'élargissement des membres de Resource chacun dans leurs propres membres dans une struct ResourceVector (qui exige de toucher tous les membres de ResourceVector si nous voulons ajouter un autre Resource).

Oh, juste au cas où, nous travaillons avec C# 2.0. Donc pas de fonctionnalités fantaisies :-)

Merci.

Answer 1

Je pense que vous confondez "type de valeur" avec "type immuable". Vous voulez réellement que votre ResourceVector soit un de type immutable.

Un type immuable est celui qui n'a aucun moyen de changer son contenu. Une fois construite, une instance conserve sa valeur jusqu'à ce qu'elle soit récupérée. Toutes les opérations telles que l'addition renvoient une nouvelle instance contenant le résultat au lieu de modifier une instance existante.

string est la classe immuable la plus connue. Toutes les opérations comme Substring et Replace renvoient une nouvelle chaîne et ne modifient pas les chaînes existantes.

Une fois que votre type est correctement immuable, sémantiquement, peu importe qu'il s'agisse d'un type de valeur ou d'un type de référence, mais cela a de l'importance pour la performance. Si vous passez beaucoup de valeurs, vous devriez probablement en faire un type de référence afin d'éviter de nombreuses copies inutiles.