C++11 introduced static_assert(expr, message) to check that the compile-time constant expression expr is true.
C++17 has made the second argument message optional. This rule flags occurrences of std::static_assert where the second
argument message is empty or a substring of expr.
Noncompliant code example
template <class T>
T f(T i) {
static_assert(std::is_integral<T>::value, ""); // Noncompliant: remove the empty string second argument.
static_assert(std::is_integral<T>::value, "std::is_integral"); // Noncompliant: remove the redundant second argument.
// ...
}
Compliant solution
template <class T>
T f(T i) {
static_assert(std::is_integral<T>::value); // Compliant
static_assert(std::is_integral<T>::value, "Integral required"); // Compliant
// ...
}
