{

int val;

counting_oracle() : val() { ++default_ctor_count; }

counting_oracle(int v) : val(v) { ++val_ctor_count; }

counting_oracle(const counting_oracle& rhs) : val(rhs.val) { ++copy_ctor_count; }

counting_oracle& operator=(const counting_oracle& rhs) { val = rhs.val; ++copy_assign_count; return *this; }

~counting_oracle() { ++dtor_count; }

static int dtor_count;

static int default_ctor_count;

static int val_ctor_count;

static int copy_ctor_count;

static int copy_assign_count;

static int equals_count;

friend bool operator==(const counting_oracle& lhs, const counting_oracle& rhs) { ++equals_count; return lhs.val == rhs.val; }

static void clear_count()

{

dtor_count = default_ctor_count = val_ctor_count = copy_ctor_count = copy_assign_count = equals_count = 0;

}

{

const std::pair<counting_oracle, counting_oracle> pair(1, 2);

counting_oracle::clear_count();

boost::optional<counting_oracle> o1, o2;

boost::tie(o1, o2) = pair;

BOOST_TEST(o1);

BOOST_TEST(o2);

BOOST_TEST(*o1 == counting_oracle(1));

BOOST_TEST(*o2 == counting_oracle(2));

BOOST_TEST_EQ(2, counting_oracle::copy_ctor_count);

BOOST_TEST_EQ(0, counting_oracle::copy_assign_count);

BOOST_TEST_EQ(0, counting_oracle::default_ctor_count);

return boost::report_errors();