type-level syntax with can_invoke/can_invoke_constexpr

This commit is contained in:
badair
2016-05-15 17:11:12 -05:00
parent c07e8e609b
commit 287789142c
8 changed files with 89 additions and 15 deletions

View File

@@ -48,6 +48,7 @@ using foo3_pmf = std::integral_constant<decltype(&foo3::bar), &foo3::bar>;
namespace ct = callable_traits;
// value syntax
CT_ASSERT(!ct::can_invoke_constexpr(foo1{}));
CT_ASSERT(!ct::can_invoke_constexpr(foo1{}, 0));
@@ -63,6 +64,24 @@ CT_ASSERT(!ct::can_invoke_constexpr(foo1_pmf{}, foo1{}, 0));
CT_ASSERT(!ct::can_invoke_constexpr(foo3_pmf{}, foo3{}));
CT_ASSERT( ct::can_invoke_constexpr(foo3_pmf{}, foo3{}, 0));
// type syntax
CT_ASSERT(!ct::can_invoke_constexpr<foo1>());
CT_ASSERT(!ct::can_invoke_constexpr<foo1, int>());
CT_ASSERT( ct::can_invoke_constexpr<foo2>());
CT_ASSERT( ct::can_invoke_constexpr<foo2, int>());
CT_ASSERT(!ct::can_invoke_constexpr<foo4>());
CT_ASSERT( ct::can_invoke_constexpr<foo4, int>());
CT_ASSERT(!ct::can_invoke_constexpr<foo1_pmf, foo1&>());
CT_ASSERT(!ct::can_invoke_constexpr<foo1_pmf, foo1&, int>());
CT_ASSERT(!ct::can_invoke_constexpr<foo3_pmf, foo3&>());
CT_ASSERT( ct::can_invoke_constexpr<foo3_pmf, foo3&, int>());
int main() {}
#endif