michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/list): add static_asserts for map/for_each/compare

Browse source
This commit is contained in:
Soonho Kong 2013-10-01 09:05:53 -07:00
parent 3381df0150
commit a726f5fbb7
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/list_fn.h
View file

@ -108,6 +108,8 @@ list<T> append(list<T> const & l1, list<T> const & l2) {
*/ */
template<typename T, typename F> template<typename T, typename F>
list<T> map(list<T> const & l, F f) { list<T> map(list<T> const & l, F f) {
static_assert(std::is_same<typename std::result_of<F(T const &)>::type, T>::value,
"map: return type of f is not sxpr");
if (is_nil(l)) { if (is_nil(l)) {
return l; return l;
} else { } else {
@ -120,6 +122,8 @@ list<T> map(list<T> const & l, F f) {
*/ */
template<typename T, typename F> template<typename T, typename F>
void for_each(list<T> const & l, F f) { void for_each(list<T> const & l, F f) {
static_assert(std::is_same<typename std::result_of<F(T const &)>::type, void>::value,
"for_each: return type of f is not void");
if (is_nil(l)) { if (is_nil(l)) {
return; return;
} else { } else {
@ -133,6 +137,8 @@ void for_each(list<T> const & l, F f) {
*/ */
template<typename T, typename P> template<typename T, typename P>
bool compare(list<T> const & l1, list<T> const & l2, P p) { bool compare(list<T> const & l1, list<T> const & l2, P p) {
static_assert(std::is_same<typename std::result_of<P(T const &, T const &)>::type, bool>::value,
"compare: return type of f is not bool");
auto it1 = l1.begin(); auto it1 = l1.begin();
auto it2 = l2.begin(); auto it2 = l2.begin();
auto end1 = l1.end(); auto end1 = l1.end();