Skip to content

Define C++20 concepts #848

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 19 commits into
base: develop
Choose a base branch
from
Open

Define C++20 concepts #848

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
a72ab6c
Define C++20 concepts
mborland Oct 16, 2022
c495bf7
Add intel _Quad type
mborland Oct 17, 2022
a4cd40f
Add arbitrary arithmetic concepts
mborland Oct 17, 2022
b5344d5
Add test on special function (beta)
mborland Oct 17, 2022
7252320
Add policy concept
mborland Oct 17, 2022
046217c
Iterator concept example in statistics
mborland Oct 17, 2022
e9af348
Tighten definitions of built-in concepts by excluding 128 bit extensions
mborland Oct 18, 2022
9a0905a
Add definition for container
mborland Oct 18, 2022
b56de86
Workaround for libcpp++ partial implementation of concepts
mborland Oct 18, 2022
b802b7c
Add complex number support
mborland Oct 18, 2022
b03cbf5
Add execution policy concept
mborland Oct 18, 2022
6bd07ec
Add any numerical type (int, floating, complex) concept
mborland Oct 18, 2022
5b81a37
Remove libc++ workaround
mborland Oct 19, 2022
3420530
Define our own derived_from as std not available on all platforms
mborland Oct 19, 2022
7a0ea9b
Merge branch 'concepts' of https://github.com/mborland/math into conc…
jzmaddock Nov 4, 2022
7fa561d
Update log1p for concept tests.
jzmaddock Nov 11, 2022
1fb3a58
Merge remote-tracking branch 'upstream/develop' into concepts
mborland Nov 14, 2022
054214c
Merge remote-tracking branch 'upstream/concepts' into concepts
mborland Nov 14, 2022
2f889d4
Change concept to allow integer promotion to double a la STL
mborland Nov 19, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 7 additions & 4 deletions include/boost/math/ccmath/abs.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@
#include <type_traits>
#include <limits>
#include <boost/math/tools/is_constant_evaluated.hpp>
#include <boost/math/concepts/concepts.hpp>
#include <boost/math/tools/assert.hpp>
#include <boost/math/ccmath/isnan.hpp>
#include <boost/math/ccmath/isinf.hpp>
Expand All @@ -28,8 +29,8 @@ namespace boost::math::ccmath {

namespace detail {

template <typename T>
constexpr T abs_impl(T x) noexcept
template <BOOST_MATH_ARBITRARY_SIGNED_ARITHMETIC T>
inline constexpr T abs_impl(T x) noexcept
{
if (boost::math::ccmath::isnan(x))
{
Expand All @@ -51,7 +52,8 @@ constexpr T abs_impl(T x) noexcept
} // Namespace detail

template <typename T, std::enable_if_t<!std::is_unsigned_v<T>, bool> = true>
constexpr T abs(T x) noexcept
BOOST_MATH_REQUIRES(BOOST_MATH_ARBITRARY_SIGNED_ARITHMETIC, T)
inline constexpr T abs(T x) noexcept
{
if(BOOST_MATH_IS_CONSTANT_EVALUATED(x))
{
Expand All @@ -67,7 +69,8 @@ constexpr T abs(T x) noexcept
// If abs() is called with an argument of type X for which is_unsigned_v<X> is true and if X
// cannot be converted to int by integral promotion (7.3.7), the program is ill-formed.
template <typename T, std::enable_if_t<std::is_unsigned_v<T>, bool> = true>
constexpr T abs(T x) noexcept
BOOST_MATH_REQUIRES(BOOST_MATH_ARBITRARY_UNSIGNED_ARITHMETIC, T)
inline constexpr T abs(T x) noexcept
{
if constexpr (std::is_convertible_v<T, int>)
{
Expand Down
Loading