// remove the element at index

void GrowableCache::remove (int index) {

  {- -------------------------------------------
  (1) 指定された index の要素を _elements 中から削除する.
      (ついでに, 削除した要素は delete してメモリ上からも開放する)
      ---------------------------------------- -}

      GrowableElement *e = _elements->at(index);
      assert(e != NULL, "e != NULL");
      _elements->remove(e);
      delete e;

  {- -------------------------------------------
  (1) GrowableCache::recache() を呼んで _cache フィールドの値を更新しておく.
      ---------------------------------------- -}

      recache();
    }