In the post Statically checked I wrote that the functions of the typetraits library are an ideal fit for static_assert. The reason is that static_assert requires a constant expression. The functions of the typetraits library provide a lot of checks which can be performed at compile time. With these posts, I will prove my statement.
gcd  The first
Before I describe systematically the functionality of the typetraits library I will start in this post with an example. My starting point is the Euclid algorithm to calculate the greatest common divisor of two numbers.
It's quite easy to implement the algorithm as a function template and feed it with various arguments.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

// gcd.cpp
#include <iostream>
template<typename T>
T gcd(T a, T b){
if( b == 0 ){ return a; }
else{
return gcd(b, a % b);
}
}
int main(){
std::cout << std::endl;
std::cout << "gcd(100,10)= " << gcd(100,10) << std::endl;
std::cout << "gcd(100,33)= " << gcd(100,33) << std::endl;
std::cout << "gcd(100,0)= " << gcd(100,0) << std::endl;
std::cout << gcd(3.5,4.0)<< std::endl;
std::cout << gcd("100","10") << std::endl;
std::cout << gcd(100,10L) << gcd(100,10L) << std::endl;
std::cout << std::endl;
}

But the compilation of the program fails. The compiler tries in vain to instantiate the templates.
The function template has two serious issues. First, it is too generic. So the function template accepts doubles (line 21) and C strings (line 22). But it makes no sense to determine the greatest common divisor of both data types. The modulo operation for the double and the C string values fails in line 9. But that's not the only issue. Second, gcd depend on one type parameter T. This shows the function template signature gcd(T a, T b)). a and b have to be of the same type T. There is no conversion for type parameters. Therefore, the instantiation of gcd with an int type and a long type (line 24) fails.
Thanks to the typetraits library the first issue is quickly solved. The second issue requires much more effort.
gcd  The second
I ignore for simplicity reasons in the rest of the post that both arguments have to be positive numbers. But back to the first issue. The static_assert operator and the predicate std::is_integral<T>::value helps me to check at compile time whether T is an integral type. A predicate always returns a boolean value.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// gcd_2.cpp
#include <iostream>
#include <type_traits>
template<typename T>
T gcd(T a, T b){
static_assert(std::is_integral<T>::value, "T should be an integral type!");
if( b == 0 ){ return a; }
else{
return gcd(b, a % b);
}
}
int main(){
std::cout << std::endl;
std::cout << gcd(3.5,4.0)<< std::endl;
std::cout << gcd("100","10") << std::endl;
std::cout << std::endl;
}

Great. I have solved the first issue of the gcd algorithm. The compilation will not fail by accident because the modulo operator is not defined for a double value and a C string. The compilation fails because the assertion in line 8 will not hold true. The subtle difference is that I now get an exact error message and not a cryptic output of a failed template instantiation as in the first example.
The rule is quite simple. A compilation has to fail and I should get an unambiguous error message.
But what's about the second issue. The gcd algorithm should accept arguments of a different type.
gcd  The third
That no big deal. But stop. What is the type of the result?
1
2
3
4
5
6
7
8
9

template<typename T1, typename T2>
??? gcd(T1 a, T2 b){
static_assert(std::is_integral<T1>::value, "T1 should be an integral type!");
static_assert(std::is_integral<T2>::value, "T2 should be an integral type!");
if( b == 0 ){ return a; }
else{
return gcd(b, a % b);
}
}

The three questions marks in line 2 show the core of the issue. Should the first type or the second type be the return type of the algorithm? Or should the algorithm derive a new type from the two arguments? The typetraits library comes to my rescue. I will present two variations.
The smaller type
A good choice for the return type is to use the smaller of both types. Therefore, I need a ternary operator at compile time. Thanks to the typetraits library we have. The ternary function std::conditional operates on types and not on values. That's because we apply the function at compile time. So we have to feed std::conditional with the right constant expression and we are done. std::conditional<(sizeof(T1) < sizeof(T2)), T1, T2>::type will return at compile time T1 if T1 is smaller than T2; it will return T2 if T1 is not smaller than T1.
Let's apply the logic.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

