CBMC
|
Go to the source code of this file.
Functions | |
template<typename T > | |
const T & | as_const (T &value) |
Return a reference to the same object but ensures the type is const. More... | |
template<typename T > | |
const T * | as_const_ptr (T *t) |
Return a pointer to the same object but ensures the type is pointer to const. More... | |
template<typename T > | |
void | as_const (T &&)=delete |
Deleted to avoid calling as_const on an xvalue. More... | |
|
delete |
Deleted to avoid calling as_const on an xvalue.
const T& as_const | ( | T & | value | ) |
Return a reference to the same object but ensures the type is const.
Definition at line 14 of file as_const.h.
const T* as_const_ptr | ( | T * | t | ) |
Return a pointer to the same object but ensures the type is pointer to const.
Definition at line 21 of file as_const.h.