Function main

test/meta_test.cpp:22–160

namespace mp11 = boost::mp11;

int main() {
  // literals
  {
    auto j0 = 0_c;
    auto j3 = 3_c;
    auto j10 = 10_c;
    auto j213 = 213_c;
    BOOST_TEST_TRAIT_TRUE((std::is_same<i0, decltype(j0)>));
    BOOST_TEST_TRAIT_TRUE((std::is_same<i3, decltype(j3)>));
    BOOST_TEST_EQ(decltype(j10)::value, 10);
    BOOST_TEST_EQ(decltype(j213)::value, 213);
  }

  // has_variance_support
  {
    struct no_methods {};

    struct value_method {
      void value() {}
    };

    struct variance_method {
      void variance() {}
    };

    struct value_and_variance_methods {
      void value() {}
      void variance() {}
    };

    BOOST_TEST_TRAIT_FALSE((has_variance_support<no_methods>));
    BOOST_TEST_TRAIT_FALSE((has_variance_support<value_method>));
    BOOST_TEST_TRAIT_FALSE((has_variance_support<variance_method>));
    BOOST_TEST_TRAIT_TRUE((has_variance_support<value_and_variance_methods>));
  }

  // has_method_lower
  {
    struct no_methods {};
    struct lower_method {
      void lower(int) {}
    };

    BOOST_TEST_TRAIT_FALSE((has_method_lower<no_methods>));
    BOOST_TEST_TRAIT_TRUE((has_method_lower<lower_method>));
  }

  // classify_container
  {
    using result1 = classify_container<int>;
    BOOST_TEST_TRAIT_TRUE((std::is_same<result1, no_container_tag>));

    using result1a = classify_container<int&>;
    BOOST_TEST_TRAIT_TRUE((std::is_same<result1a, no_container_tag>));

    using result2 = classify_container<std::vector<int>>;
    BOOST_TEST_TRAIT_TRUE((std::is_same<result2, dynamic_container_tag>));