Question

I’ve read through previous topics on closures on stackflow and other sources and one thing is still confusing me. From what I’ve been able to piece together technically a closure is simply the set of data containing the code of a function and the value of bound variables in that function.

In other words technically the following C function should be a closure from my understanding:

int count()
{
    static int x = 0;

    return x++;
}

Yet everything I read seems to imply closures must somehow involve passing functions as first class objects. In addition it usually seems to be implied that closures are not part of procedural programming. Is this a case of a solution being overly associated with the problem it solves or am I misunderstanding the exact definition?

Answer 1

From what I understand a closure also has to have access to the variables in the calling context. Closures are usually associated with functional programming. Languages can have elements from different types of programming perspectives, functional, procedural, imperative, declarative, etc. They get their name from being closed over a specified context. They may also have lexical binding in that they can reference the specified context with the same names that are used in that context. Your example has no reference to any other context but a global static one.

From Wikipedia

A closure closes over the free variables (variables which are not local variables)