There are two uses for the template and typename keywords in C++. One of them is fairly well known amongst programmers: to define templates. The other use is more obscure: to specify that an expression refers to a template function or a type. This regularly trips up programmers that use the Eigen library, often leading to error messages from the compiler that are difficult to understand, such as "expected expression" or "no match for operator<".
\eigenAutoToc
The template and typename keywords are routinely used to define templates. This is not the topic of this page as we assume that the reader is aware of this (otherwise consult a C++ book). The following example should illustrate this use of the template keyword.
We could just as well have written template <class T>; the keywords typename and class have the same meaning in this context.
Let us illustrate the second use of the template keyword with an example. Suppose we want to write a function which copies all entries in the upper triangular part of a matrix into another matrix, while keeping the lower triangular part unchanged. A straightforward implementation would be as follows:
| Example: | Output: |
|---|---|
#include <Eigen/Dense>
#include <iostream>
using namespace Eigen;
{
}
int main()
{
MatrixXf m1 = MatrixXf::Ones(4,4);
MatrixXf m2 = MatrixXf::Random(4,4);
std::cout << "m2 before copy:" << std::endl;
std::cout << m2 << std::endl << std::endl;
std::cout << "m2 after copy:" << std::endl;
std::cout << m2 << std::endl << std::endl;
}
|
That works fine, but it is not very flexible. First, it only works with dynamic-size matrices of single-precision floats; the function copyUpperTriangularPart() does not accept static-size matrices or matrices with double-precision numbers. Second, if you use an expression such as mat.topLeftCorner(3,3) as the parameter src, then this is copied into a temporary variable of type MatrixXf; this copy can be avoided.
As explained in Writing Functions Taking Eigen Types as Parameters, both issues can be resolved by making copyUpperTriangularPart() accept any object of type MatrixBase. This leads to the following code:
| Example: | Output: |
|---|---|
#include <Eigen/Dense>
#include <iostream>
using namespace Eigen;
template <typename Derived1, typename Derived2>
{
/* Note the 'template' keywords in the following line! */
dst.template triangularView<Upper>() = src.template triangularView<Upper>();
}
int main()
{
MatrixXi m1 = MatrixXi::Ones(5,5);
MatrixXi m2 = MatrixXi::Random(4,4);
std::cout << "m2 before copy:" << std::endl;
std::cout << m2 << std::endl << std::endl;
std::cout << "m2 after copy:" << std::endl;
std::cout << m2 << std::endl << std::endl;
}
|
The one line in the body of the function copyUpperTriangularPart() shows the second, more obscure use of the template keyword in C++. Even though it may look strange, the template keywords are necessary according to the standard. Without it, the compiler may reject the code with an error message like "no match
for operator<".
The reason that the template keyword is necessary in the last example has to do with the rules for how templates are supposed to be compiled in C++. The compiler has to check the code for correct syntax at the point where the template is defined, without knowing the actual value of the template arguments (Derived1 and Derived2 in the example). That means that the compiler cannot know that dst.triangularView is a member template and that the following < symbol is part of the delimiter for the template parameter. Another possibility would be that dst.triangularView is a member variable with the < symbol referring to the operator<() function. In fact, the compiler should choose the second possibility, according to the standard. If dst.triangularView is a member template (as in our case), the programmer should specify this explicitly with the template keyword and write dst.template triangularView.
The precise rules are rather complicated, but ignoring some subtleties we can summarize them as follows:
dst is a dependent name because it is of type MatrixBase<Derived1> which depends on the template parameter Derived1.xxx.yyy or xxx->yyy and xxx is a dependent name and yyy refers to a member template, then the template keyword must be used before yyy, leading to xxx.template yyy or xxx->template yyy.xxx::yyy and xxx is a dependent name and yyy refers to a member typedef, then the typename keyword must be used before the whole construct, leading to typename xxx::yyy.As an example where the typename keyword is required, consider the following code in TutorialSparse for iterating over the non-zero entries of a sparse matrix type:
If SparseMatrixType depends on a template parameter, then the typename keyword is required:
For more information and a fuller explanation of this topic, the reader may consult the following sources: