跳至主要内容

Patterns Learned Fom `Iterator`

Pattern one:

When it comes to iterators, we can easily come up with that its use in abstracting the container and simplify the iteration operation like following example shows:
Iterator it = container.iterator()
while (it.hasNext()) {
    a = it.next();
    // do something
}
No matter which kind of container you are using (the container has to be iterable and as far as I know, the commonly-used container are all iterable.), you can re-use this piece of code without any change. And this may be extract as a method, like following:
public void doIterate(Iterator it) {
    while (it.hasNext()) {
        a = it.next();
        // do something
    }
}
You can even make it more general with another parameter:
public void doIterate(Iterator it, Function f) {
    while (it.hasNext()) {
        a = it.next();
        f(a);
    }
}
This kind of design pattern can isolate the module of handling elements in container, which may change a lot in the process of a project, from other business logic. So in this sense, it’s a really a time-saver pattern.

More about this pattern:

And there are some other operations  -- Aggregate operations -- which has the same functionality (isolation from other business logic). Here is some introduction about its support in Java and differences between iterators.

Pattern two:

Is that over? No, there is some lessons behind iterators that we normally not notice it.
Suppose we are implementing some container:
public class xxTree {
    Node root;
    // ...
    void addXXX(T t) {
    }
    T getXXX() {
    }
    // ...
}
And qw want to provide the interface related with iteration to make your container more powerful and easier to use.
So you may add a interface like the following:
    /**
    * return the next element in the tree
    */
    E getNext(){
    }

    /**
    * return whether there is next element in the tree
    */
    boolean hasNext() {
    }   
It seems fine to finish this job like this. But suppose you add some elements in it, begin iterating the tree then you add more elements to it. Because the structure of tree (you can take binary search tree as an example), you may have already iterate over the newly-added elements’ positions. In order to get those elements iterated, you have to re-initialize the state of internal position of something like root pointer.
So you may add one more method to do this:
    /**
    * re-initialize the state of iteration
    */
    void restart() {
    }
We almost finish the job. Again, Suppose we publish our code and some one want to use our code. But the problem is that he has to remember invoke restart() every time he want to re-iterate the tree. This bad design might always cause a bug if anyone accidentally forget to restart() before getNext().
The core of this problem is the order of those functions is so essential that it has to be that fixed order, otherwise, it may cause bug/exception/error. And we can’t depend on the user of our code to always remember that order so we have to fix it by some pattern.
To make sure already ‘restarted’ before getNext() and hasNext()? Right! Make getNext() and hasNext() to be the method of iterator rather than the container. Every time you want to iterate, you have to apply for a new iterator to iterate like following:
Iterator getIterator() {
    return new Iterator() {
        hasNext() {
            // ...
        }
        getNext() {
            // ...
        }
    };
}
But to notice that, most implementation of iterator just be the something like pointer and may be invalid after you modify the content of container. (here is an example in Java). Of course, in java modify it by iterator’s remove() is valid if it is supported.

More:

Here is a SO question about a design problem which have the same core with iterator problem.
Written with StackEdit.

评论

此博客中的热门博文

Spring Boot: Customize Environment

Spring Boot: Customize Environment Environment variable is a very commonly used feature in daily programming: used in init script used in startup configuration used by logging etc In Spring Boot, all environment variables are a part of properties in Spring context and managed by Environment abstraction. Because Spring Boot can handle the parse of configuration files, when we want to implement a project which uses yml file as a separate config file, we choose the Spring Boot. The following is the problems we met when we implementing the parse of yml file and it is recorded for future reader. Bind to Class Property values can be injected directly into your beans using the @Value annotation, accessed via Spring’s Environment abstraction or bound to structured objects via @ConfigurationProperties. As the document says, there exists three ways to access properties in *.properties or *.yml : @Value : access single value Environment : can access multi

Elasticsearch: Join and SubQuery

Elasticsearch: Join and SubQuery Tony was bothered by the recent change of search engine requirement: they want the functionality of SQL-like join in Elasticsearch! “They are crazy! How can they think like that. Didn’t they understand that Elasticsearch is kind-of NoSQL 1 in which every index should be independent and self-contained? In this way, every index can work independently and scale as they like without considering other indexes, so the performance can boost. Following this design principle, Elasticsearch has little related supports.” Tony thought, after listening their requirements. Leader notice tony’s unwillingness and said, “Maybe it is hard to do, but the requirement is reasonable. We need to search person by his friends, didn’t we? What’s more, the harder to implement, the more you can learn from it, right?” Tony thought leader’s word does make sense so he set out to do the related implementations Application-Side Join “The first implementation

Implement isdigit

It is seems very easy to implement c library function isdigit , but for a library code, performance is very important. So we will try to implement it and make it faster. Function So, first we make it right. int isdigit ( char c) { return c >= '0' && c <= '9' ; } Improvements One – Macro When it comes to performance for c code, macro can always be tried. #define isdigit (c) c >= '0' && c <= '9' Two – Table Upper version use two comparison and one logical operation, but we can do better with more space: # define isdigit(c) table[c] This works and faster, but somewhat wasteful. We need only one bit to represent true or false, but we use a int. So what to do? There are many similar functions like isalpha(), isupper ... in c header file, so we can combine them into one int and get result by table[c]&SOME_BIT , which is what source do. Source code of ctype.h : # define _ISbit(bit) (1 << (