AuroraMiddleware/asio
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add missing equality/inequality operators to any_executor.

Browse Source
This commit is contained in:
Christopher Kohlhoff 2020-07-03 15:30:56 +10:00
parent f2434b2373
commit f3ab26338e
2 changed files with 141 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

108
asio/include/asio/execution/any_executor.hpp
View File

@ -169,6 +169,22 @@ template <typename... SupportableProperties>
bool operator==(const any_executor<SupportableProperties...>& a,
const any_executor<SupportableProperties...>& b) noexcept;
/// Equality operator.
/**
* @relates any_executor
*/
template <typename... SupportableProperties>
bool operator==(const any_executor<SupportableProperties...>& a,
nullptr_t) noexcept;
/// Equality operator.
/**
* @relates any_executor
*/
template <typename... SupportableProperties>
bool operator==(nullptr_t,
const any_executor<SupportableProperties...>& b) noexcept;
/// Inequality operator.
/**
* @relates any_executor
@ -177,6 +193,22 @@ template <typename... SupportableProperties>
bool operator!=(const any_executor<SupportableProperties...>& a,
const any_executor<SupportableProperties...>& b) noexcept;
/// Inequality operator.
/**
* @relates any_executor
*/
template <typename... SupportableProperties>
bool operator!=(const any_executor<SupportableProperties...>& a,
nullptr_t) noexcept;
/// Inequality operator.
/**
* @relates any_executor
*/
template <typename... SupportableProperties>
bool operator!=(nullptr_t,
const any_executor<SupportableProperties...>& b) noexcept;
} // namespace execution
#else // defined(GENERATING_DOCUMENTATION)
@ -1222,12 +1254,32 @@ inline bool operator==(const any_executor<>& a,
return a.equality_helper(b);
}
inline bool operator==(const any_executor<>& a, nullptr_t) ASIO_NOEXCEPT
{
return !a;
}
inline bool operator==(nullptr_t, const any_executor<>& b) ASIO_NOEXCEPT
{
return !b;
}
inline bool operator!=(const any_executor<>& a,
const any_executor<>& b) ASIO_NOEXCEPT
{
return !a.equality_helper(b);
}
inline bool operator!=(const any_executor<>& a, nullptr_t) ASIO_NOEXCEPT
{
return !!a;
}
inline bool operator!=(nullptr_t, const any_executor<>& b) ASIO_NOEXCEPT
{
return !!b;
}
#if defined(ASIO_HAS_VARIADIC_TEMPLATES)
template <typename... SupportableProperties>
@ -1495,6 +1547,20 @@ inline bool operator==(const any_executor<SupportableProperties...>& a,
return a.equality_helper(b);
}
template <typename... SupportableProperties>
inline bool operator==(const any_executor<SupportableProperties...>& a,
nullptr_t) ASIO_NOEXCEPT
{
return !a;
}
template <typename... SupportableProperties>
inline bool operator==(nullptr_t,
const any_executor<SupportableProperties...>& b) ASIO_NOEXCEPT
{
return !b;
}
template <typename... SupportableProperties>
inline bool operator!=(const any_executor<SupportableProperties...>& a,
const any_executor<SupportableProperties...>& b) ASIO_NOEXCEPT
@ -1502,6 +1568,20 @@ inline bool operator!=(const any_executor<SupportableProperties...>& a,
return !a.equality_helper(b);
}
template <typename... SupportableProperties>
inline bool operator!=(const any_executor<SupportableProperties...>& a,
nullptr_t) ASIO_NOEXCEPT
{
return !!a;
}
template <typename... SupportableProperties>
inline bool operator!=(nullptr_t,
const any_executor<SupportableProperties...>& b) ASIO_NOEXCEPT
{
return !!b;
}
#else // defined(ASIO_HAS_VARIADIC_TEMPLATES)
#define ASIO_PRIVATE_ANY_EXECUTOR_PROP_FNS(n) \
@ -1849,11 +1929,39 @@ inline bool operator!=(const any_executor<SupportableProperties...>& a,
} \
\
template <ASIO_VARIADIC_TPARAMS(n)> \
inline bool operator==(const any_executor<ASIO_VARIADIC_TARGS(n)>& a, \
nullptr_t) ASIO_NOEXCEPT \
{ \
return !a; \
} \
\
template <ASIO_VARIADIC_TPARAMS(n)> \
inline bool operator==(nullptr_t, \
const any_executor<ASIO_VARIADIC_TARGS(n)>& b) ASIO_NOEXCEPT \
{ \
return !b; \
} \
\
template <ASIO_VARIADIC_TPARAMS(n)> \
inline bool operator!=(const any_executor<ASIO_VARIADIC_TARGS(n)>& a, \
const any_executor<ASIO_VARIADIC_TARGS(n)>& b) ASIO_NOEXCEPT \
{ \
return !a.equality_helper(b); \
} \
\
template <ASIO_VARIADIC_TPARAMS(n)> \
inline bool operator!=(const any_executor<ASIO_VARIADIC_TARGS(n)>& a, \
nullptr_t) ASIO_NOEXCEPT \
{ \
return !!a; \
} \
\
template <ASIO_VARIADIC_TPARAMS(n)> \
inline bool operator!=(nullptr_t, \
const any_executor<ASIO_VARIADIC_TARGS(n)>& b) ASIO_NOEXCEPT \
{ \
return !!b; \
} \
/**/
ASIO_VARIADIC_GENERATE(ASIO_PRIVATE_ANY_EXECUTOR_DEF)
#undef ASIO_PRIVATE_ANY_EXECUTOR_DEF

