Search⌘ K
Home
Courses
Embedded Programming with Modern C++

- Solution

Explore how to leverage static_assert and the type-traits library in Modern C++ to enforce type safety and generate precise compile-time error messages. This lesson helps you understand how to prevent ambiguous failures by verifying integral types statically, a key aspect in developing reliable safety-critical systems.

We'll cover the following...

Example

C++
// staticAssertGcd.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; // should be gcd(3, 4)
  std::cout << gcd("100", "10") << std::endl; // should be gcd(100, 10)
  std::cout << std::endl;
}

Explanation

The static_assert operator and the predicate std::is_integral<T>::value enable us to check at compile time whether or not T is an ...