C++ Syntax: Static Member Functions

Take a look back at our insertHelper() helper function:

// our insert helper function
void IntTree::insertHelper(Node*& tree, int k) {
    if (tree == nullptr) {
        tree = new Node{k}; // Assumes a constructor for Node
    }
    else if (k < tree->key_) {
        insertHelper(tree->left_, k);
    }
    else {
        insertHelper(tree->right_, k);
    }
}

There's something quite interesting about this code…

Normal member functions pass along the this object so that we can access member variables, but this helper function is recursing down through our nodes, and doesn't care at all about the IntTree instance that the subtree belongs to.

If we have a member function that doesn't need a this object, it can be declared static in the class definition. For example,

class IntTree {
 public:
    void insert(int k);
    ...

 private:
    struct Node {
        ...
    };
    Node* root_;

    static void insertHelper(Node*& tree, int k);
};

Note that we only put static when declaring the member function in the class definition. In the implementation, it already knows and we don't need to say static again.

Using a Static Member Function

From outside the class, there's a big difference between how we call a regular member function and how we call a static one. If we have an object myObject that is an instance of class MyClass, we would write

myObject.myMemberFn(foo, bar);      // Call regular member function
MyClass::myStaticMemberFn(xyzzy);   // Call static member function

but for code inside a member function for the class, the calls look the same:

myMemberFn(foo, bar);      // implicitly this->myMemberFn(foo, bar)
myStaticMemberFn(xyzzy);   // implicitly MyClass::myStaticMemberFn(xyzzy);

So our code wouldn't change at all. We just add the word static in the class definition and it's all good.

(When logged in, completion status appears here.)