software

Avoiding Lengthy C++ Template Instantiations

Bycoliveira June 12, 2015July 4, 2015

C++ templates are a powerful mechanism that can be used to create generic code. With templates, it is also possible to remove undesirable code duplication, since the same code can then be applied to data of different types.

On the flip-side, however, templates can also create problems due to the potential they have to slow down compilation times. Because all the code in a template is generally available to the compiler when processing translation units, it is difficult to provide separate compilation for templates. An example of library that is victim of this behavior is boost, where typically all the functionality is included in header files. These header files are then included each time the library is referenced in an implementation file, resulting in long build times.

Despite these shortcomings, in some situations it is possible to reduce the amount of work done by the compiler in behalf of templates. This article shows a simple technique that can be used to achieve faster template compilation speeds in the particular case in which desired instantiations are known ahead of time.

Pre-Instantiating Templates

Certain templates are known to be used in only a reduced number of cases. For example, consider a numeric library that creates code for different floating point types. Each class in the library can be instantiated with a particular floating point type, such as double, long double, or float. Consider for instance the following definition:

// file mathop.h
template <class T>
class MathOperations {
public:
 static T squared(T value) {
 return value * value;
 }

// ...
};

This class can be used in the following way:

#include <mathop.h>

MathOperations<double> mathOps;
double value = 2.5;

cout << "result: " << mathOps.squared(2.5) << endl;

Unfortunately, because the class MathOperations is a template class, we have to include its complete definition as part of the header file, where it can be found by the compiler whenever the class is instantiated.

A possible way to reduce the size of the header file is to pre-instantiate the template for the types that we known in advance.

The first step is to remove the implementation from the header file. This is clearly possible, since you can implement class member functions outside the class declaration (if the class is a template or not). Then, you need to add the implementation to a separate source file. Once this step is done, client code will be able to use the template class interface, but will not be able to generate code. Therefore, for this to work, you need to instantiate the templates on the implementation file.

// file mathop.h
template <class T>
class MathOperations {
public:
 static T squared(T value);
 // ...
};

// file mathop.cpp

// template member function definition
template <class T>
T MathOperations<T>::squared(T value) {
 return value * value;
}

void instantiateMathOps() {
 double d = MathOperations<double>::squared(2.0);
 float f = MathOperations<float>::squared(2.0);
 int i = MathOperations<int>::squared(2);
 long l = MathOperations<long>::squared(2);
 char c = MathOperations<char>::squared(2);
}

In the example above, I chose to instantiate five versions of the original template for numeric types. The main limitation of this technique, as I mentioned above, is that your clients will not be able to generate templates for the additional types they may want to use. However, in a few situations you may really want to restrict how these templates are used, and the technique above works as desired.

Using the Immediate Window on Visual Studio

Bycoliveira November 4, 2009May 7, 2022

This is a quick tip for visual studio users. It may be that most developers using VS already know this, but I only recently found about the immediate window. The immediate window is useful as a complement to visual C++ integrated debugger, as it allows one to evaluate small C++ (or C#) expressions during debugging….

software

First impressions with the Amazon Kindle

Bycoliveira December 5, 2008December 5, 2008

I recently received a new Amazon Kindle as a gift, and was very positively surprised by the product. It provides an intuitive way to read books, and even better, it provides online access to lots of content. The first form of online content is, of course, the Amazon kindle store. The primary reason why Amazon…

software

Writing a Win32 Application in SBCL Common Lisp

Bycoliveira October 5, 2008May 5, 2022

The sucess of dynamic languages such as Python and Ruby in the web has created a renewed interest in Lisp. After all, Lisp is the grandfather of all dynamic languages. For Windows users, however, it has been traditionally difficult to find good implementations of Common Lisp. The main implementations of Lisp have some difficulties that…

software

Understanding const pointers and variables in C++

Bycoliveira November 21, 2009January 16, 2010

In modern C++, we are used to see const pointers. They are a useful way to avoid changes in memory passed to a function. As such, they are very common in function declarations. The const word, however, has other uses. It turns out that when the const keyword is applied to the pointer itself (instead…

software

Main Advantages of Typed Languages

Bycoliveira November 24, 2011

The concept of data types is one of the most powerful in the study of programming languages. Many languages have been devised with the main goal of delivering a type system with improved capabilities. Some of these languages coming from research labs, such as ML and Haskell, have become successful in their own right. Other…

software

Using Git and SVN at the same time

Bycoliveira May 5, 2009July 24, 2010

I am a big fan of Git, the distributed source control system created by Linus Torvalds and using on the Linux kernel. The system is really fast, and it is so configurable that it makes life really easy (at least after you learned enough about how it works). But the reality of the of industry…