33
asio/src/tests/unit/execution/any_executor.cpp
View File

@ -57,137 +57,170 @@ void any_executor_construction_test()
ex_two_props_t ex_two_props_1;
ASIO_CHECK(ex_two_props_1.target<void>() == 0);
ASIO_CHECK(ex_two_props_1 == null_ptr);
ex_two_props_t ex_two_props_2(null_ptr);
ASIO_CHECK(ex_two_props_2.target<void>() == 0);
ASIO_CHECK(ex_two_props_2 == null_ptr);
ASIO_CHECK(ex_two_props_2 == ex_two_props_1);
ex_two_props_t ex_two_props_3(pool.executor());
ASIO_CHECK(ex_two_props_3.target<void>() != 0);
ASIO_CHECK(ex_two_props_3 != null_ptr);
ASIO_CHECK(ex_two_props_3 != ex_two_props_1);
ex_two_props_t ex_two_props_4(ex_two_props_1);
ASIO_CHECK(ex_two_props_4.target<void>() == 0);
ASIO_CHECK(ex_two_props_4 == null_ptr);
ASIO_CHECK(ex_two_props_4 == ex_two_props_1);
ex_two_props_t ex_two_props_5(ex_two_props_3);
ASIO_CHECK(ex_two_props_5.target<void>() != 0);
ASIO_CHECK(ex_two_props_5 != null_ptr);
ASIO_CHECK(ex_two_props_5 == ex_two_props_3);
#if defined(ASIO_HAS_MOVE)
ex_two_props_t ex_two_props_6(std::move(ex_two_props_1));
ASIO_CHECK(ex_two_props_6.target<void>() == 0);
ASIO_CHECK(ex_two_props_6 == null_ptr);
ASIO_CHECK(ex_two_props_1.target<void>() == 0);
ASIO_CHECK(ex_two_props_1 == null_ptr);
ex_two_props_t ex_two_props_7(std::move(ex_two_props_3));
ASIO_CHECK(ex_two_props_7.target<void>() != 0);
ASIO_CHECK(ex_two_props_7 != null_ptr);
ASIO_CHECK(ex_two_props_3.target<void>() == 0);
ASIO_CHECK(ex_two_props_3 == null_ptr);
ASIO_CHECK(ex_two_props_7 == ex_two_props_5);
#endif // defined(ASIO_HAS_MOVE)
ex_one_prop_t ex_one_prop_1;
ASIO_CHECK(ex_one_prop_1.target<void>() == 0);
ASIO_CHECK(ex_one_prop_1 == null_ptr);
ex_one_prop_t ex_one_prop_2(null_ptr);
ASIO_CHECK(ex_one_prop_2.target<void>() == 0);
ASIO_CHECK(ex_one_prop_2 == null_ptr);
ASIO_CHECK(ex_one_prop_2 == ex_one_prop_1);
ex_one_prop_t ex_one_prop_3(pool.executor());
ASIO_CHECK(ex_one_prop_3.target<void>() != 0);
ASIO_CHECK(ex_one_prop_3 != null_ptr);
ASIO_CHECK(ex_one_prop_3 != ex_one_prop_1);
ex_one_prop_t ex_one_prop_4(ex_one_prop_1);
ASIO_CHECK(ex_one_prop_4.target<void>() == 0);
ASIO_CHECK(ex_one_prop_4 == null_ptr);
ASIO_CHECK(ex_one_prop_4 == ex_one_prop_1);
ex_one_prop_t ex_one_prop_5(ex_one_prop_3);
ASIO_CHECK(ex_one_prop_5.target<void>() != 0);
ASIO_CHECK(ex_one_prop_5 != null_ptr);
ASIO_CHECK(ex_one_prop_5 == ex_one_prop_3);
#if defined(ASIO_HAS_MOVE)
ex_one_prop_t ex_one_prop_6(std::move(ex_one_prop_1));
ASIO_CHECK(ex_one_prop_6.target<void>() == 0);
ASIO_CHECK(ex_one_prop_6 == null_ptr);
ASIO_CHECK(ex_one_prop_1.target<void>() == 0);
ASIO_CHECK(ex_one_prop_1 == null_ptr);
ex_one_prop_t ex_one_prop_7(std::move(ex_one_prop_3));
ASIO_CHECK(ex_one_prop_7.target<void>() != 0);
ASIO_CHECK(ex_one_prop_7 != null_ptr);
ASIO_CHECK(ex_one_prop_3.target<void>() == 0);
ASIO_CHECK(ex_one_prop_3 == null_ptr);
ASIO_CHECK(ex_one_prop_7 == ex_one_prop_5);
#endif // defined(ASIO_HAS_MOVE)
ex_one_prop_t ex_one_prop_8(ex_two_props_1);
ASIO_CHECK(ex_one_prop_8.target<void>() == 0);
ASIO_CHECK(ex_one_prop_8 == null_ptr);
ex_one_prop_t ex_one_prop_9(ex_two_props_5);
ASIO_CHECK(ex_one_prop_9.target<void>() != 0);
ASIO_CHECK(ex_one_prop_9 != null_ptr);
ex_no_props_t ex_no_props_1;
ASIO_CHECK(ex_no_props_1.target<void>() == 0);
ASIO_CHECK(ex_no_props_1 == null_ptr);
ex_no_props_t ex_no_props_2(null_ptr);
ASIO_CHECK(ex_no_props_2.target<void>() == 0);
ASIO_CHECK(ex_no_props_2 == null_ptr);
ASIO_CHECK(ex_no_props_2 == ex_no_props_1);
ex_no_props_t ex_no_props_3(pool.executor());
ASIO_CHECK(ex_no_props_3.target<void>() != 0);
ASIO_CHECK(ex_no_props_3 != null_ptr);
ASIO_CHECK(ex_no_props_3 != ex_no_props_1);
ex_no_props_t ex_no_props_4(ex_no_props_1);
ASIO_CHECK(ex_no_props_4.target<void>() == 0);
ASIO_CHECK(ex_no_props_4 == null_ptr);
ASIO_CHECK(ex_no_props_4 == ex_no_props_1);
ex_no_props_t ex_no_props_5(ex_no_props_3);
ASIO_CHECK(ex_no_props_5.target<void>() != 0);
ASIO_CHECK(ex_no_props_5 != null_ptr);
ASIO_CHECK(ex_no_props_5 == ex_no_props_3);
#if defined(ASIO_HAS_MOVE)
ex_no_props_t ex_no_props_6(std::move(ex_no_props_1));
ASIO_CHECK(ex_no_props_6.target<void>() == 0);
ASIO_CHECK(ex_no_props_6 == null_ptr);
ASIO_CHECK(ex_no_props_1.target<void>() == 0);
ASIO_CHECK(ex_no_props_1 == null_ptr);
ex_no_props_t ex_no_props_7(std::move(ex_no_props_3));
ASIO_CHECK(ex_no_props_7.target<void>() != 0);
ASIO_CHECK(ex_no_props_7 != null_ptr);
ASIO_CHECK(ex_no_props_3.target<void>() == 0);
ASIO_CHECK(ex_no_props_3 == null_ptr);
ASIO_CHECK(ex_no_props_7 == ex_no_props_5);
#endif // defined(ASIO_HAS_MOVE)
ex_no_props_t ex_no_props_8(ex_two_props_1);
ASIO_CHECK(ex_no_props_8.target<void>() == 0);
ASIO_CHECK(ex_no_props_8 == null_ptr);
ex_no_props_t ex_no_props_9(ex_two_props_5);
ASIO_CHECK(ex_no_props_9.target<void>() != 0);
ASIO_CHECK(ex_no_props_9 != null_ptr);
ex_no_props_t ex_no_props_10(ex_one_prop_1);
ASIO_CHECK(ex_no_props_10.target<void>() == 0);
ASIO_CHECK(ex_no_props_10 == null_ptr);
ex_no_props_t ex_no_props_11(ex_one_prop_5);
ASIO_CHECK(ex_no_props_11.target<void>() != 0);
ASIO_CHECK(ex_no_props_11 != null_ptr);
}
void any_executor_assignment_test()