diff options
author | Chris Robinson <[email protected]> | 2020-12-27 06:43:59 -0800 |
---|---|---|
committer | Chris Robinson <[email protected]> | 2020-12-27 06:43:59 -0800 |
commit | 4c0f77c13e5e38b6fb4c4e2746a6f1adf373f290 (patch) | |
tree | bd6cd5fa362961b2d13d0afa7468cf00dc14feb6 | |
parent | 7833cfa8de1908710ac613ed4198f246ff0945db (diff) |
Remove some unnecessary constructors
-rw-r--r-- | common/aloptional.h | 31 | ||||
-rw-r--r-- | common/strutils.cpp | 6 |
2 files changed, 12 insertions, 25 deletions
diff --git a/common/aloptional.h b/common/aloptional.h index f19bc288..e48711f2 100644 --- a/common/aloptional.h +++ b/common/aloptional.h @@ -45,27 +45,11 @@ public: explicit optional(in_place_t, Args&& ...args) : mHasValue{true} , mValue{std::forward<Args>(args)...} { } - template<typename U, typename... Args, REQUIRES(std::is_constructible<T, std::initializer_list<U>&, Args...>::value)> - explicit optional(in_place_t, std::initializer_list<U> il, Args&& ...args) - : mHasValue{true}, mValue{il, std::forward<Args>(args)...} - { } - template<typename U=value_type, REQUIRES(std::is_constructible<T, U&&>::value && - !std::is_same<typename std::decay<U>::type, in_place_t>::value && - !std::is_same<typename std::decay<U>::type, optional<T>>::value && - std::is_constructible<U&&, T>::value)> - constexpr explicit optional(U&& value) : mHasValue{true}, mValue{std::forward<U>(value)} - { } - template<typename U=value_type, REQUIRES(std::is_constructible<T, U&&>::value && - !std::is_same<typename std::decay<U>::type, in_place_t>::value && - !std::is_same<typename std::decay<U>::type, optional<T>>::value && - !std::is_constructible<U&&, T>::value)> - constexpr optional(U&& value) : mHasValue{true}, mValue{std::forward<U>(value)} - { } ~optional() { if(mHasValue) al::destroy_at(std::addressof(mValue)); } optional& operator=(nullopt_t) noexcept { reset(); return *this; } - template<REQUIRES(std::is_copy_constructible<T>::value && std::is_copy_assignable<T>::value)> - optional& operator=(const optional &rhs) + std::enable_if_t<std::is_copy_constructible<T>::value && std::is_copy_assignable<T>::value, + optional&> operator=(const optional &rhs) { if(!rhs) reset(); @@ -75,8 +59,8 @@ public: DoConstruct(*rhs); return *this; } - template<REQUIRES(std::is_move_constructible<T>::value && std::is_move_assignable<T>::value)> - optional& operator=(optional&& rhs) + std::enable_if_t<std::is_move_constructible<T>::value && std::is_move_assignable<T>::value, + optional&> operator=(optional&& rhs) { if(!rhs) reset(); @@ -86,12 +70,13 @@ public: DoConstruct(std::move(*rhs)); return *this; } - template<typename U=T, REQUIRES(std::is_constructible<T, U>::value && + template<typename U=T> + std::enable_if_t<std::is_constructible<T, U>::value && std::is_assignable<T&, U>::value && !std::is_same<typename std::decay<U>::type, optional<T>>::value && (!std::is_same<typename std::decay<U>::type, T>::value || - !std::is_scalar<U>::value))> - optional& operator=(U&& rhs) + !std::is_scalar<U>::value), + optional&> operator=(U&& rhs) { if(*this) mValue = std::forward<U>(rhs); diff --git a/common/strutils.cpp b/common/strutils.cpp index 870a0ed3..18c4947a 100644 --- a/common/strutils.cpp +++ b/common/strutils.cpp @@ -46,7 +46,8 @@ namespace al { al::optional<std::string> getenv(const char *envname) { const char *str{std::getenv(envname)}; - if(str && str[0] != '\0') return str; + if(str && str[0] != '\0') + return al::make_optional<std::string>(str); return al::nullopt; } @@ -54,7 +55,8 @@ al::optional<std::string> getenv(const char *envname) al::optional<std::wstring> getenv(const WCHAR *envname) { const WCHAR *str{_wgetenv(envname)}; - if(str && str[0] != L'\0') return str; + if(str && str[0] != L'\0') + return al::make_optional<std::wstring>(str); return al::nullopt; } #endif |