KeqingMoe/argparse
1
0
Fork 0
mirror of https://github.com/KeqingMoe/argparse.git synced 2025-07-04 15:14:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Refactor some uses of SFINAE into constexpr-if

Browse Source
This commit is contained in:
Zhihao Yuan 2019-11-17 20:16:52 -06:00
parent 93ddf85a7b
commit f7dae0d93d
No known key found for this signature in database
GPG Key ID: A2E474BDAA37E11C
1 changed files with 18 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

62
include/argparse.hpp
View File

@ -74,12 +74,6 @@ struct is_string_like
: std::conjunction<std::is_constructible<std::string, T>, : std::conjunction<std::is_constructible<std::string, T>,
std::is_convertible<T, std::string_view>> {}; std::is_convertible<T, std::string_view>> {};
template <typename T>
using enable_if_container = std::enable_if_t<is_container_v<T>, T>;
template <typename T>
using enable_if_not_container = std::enable_if_t<!is_container_v<T>, T>;
template <class F, class Tuple, class Extra, size_t... I> template <class F, class Tuple, class Extra, size_t... I>
constexpr decltype(auto) apply_plus_one_impl(F &&f, Tuple &&t, Extra &&x, constexpr decltype(auto) apply_plus_one_impl(F &&f, Tuple &&t, Extra &&x,
std::index_sequence<I...>) { std::index_sequence<I...>) {
@ -266,28 +260,20 @@ public:
} }
/* /*
* Entry point for template non-container types * Compare to an argument value of known type
* @throws std::logic_error in case of incompatible types * @throws std::logic_error in case of incompatible types
*/ */
template <typename T> template <typename T> bool operator==(const T &aRhs) const {
std::enable_if_t<!details::is_container_v<T>, bool> if constexpr (!details::is_container_v<T>) {
operator==(const T &aRhs) const { return get<T>() == aRhs;
return get<T>() == aRhs; } else {
} using ValueType = typename T::value_type;
auto tLhs = get<T>();
/* return std::equal(std::begin(tLhs), std::end(tLhs), std::begin(aRhs),
* Template specialization for containers std::end(aRhs), [](const auto &lhs, const auto &rhs) {
* @throws std::logic_error in case of incompatible types return std::any_cast<const ValueType &>(lhs) == rhs;
*/ });
template <typename T> }
std::enable_if_t<details::is_container_v<T>, bool>
operator==(const T &aRhs) const {
using ValueType = typename T::value_type;
auto tLhs = get<T>();
return std::equal(std::begin(tLhs), std::end(tLhs), std::begin(aRhs),
std::end(aRhs), [](const auto &lhs, const auto &rhs) {
return std::any_cast<const ValueType &>(lhs) == rhs;
});
} }
private: private:
@ -321,12 +307,15 @@ private:
} }
/* /*
* Getter for template non-container types * Get argument value given a type
* @throws std::logic_error in case of incompatible types * @throws std::logic_error in case of incompatible types
*/ */
template <typename T> details::enable_if_not_container<T> get() const { template <typename T> T get() const {
if (!mValues.empty()) { if (!mValues.empty()) {
return std::any_cast<T>(mValues.front()); if constexpr (details::is_container_v<T>)
return any_cast_container<T>(mValues);
else
return std::any_cast<T>(mValues.front());
} }
if (mDefaultValue.has_value()) { if (mDefaultValue.has_value()) {
return std::any_cast<T>(mDefaultValue); return std::any_cast<T>(mDefaultValue);
@ -334,21 +323,6 @@ private:
throw std::logic_error("No value provided"); throw std::logic_error("No value provided");
} }
/*
* Getter for container types
* @throws std::logic_error in case of incompatible types
*/
template <typename CONTAINER>
details::enable_if_container<CONTAINER> get() const {
if (!mValues.empty()) {
return any_cast_container<CONTAINER>(mValues);
}
if (mDefaultValue.has_value()) {
return std::any_cast<CONTAINER>(mDefaultValue);
}
throw std::logic_error("No value provided");
}
template <typename T> template <typename T>
static auto any_cast_container(const std::vector<std::any> &aOperand) -> T { static auto any_cast_container(const std::vector<std::any> &aOperand) -> T {
using ValueType = typename T::value_type; using ValueType = typename T::value_type;