github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

verify_types: add type static assertions

Browse Source
This commit is contained in:
Justin Viiret 2017-05-01 14:21:51 +10:00 committed by Matthew Barr
parent 16a00074c6
commit 1a04d1330e
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/util/verify_types.h
View File

@ -33,16 +33,25 @@
#include "util/compile_error.h" #include "util/compile_error.h"
#include <cassert> #include <cassert>
#include <type_traits>
namespace ue2 { namespace ue2 {
template<typename To_T, typename From_T> template<typename To_T, typename From_T>
To_T verify_cast(From_T val) { To_T verify_cast(From_T val) {
static_assert(std::is_integral<To_T>::value,
"Output type must be integral.");
static_assert(std::is_integral<From_T>::value ||
std::is_enum<From_T>::value ||
std::is_convertible<From_T, To_T>::value,
"Must be integral or enum type, or convertible to output.");
To_T conv_val = static_cast<To_T>(val); To_T conv_val = static_cast<To_T>(val);
if (static_cast<From_T>(conv_val) != val) { if (static_cast<From_T>(conv_val) != val) {
assert(0); assert(0);
throw ResourceLimitError(); throw ResourceLimitError();
} }
return conv_val; return conv_val;
} }