// gcd_3_smaller.cpp
#include <iostream>
#include <type_traits>
#include <typeinfo>
template<typename T1, typename T2>
typename std::conditional <(sizeof(T1) < sizeof(T2)), T1, T2>::type gcd(T1 a, T2 b){
static_assert(std::is_integral<T1>::value, "T1 should be an integral type!");
static_assert(std::is_integral<T2>::value, "T2 should be an integral type!");
if( b == 0 ){ return a; }
else{
return gcd(b, a % b);
}
}
int main(){
std::cout << std::endl;
std::cout << "gcd(100,10)= " << gcd(100,10) << std::endl;
std::cout << "gcd(100,33)= " << gcd(100,33) << std::endl;
std::cout << "gcd(100,0)= " << gcd(100,0) << std::endl;
std::cout << std::endl;
std::cout << "gcd(100,10LL)= " << gcd(100,10LL) << std::endl;
std::conditional <(sizeof(100) < sizeof(10LL)), long long, long>::type uglyRes= gcd(100,10LL);
auto res= gcd(100,10LL);
auto res2= gcd(100LL,10L);
std::cout << "typeid(gcd(100,10LL)).name(): " << typeid(res).name() << std::endl;
std::cout << "typeid(gcd(100LL,10L)).name(): " << typeid(res2).name() << std::endl;
std::cout << std::endl;
}

The key line of the program is the line 8 with the return type of the gcd algorithm. Of course, the algorithm can also deal with templates arguments of the same type. You can observe it in line 21 to 24 and the output of the program. But what's about line 27? I use the number 100 of type int and the number 10 of type long long int. The result for the greatest common divisor is 10. The line 29 is extremely ugly. I have to repeat the expression std::conditional <(sizeof(100) < sizeof(10LL)), long long, long>::type to determine the right type of the variable uglyRes. Automatic type deduction with auto comes to my rescue (line 30 and 31). The typeid operator in line 33 and 34 shows that the result type of the arguments of type int and long long int is int; that the result type of the types long long int and long int is long int.
The common type
Now to my second variation. Often it is not necessary to determine the smaller type at compile time but to determine that type to which all types can implicitly be converted to. That's the job of the function template std::common_type from the  of course you know it already  typetraits library. std::common_type can handle an arbitrary number of template arguments. To say it more formally. std::common_type is a variadic template.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// gcd_3_common.cpp
#include <iostream>
#include <type_traits>
#include <typeinfo>
template<typename T1, typename T2>
typename std::common_type<T1, T2>::type gcd(T1 a, T2 b){
static_assert(std::is_integral<T1>::value, "T1 should be an integral type!");
static_assert(std::is_integral<T2>::value, "T2 should be an integral type!");
if( b == 0 ){ return a; }
else{
return gcd(b, a % b);
}
}
int main(){
std::cout << std::endl;
std::cout << "typeid(gcd(100,10)).name(): " << typeid(gcd(100,10)).name() << std::endl;
std::cout << "typeid(gcd(100,10L)).name(): " << typeid(gcd(100,10L)).name() << std::endl;
std::cout << "typeid(gcd(100,10LL)).name(): " << typeid(gcd(100,10LL)).name() << std::endl;
std::cout << std::endl;
}

