c++ 17,以前需要的static_assert()消息参数现在是可选的。意味着static_assert声明不再需要第二个参数。例如:
#include <type_traits>
template<typename T>
class C
{
// OK since C++11:
static_assert(std::is_default_constructible<T>::value,
"class C: elements must be default-constructible");
// OK since C++17:
static_assert(std::is_default_constructible_v<T>);
...
};