args.cpp 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. /*
  2. Copyright Barrett Adair 2015-2017
  3. Distributed under the Boost Software License, Version 1.0.
  4. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
  5. */
  6. #include <type_traits>
  7. #include <cstdint>
  8. #include <memory>
  9. #include <boost/callable_traits.hpp>
  10. #include "test.hpp"
  11. struct foo1 {
  12. int bar(char, float&, int = 0) { return{}; }
  13. };
  14. struct foo2 {
  15. int bar(char, float&, int = 0, ...) { return{}; }
  16. };
  17. struct foo3 {
  18. int operator()(char, float&, int = 0) { return{}; }
  19. };
  20. struct foo4 {
  21. int operator()(char, float&, int = 0, ...) { return{}; }
  22. };
  23. int foo5(char, float&, int = 0) { return{}; }
  24. int foo6(char, float&, int = 0, ...) { return{}; }
  25. struct foo7 {
  26. int bar() { return{}; }
  27. };
  28. using std::is_same;
  29. int main() {
  30. {
  31. using pmf = decltype(&foo1::bar);
  32. using args_t = TRAIT(args, pmf);
  33. CT_ASSERT(is_same<args_t, std::tuple<foo1&, char, float&, int>>{});
  34. } {
  35. using pmf = decltype(&foo2::bar);
  36. using args_t = TRAIT(args, pmf);
  37. CT_ASSERT(is_same<args_t, std::tuple<foo2&, char, float&, int>>{});
  38. } {
  39. using args_t = TRAIT(args, foo3);
  40. CT_ASSERT(is_same<args_t, std::tuple<char, float&, int>>{});
  41. } {
  42. using args_t = TRAIT(args, foo4);
  43. CT_ASSERT(is_same<args_t, std::tuple<char, float&, int>>{});
  44. } {
  45. using args_t = TRAIT(args, decltype(foo5));
  46. CT_ASSERT(is_same<args_t, std::tuple<char, float&, int>>{});
  47. } {
  48. using args_t = TRAIT(args, decltype(foo6));
  49. CT_ASSERT(is_same<args_t, std::tuple<char, float&, int>>{});
  50. }
  51. return 0;
  52. }