D Programming Language
Improve this page Quickly fork, edit online, and submit a pull request for this page. Requires a signed-in GitHub account. This works well for small changes. If you'd like to make larger changes you may want to consider using local clone. Page wiki View or edit the community-maintained wiki page associated with this page.

# Associative Arrays

Associative arrays have an index that is not necessarily an integer, and can be sparsely populated. The index for an associative array is called the key, and its type is called the KeyType.

Associative arrays are declared by placing the KeyType within the [ ] of an array declaration:

    int[string] b;    // associative array b of ints that are
                      // indexed by an array of characters.
                      // The $(CODE_HIGHLIGHT KeyType) is string
    b["hello"] = 3;   // set value associated with key "hello" to 3
    func(b["hello"]); // pass 3 as parameter to func()

Note: The built-in associative arrays do not preserve the order of the keys inserted into the array. In particular, in a foreach loop the order in which the elements are iterated is unspecified.

Particular keys in an associative array can be removed with the remove function:

    b.remove("hello");

remove(key) does nothing if the given key does not exist and returns false. If the given key does exist, it removes it from the AA and returns true.

The InExpression yields a pointer to the value if the key is in the associative array, or null if not:

    int* p;
    p = ("hello" in b);
    if (p !is null)
            ...

Neither the KeyTypes nor the element types of an associative array can be functions or voids.

### Using Classes as the KeyType

Classes can be used as the KeyType. For this to work, the class definition must override the following member functions of class Object:

- hash_t toHash()
- bool opEquals(Object)
- int opCmp(Object)

hash_t is an alias to an integral type.

Note that the parameter to opCmp and opEquals is of type Object, not the type of the class in which it is defined.

For example:

    class Foo {
      int a, b;

      hash_t toHash() { return a + b; }

      bool opEquals(Object o)
      { Foo foo = cast(Foo) o;
        return foo && a == foo.a && b == foo.b;
      }

      int opCmp(Object o)
      { Foo foo = cast(Foo) o;
        if (!foo)
          return -1;
        if (a == foo.a)
          return b - foo.b;
        return a - foo.a;
      }
    }

The implementation may use either opEquals or opCmp or both. Care should be taken so that the results of opEquals and opCmp are consistent with each other when the class objects are the same or not.

### Using Structs or Unions as the KeyType

If the KeyType is a struct or union type, a default mechanism is used to compute the hash and comparisons of it based on the binary data within the struct value. A custom mechanism can be used by providing the following functions as struct members:

    const hash_t toHash();
    const bool opEquals(ref const KeyType s);
    const int opCmp(ref const KeyType s);

For example:

    import std.string;

    struct MyString {
      string str;

      const hash_t toHash()
      { hash_t hash;
        foreach (char c; str)
          hash = (hash * 9) + c;
        return hash;
      }

      const bool opEquals(ref const MyString s)
      {
        return std.string.cmp(this.str, s.str) == 0;
      }

      const int opCmp(ref const MyString s)
      {
        return std.string.cmp(this.str, s.str);
      }
    }

The implementation may use either opEquals or opCmp or both. Care should be taken so that the results of opEquals and opCmp are consistent with each other when the struct/union objects are the same or not.

### Construction or assignment on setting AA entries

When an AA indexing access appears on the left side of an assignment operator, it is specially handled for setting AA entry associated with the key.

    string[int] aa;
    string s;
    s = aa[1];          // throws RangeError in runtime
    aa[1] = "hello";    // handled for setting AA entry
    s = aa[1];          // succeeds to lookup
    assert(s == "hello");

If the assigned value type is equivalent with the AA element type:

1. If the indexing key does not yet exist in AA, a new AA entry will be allocated, and it will be initialized with the assigned value.
2. If the indexing key already exists in the AA, the setting runs normal assignment.

    struct S {
      int val;
      void opAssign(S rhs) { this.val = rhs.val * 2; }
    }
    S[int] aa;
    aa[1] = S(10);  // first setting initializes the entry aa[1]
    assert(aa[1].val == 10);
    aa[1] = S(10);  // second setting invokes normal assignment, and
                    // operator-overloading rewrites it to member opAssign function.
    assert(aa[1].val == 20);

Even if the assigned value type is not equivalent with the AA element type, it could invoke operator overloading with normal indexing access.

    struct S {
      int val;
      void opAssign(int v) { this.val = v * 2; }
    }
    S[int] aa;
    aa[1] = 10;     // is rewritten to: aa[1].opAssign(10), and
                    // throws RangeError before opAssign is called