The only difference to the last implementation is that std::common_type in line 8 determines the return type. I ignore in this example the results of the gcd because I'm more interested in the types of the results. With the argument types int and int int I get int; with the argument types int and long int long int; with int and long long int long long int.
gcd  The fourth
But that's not all. std::enable_if from the typetraits library provides also a very interesting variation. The previous implementations have in common that they will check in the function body If the arguments are integral types. The key observation is that the compiler always tries to instantiate the function temples and fails sometimes. You know the result. If the expression std::integral returns falls, the instantiation will fail. That is not the best way. It would be better if the function template is only available for the valid types. Therefore, I put the check of the function template from the template body to the template signature.
I order to concentrating on the essentials I used the same type for the function arguments. Therefore, the return type is obvious.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// gcd_4.cpp
#include <iostream>
#include <type_traits>
template<typename T,
typename std::enable_if<std::is_integral<T>::value,T>::type= 0>
T gcd(T a, T b){
if( b == 0 ){ return a; }
else{
return gcd(b, a % b);
}
}
int main(){
std::cout << std::endl;
std::cout << "gcd(100,10)= " << gcd(100,10) << std::endl;
std::cout << "gcd(3.5,4)= " << gcd(3.5,4.0) << std::endl;
std::cout << std::endl;
}

Line 7 is the key line of the new program. The expression std::is_integral determines whether the type parameter T is integral. If T is not integral and therefore the return value false, I will not get a template instantiation. This is the decisive observation.
If std::enable_if returns true as first parameter, std::enable_if will have a public member typedef type. This type is used in the line 7. If std::enable_if returns false as first parameter, std::enable_if will have no public member typedef type. Therefore the line 7 in not valid. But this is not an error. Only the template for exactly this type will not be instantiated.
The rule in C++ says: When substituting the deduced type for the template parameter fails, the specialization is discarded from the overload set instead of causing a compile error. There is a shorter acronym for this rule SFINAE (Substitution Failure Is Not An Error).
The output of the compilation shows it. There is no template specialization for the type double.
What's next?
The next post about the typetraits library will be systematically. The typetraits library has a lot of functions. They enables you to check, compare, and modify types at compile time. I will answer the two questions in the next post. How does it work? And. Which functions are available?
Thanks a lot to my Patreon Supporters: Matt Braun, Roman Postanciuc, Tobias Zindl, Marko, G Prvulovic, Reinhold Dröge, Abernitzke, Frank Grimm, Sakib, Broeserl, António Pina, Sergey Agafyin, Андрей Бурмистров, Jake, GS, Lawton Shoemake, Animus24, Jozo Leko, John Breland, Louis StAmour, Venkat Nandam, Jose Francisco, Douglas Tinkham, Kuchlong Kuchlong, Robert Blanch, Truels Wissneth, Kris Kafka, Mario Luoni, Neil Wang, Friedrich Huber, lennonli, Pramod Tikare Muralidhara, Peter Ware, Daniel Hufschläger, Alessandro Pezzato, Evangelos Denaxas, Bob Perry, Satish Vangipuram, Andi Ireland, Richard Ohnemus, Michael Dunsky, Leo Goodstadt, John Wiederhirn, Yacob CohenArazi, Florian Tischler, Robin Furness, Michael Young, Holger Detering, Bernd Mühlhaus, Matthieu Bolt, Stephen Kelley, Kyle Dean, Tusar Palauri, Dmitry Farberov, Juan Dent, George Liao, Daniel Ceperley, Jon T Hess, Stephen Totten, and Wolfgang Fütterer.
Thanks in particular to Jon Hess, Lakshman, Christian Wittenhorst, Sherhy Pyton, Dendi Suhubdy, Sudhakar Belagurusamy, Richard Sargeant, Rusty Fleming, Ralf Abramowitsch, John Nebel, Mipko, and Alicja Kaminska.
My special thanks to Embarcadero
My special thanks to PVSStudio
Seminars
I'm happy to give online seminars or facetoface seminars worldwide. Please call me if you have any questions.
Bookable (Online)
German
Standard Seminars (English/German)
Here is a compilation of my standard seminars. These seminars are only meant to give you a first orientation.
New
Contact Me
Modernes C++,
Comments
`template`
I guess this should be a comparison (==) but not an assignment (=) operator, or should it?
RSS feed for comments to this post