Design Patterns

This page covers suggested design patterns and also anti-patterns.

[!note] When adding a design pattern to this document, be sure to clearly state the problem it solves. When adding a design anti-pattern, clearly state the problem it prevents.

Patterns

The following design patterns are suggested approaches for solving common problems. Use discretion when evaluating if a certain pattern makes sense in your situation. Just because it is a pattern, doesn't mean it is a good one for your problem.

Anti-patterns

Anti-patterns may seem like good approaches at first, but it has been shown that they bring more ills than benefits. These should generally be avoided.

Throughout the GitLab codebase, there may be historic uses of these anti-patterns. Use discretion when figuring out whether or not to refactor, when touching code that uses one of these legacy patterns.

[!note] For new features, anti-patterns are not necessarily prohibited, but it is strongly suggested to find another approach.

Shared Global Object

A shared global object is an instance of something that can be accessed from anywhere and therefore has no clear owner.

Here's an example of this pattern applied to a Vuex Store:

const createStore = () => new Vuex.Store({
  actions,
  state,
  mutations
});

// Notice that we are forcing all references to this module to use the same single instance of the store.
// We are also creating the store at import-time and there is nothing which can automatically dispose of it.
//
// As an alternative, we should export the `createStore` and let the client manage the
// lifecycle and instance of the store.
export default createStore();

What problems do Shared Global Objects cause?

Shared Global Objects are convenient because they can be accessed from anywhere. However, the convenience does not always outweigh their heavy cost:

• No ownership. There is no clear owner to these objects and therefore they assume a non-deterministic and permanent lifecycle. This can be especially problematic for tests.
• No access control. When Shared Global Objects manage some state, this can create some very buggy and difficult coupling situations because there is no access control to this object.
• Possible circular references. Shared Global Objects can also create some circular referencing situations since submodules of the Shared Global Object can reference modules that reference itself (see this MR for an example).

Here are some historic examples where this pattern was identified to be problematic:

• Reference to global Vuex store in IDE
• Docs update to discourage singleton Vuex store

When could the Shared Global Object pattern be actually appropriate?

Shared Global Object's solve the problem of making something globally accessible. This pattern could be appropriate:

• When a responsibility is truly global and should be referenced across the application (for example, an application-wide Event Bus).

Even in these scenarios, consider avoiding the Shared Global Object pattern because the side-effects can be notoriously difficult to reason with.

References

For more information, see Global Variables Are Bad on the C2 wiki.

Singleton

The classic Singleton pattern is an approach to ensure that only one instance of a thing exists.

Here's an example of this pattern:

class MyThing {
  constructor() {
    // ...
  }

  // ...
}

MyThing.instance = null;

export const getThingInstance = () => {
  if (MyThing.instance) {
    return MyThing.instance;
  }

  const instance = new MyThing();
  MyThing.instance = instance;
  return instance;
};

What problems do Singletons cause?

It is a big assumption that only one instance of a thing should exist. More often than not, a Singleton is misused and causes very tight coupling amongst itself and the modules that reference it.

Here are some historic examples where this pattern was identified to be problematic:

• Test issues caused by singleton class in IDE
• Implicit Singleton created by module's shared variables
• Complexity caused by Singletons

Here are some ills that Singletons often produce:

1. Non-deterministic tests. Singletons encourage non-deterministic tests because the single instance is shared across individual tests, often causing the state of one test to bleed into another.
2. High coupling. Under the hood, clients of a singleton class all share a single specific instance of an object, which means this pattern inherits all the problems of Shared Global Object such as no clear ownership and no access control. These leads to high coupling situations that can be buggy and difficult to untangle.
3. Infectious. Singletons are infectious, especially when they manage state. Consider the component RepoEditor used in the Web IDE. This component interfaces with a Singleton Editor which manages some state for working with Monaco. Because of the Singleton nature of the Editor class, the component RepoEditor is now forced to be a Singleton as well. Multiple instances of this component would cause production issues because no one truly owns the instance of Editor.

Why is the Singleton pattern popular in other languages like Java?

This is because of the limitations of languages like Java where everything has to be wrapped in a class. In JavaScript we have things like object and function literals where we can solve many problems with a module that exports utility functions.

When could the Singleton pattern be actually appropriate?

Singletons solve the problem of enforcing there to be only 1 instance of a thing. It's possible that a Singleton could be appropriate in the following rare cases:

• We need to manage some resource that MUST have just 1 instance (that is, some hardware restriction).
• There is a real cross-cutting concern (for example, logging) and a Singleton provides the simplest API.

Even in these scenarios, consider avoiding the Singleton pattern.

What alternatives are there to the Singleton pattern?

Utility Functions

When no state needs to be managed, we can export utility functions from a module without messing with any class instantiation.

// bad - Singleton
export class ThingUtils {
  static create() {
    if(this.instance) {
      return this.instance;
    }

    this.instance = new ThingUtils();
    return this.instance;
  }

  bar() { /* ... */ }

  fuzzify(id) { /* ... */ }
}

// good - Utility functions
export const bar = () => { /* ... */ };

export const fuzzify = (id) => { /* ... */ };

Dependency Injection

Dependency Injection is an approach which breaks coupling by declaring a module's dependencies to be injected from outside the module (for example, through constructor parameters, a bona-fide Dependency Injection framework, and even in Vue provide/inject).

// bad - Vue component coupled to Singleton
export default {
  created() {
    this.mediator = MyFooMediator.getInstance();
  },
};

// good - Vue component declares dependency
export default {
  inject: ['mediator']
};

// bad - We're not sure where the singleton is in it's lifecycle so we init it here.
export class Foo {
  constructor() {
    Bar.getInstance().init();
  }

  stuff() {
    return Bar.getInstance().doStuff();
  }
}

// good - Lets receive this dependency as a constructor argument.
// It's also not our responsibility to manage the lifecycle.
export class Foo {
  constructor(bar) {
    this.bar = bar;
  }

  stuff() {
    return this.bar.doStuff();
  }
}

In this example, the lifecycle and implementation details of mediator are all managed outside the component (most likely the page entrypoint).