However, if the AA element type is struct and it supports implicit constructor call from the assigned value, the construction is used for the setting AA entry.

    struct S {
      int val;
      this(int v) { this.val = v; }
      void opAssign(int v) { this.val = v * 2; }
    }
    S s = 1;    // OK, rewritten to: S s = S(1);
      s = 1;    // OK, rewritten to: s.opAssign(1);

    S[int] aa;
    aa[1] = 10; // first setting is rewritten to: aa[1] = S(10);
    assert(aa[1].val == 10);
    aa[1] = 10; // second setting is rewritten to: aa[1].opAssign(10);
    assert(aa[1].val == 20);

This is designed for efficient memory reuse with some value-semantics structs, eg. std.bigint.BigInt.

    import std.bigint;
    BigInt[string] aa;
    aa["a"] = 10;   // construct BigInt(10) and move it in AA
    aa["a"] = 20;   // call aa["a"].opAssign(20)

### Runtime Initialization of Immutable AAs

Immutable associative arrays are often desirable, but sometimes initialization must be done at runtime. This can be achieved with a constructor (static constructor depending on scope), a buffer associative array and assumeUnique:

    immutable long[string] aa;

    static this()
    {
        import std.exception : assumeUnique;
        import std.conv : to;

        long[string] temp; // mutable buffer
        foreach(i; 0 .. 10)
        {
            temp[to!string(i)] = i;
        }
        temp.rehash; // for faster lookups

        aa = assumeUnique(temp);
    }

    unittest
    {
        assert(aa["1"] == 1);
        assert(aa["5"] == 5);
        assert(aa["9"] == 9);
    }

### Properties

Properties for associative arrays are:

Associative Array Properties
Property | Description
--- | ---
.sizeof | Returns the size of the reference to the associative array; it is 4 in 32-bit builds and 8 on 64-bit builds.
.length | Returns number of values in the associative array. Unlike for dynamic arrays, it is read-only.
.dup | Create a new associative array of the same size and copy the contents of the associative array into it.
.keys | Returns dynamic array, the elements of which are the keys in the associative array.
.values | Returns dynamic array, the elements of which are the values in the associative array.
.rehash | Reorganizes the associative array in place so that lookups are more efficient. rehash is effective when, for example, the program is done loading up a symbol table and now needs fast lookups in it. Returns a reference to the reorganized array.
.byKey() | Returns a delegate suitable for use as a ForeachAggregate to a ForeachStatement which will iterate over the keys of the associative array.
.byValue() | Returns a delegate suitable for use as a ForeachAggregate to a ForeachStatement which will iterate over the values of the associative array.
.get(Key key, lazy Value defVal) | Looks up key; if it exists returns corresponding value else evaluates and returns defVal.

### Associative Array Example: word count

Let's consider the file is ASCII encoded with LF EOL. In general case we should use dchar c for iteration over code points and functions from std.uni.

    import std.file;         // D file I/O
    import std.stdio;
    import std.ascii;

    void main (string[] args) {
      ulong totalWords, totalLines, totalChars;
      ulong[string] dictionary;

      writeln("   lines   words   bytes file");
      foreach (arg; args[1 .. $]) // for each argument except the first one
      {
        ulong wordCount, lineCount, charCount;

        foreach(line; File(arg).byLine())
        {
          bool inWord;
          size_t wordStart;

          void tryFinishWord(size_t wordEnd)
          {
            if (inWord)
            {
              auto word = line[wordStart .. wordEnd];
              ++dictionary[word.idup];   // increment count for word
              inWord = false;
            }
          }

          foreach (i, char c; line)
          {
            if (std.ascii.isDigit(c))
            { // c is a digit (0..9)
            }
            else if (std.ascii.isAlpha(c))
            { // c is an ASCII letter (A..Z, a..z)
              if (!inWord)
              {
                wordStart = i;
                inWord = true;
                ++wordCount;
              }
            }
            else
              tryFinishWord(i);
            ++charCount;
          }
          tryFinishWord(line.length);
          ++lineCount;
        }

        writefln("%8s%8s%8s %s", lineCount, wordCount, charCount, arg);
        totalWords += wordCount;
        totalLines += lineCount;
        totalChars += charCount;
      }

      if (args.length > 2)
      {
        writefln("-------------------------------------\n%8s%8s%8s total",
                totalLines, totalWords, totalChars);
      }

      writeln("-------------------------------------");
      foreach (word; dictionary.keys.sort)
      {
        writefln("%3s %s", dictionary[word], word);
      }
    }

Forums | Comments | Search | Downloads | Home
Copyright © 1999-2014 by Digital Mars ®, All Rights Reserved | Page generated by Ddoc on Mon Feb 24 05:24:24 2014