Que se passe-t-il si j'initialise un tableau à la taille 0 ?

Question

Disons que j'ai une fonction comme :

void myFunc(List<AClass> theList)
{
   string[] stuff = new string[theList.Count];
}

et je passe dans une liste vide.

Le truc sera-t-il un pointeur nul ? Ou sera-t-il un pointeur vers un endroit aléatoire de la mémoire qui n'est pas initialisé ?

Answer 1

Cela créera un objet tableau vide. Il s'agit toujours d'un objet parfaitement valide - et qui occupe une quantité non nulle d'espace en mémoire. Il connaîtra toujours son propre type, et le nombre d'éléments - il n'aura simplement aucun élément.

Les tableaux vides sont souvent utiles en tant que collections vides immuables : vous pouvez les réutiliser à l'infini ; les tableaux sont intrinsèquement mutables mais uniquement en termes de leur éléments ... et ici nous n'avons aucun élément à modifier ! Comme les tableaux ne sont pas redimensionnables, un tableau vide est aussi immuable qu'un objet peut l'être en .NET.

Notez qu'il est souvent utile d'avoir un tableau vide au lieu d'une référence nulle : les méthodes ou les propriétés retournant des collections devraient presque toujours avoir une référence nulle. toujours renvoient une collection vide plutôt qu'une référence nulle, car cela permet d'assurer la cohérence et l'uniformité - plutôt que de rendre les chaque l'appelant vérifie la nullité. Si vous voulez éviter d'allouer plus d'une fois, vous pouvez utiliser :

public static class Arrays<T>
{
    private static readonly T[] empty = new T[0];

    public static readonly T[] Empty { get { return empty; } }
}

Alors vous pouvez simplement utiliser :

return Arrays<string>.Empty;

(ou autre) lorsque vous avez besoin d'utiliser une référence à un tableau vide d'un type particulier.

Answer 2

Pourquoi le devrait-elle ? Il pointera simplement vers un tableau de taille 0, ce qui est parfaitement valide.

Je pense que la confusion provient de l'ambiguïté de représenter l'absence de données soit par un tableau de taille 0, soit par une variable définie comme nulle (la même ambiguïté existe pour les chaînes de caractères avec une chaîne vide ou une référence de chaîne définie comme nulle). Les deux moyens sont valables pour indiquer une telle absence et il serait sans doute plus logique de n'en avoir qu'un seul. Ainsi, sur certaines bases de données (Oracle en particulier), une chaîne vide équivaut à la valeur NULL et vice versa, et certains langages de programmation (je pense que les nouvelles versions de C# en font partie) permettent de spécifier que les références ne sont jamais nulles, ce qui élimine également ladite ambiguïté.

Answer 3

C'est un bon code. Vous obtiendrez un objet Array avec zéro élément (allocations) à l'intérieur.

Answer 4

stuff sera une référence à un tableau de longueur theList.Count avec toutes les entrées initialisées à default(string) qui est null .

Answer 5

Ce qui suit se trouve dans la spécification du langage C# :

• Les valeurs calculées pour les longueurs des dimensions sont validées comme suit comme suit. Si une ou plusieurs de ces valeurs sont inférieures à zéro, une System.OverflowException est déclenchée et aucune autre étape n'est exécutée.
• Une instance de tableau avec les longueurs de dimension données est allouée. Si il n'y a pas assez de mémoire disponible pour allouer la nouvelle instance, un message System.OutOfMemoryException est levée et aucune autre étape n'est exécutée.

Ainsi, pour une longueur de zéro, la mémoire est allouée.