1 minute read

I was implementing a template function inside a class. As usual, I wrote the prototype in .h file and the definition in a .cpp file. This templated method is then called in other part of the software. When I hit the compile button, the compiler complained about an undefined reference where I called the template function.

Since the function was called from a pointer of the class, my first try was to force the compilation of the the template function by defining a specialization of it in the .cpp file. I compiled again but the error remained.

After a quick search on web I found the solution: defining the template function immediately in the .h file because the Stackoverflow user’s told that template function declaration and definitions must stay in the same translation unit.

A translation unit is the result of the preprocessing stage and so the very first for the compiler. A translation unit consists of a source file where #include directives are literally included and macro are expanded. Now it is clear why it was not working. In my main.cpp I was including just the .h file of the class so the translation unit of main.cpp did not contain the definition of the function template.

However, I wanted a deeper insight about function templates and indeed isocpp FAQ has a huge section focused only for this kind of error. It says that templates are not functions or classes but just a pattern used by the compiler to generate a family of functions and classes. C++ compiler is based on the separate compilation model, that is while it is compiling one .cpp file, it is not required to remember the details of another .cpp file. This is why it complained when I tried to separate the template function from its definition.

Lesson learned. I conclude with these two useful rules:

  1. Define template functions immediately after their declaration.
  2. When C++ compiler is compiling a .cpp file, it is not required to use details of another .cpp file.

Resources

  1. Wikepedia definition of translation unit
  2. tutorialspoint brief definition of translation unit
  3. isocpp FAQ
  4. Official C++ reference for function templates

Tags:

Updated:

Leave a comment

You may also enjoy

Implementing an HTTP proxy in Go

4 minute read

I was looking for a simple project to get my hands dirty with Go again and I came up with the HTTP proxy server. At a first glance, it seems a trivial project: create an HTTP server read the HTTP method, the URL, and the HOST from the request send an identical request to the target server.

Avoid name conflicts in Terraform workspaces

2 minute read

Terraform workspaces are a feature of some backends to associate many terraform states to the same configuration. It is convenient to have a workspace where you can try changes to infrastructure. When the changes have been tested, you can switch to the production workspace and apply the changes.

Change Kubernetes service type from LoadBalancer to NodePort and viceversa

2 minute read

Changing the Service type from NodePort to LoadBalancer and viceversa is useful depending on the cluster you are working on. If you are doing experiments in a local development cluster, like Kind, you don’t have a real load balancer in front of your cluster and you need to expose your services externally using a NodePort service. On contrary, if you are w...

Kubernetes ephemeral containers

1 minute read

Removing building and debugging tools from the images we use to run services on containers is one of the security best practices. However, you can’t debug a container if it is not shipped with the debugging tools. Security and easy of debug seems to mutual exclusive but Kubernetes provides a solution: ephemeralContainers. As the name suggests, they are ep...