Abstract

C and C++ allow passing functions as arguments to other functions in the form of function pointers. However, since function pointers can refer only to existing functions declared at global or file scope, these function arguments cannot capture local environments. This leads to the common misconception that C and C++ do not support function closures. In fact, function closures can be modeled directly in C++ by enclosing a function inside an object such that the local environment is captured by data members of the object. This idiom is described in advanced C++ texts and is used, for example, to implement callbacks. The purpose of this paper is twofold: First, we demonstrate how this idiom can be generalized to a type-safe framework of C++ class templates for higher-order functions that support composition and partial application. Second, we explore the expressiveness of the framework and compare it with that of existing functional programming languages. We illustrate by means of various...

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
113	Unidraw: A framework for building domainspecific graphical editors - Viissides, Linton - 1989
20	Object-Oriented Programming with C++ and OSF/MOTIF - Young - 1992
13	Integrating the Scheme and C languages - Rose, Muller
5	A C++ interpreter for Scheme - Russo, Kaplan - 1988
2	A Functional Language Interpreter Integrated into the C++ Language System - Klagges - 1993
1	Designing reusable classes.Journal of Object-Oriented Programming - Johnson, Foote - 1988
1	Inheritance versus parameterization - Khne - 1995
1	The design of Core C++. Unpublished draft - Reddy - 1995
1	Functional programming and call-by-name in C - Rose - 1995
1	An object-oriented application framework in C - ET - 1988