summaryrefslogtreecommitdiffhomepage
path: root/options/value.hpp
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2019-01-16 11:21:03 +0100
committerStanislaw Halik <sthalik@misaki.pl>2019-01-16 11:21:03 +0100
commit328d832940ca76dc5d601ce00e4229556b077a18 (patch)
treedfb41a1beab127a6ab35499be7b77c492616a805 /options/value.hpp
parentc106c4a28a8d05a5c085cf69dd0eec704b7a6f97 (diff)
options/value: disallow const, volatile, and reference types
Diffstat (limited to 'options/value.hpp')
-rw-r--r--options/value.hpp31
1 files changed, 15 insertions, 16 deletions
diff --git a/options/value.hpp b/options/value.hpp
index daf87378..3478e842 100644
--- a/options/value.hpp
+++ b/options/value.hpp
@@ -35,16 +35,15 @@ namespace options::detail {
namespace options {
-template<typename u>
+template<typename t>
class value final : public value_
{
- using t = remove_cvref_t<u>;
+ static_assert(std::is_same_v<t, remove_cvref_t<t>>);
const t def;
-
using traits = detail::value_traits<t>;
cc_noinline
- t get() const noexcept
+ auto get() const noexcept
{
if (!b->contains(self_name))
return traits::pass_value(def);
@@ -96,20 +95,20 @@ public:
emit valueChanged(traits::storage_from_value(get()));
}
- value<u>& operator=(t&& datum) noexcept
+ auto& operator=(t&& datum) noexcept
{
store_variant(traits::qvariant_from_value(traits::pass_value(datum)));
return *this;
}
- value<u>& operator=(const t& datum) noexcept
+ auto& operator=(const t& datum) noexcept
{
t copy{datum};
*this = std::move(copy);
return *this;
}
- value<u>& operator=(const value<u>& datum) noexcept
+ auto& operator=(const value<t>& datum) noexcept
{
*this = *datum;
return *this;
@@ -122,7 +121,7 @@ public:
{
}
- value(const value<u>& other) noexcept : value{other.b, other.self_name, other.def} {}
+ value(const value<t>& other) noexcept : value{other.b, other.self_name, other.def} {}
t default_value() const
{
@@ -136,21 +135,21 @@ public:
operator t() const { return get(); }
- template<typename w>
- explicit cc_forceinline operator w() const { return to<w>(); }
+ template<typename u>
+ explicit cc_forceinline operator u() const { return to<u>(); }
auto operator->() const noexcept
{
- return detail::dereference_wrapper<t>{get()};
+ return detail::dereference_wrapper{get()};
}
- cc_forceinline t operator()() const noexcept { return get(); }
- cc_forceinline t operator*() const noexcept { return get(); }
+ cc_forceinline auto operator()() const noexcept { return get(); }
+ cc_forceinline auto operator*() const noexcept { return get(); }
- template<typename w>
- w to() const noexcept
+ template<typename u>
+ u to() const noexcept
{
- return static_cast<w>(get());
+ return static_cast<u>(get());
}
};