address CI build failure

Issue #300
This commit is contained in:
Crzyrndm 2018-07-07 21:14:44 +12:00
parent 4dd3e475ac
commit c87c0e3975

View File

@ -92,6 +92,54 @@ public:
} }
} }
/// <summary>
/// Copies the value into the stored value
/// </summary>
void set(const T &value) noexcept(std::is_nothrow_copy_constructible<T>{} && std::is_nothrow_assignable<T, T>{})
{
if (has_value_)
{
value_ref() = value;
}
else
{
new (&storage_) T(value);
has_value_ = true;
}
}
/// <summary>
/// Moves the value into the stored value
/// </summary>
void set(T &&value) noexcept(std::is_nothrow_move_constructible<T>{} && std::is_nothrow_move_assignable<T>{})
{
// note seperate overload for two reasons (as opposed to perfect forwarding)
// 1. have to deal with implicit conversions internally with perfect forwarding
// 2. have to deal with the noexcept specfiers for all the different variations
// overload is just far and away the simpler solution
if (has_value_)
{
value_ref() = std::move(value);
}
else
{
new (&storage_) T(std::move(value));
has_value_ = true;
}
}
/// <summary>
/// After this is called, is_set() will return false until a new value is provided.
/// </summary>
void clear() noexcept(std::is_nothrow_destructible<T>{})
{
if (has_value_)
{
reinterpret_cast<T *>(&storage_)->~T();
}
has_value_ = false;
}
/// <summary> /// <summary>
/// Copy assignment of this optional from other /// Copy assignment of this optional from other
/// noexcept if set and clear are noexcept for T& /// noexcept if set and clear are noexcept for T&
@ -144,42 +192,6 @@ public:
return has_value_; return has_value_;
} }
/// <summary>
/// Copies the value into the stored value
/// </summary>
void set(const T &value) noexcept(std::is_nothrow_copy_constructible<T>{} && std::is_nothrow_assignable<T, T>{})
{
if (has_value_)
{
value_ref() = value;
}
else
{
new (&storage_) T(value);
has_value_ = true;
}
}
/// <summary>
/// Moves the value into the stored value
/// </summary>
void set(T &&value) noexcept(std::is_nothrow_move_constructible<T>{} && std::is_nothrow_move_assignable<T>{})
{
// note seperate overload for two reasons (as opposed to perfect forwarding)
// 1. have to deal with implicit conversions internally with perfect forwarding
// 2. have to deal with the noexcept specfiers for all the different variations
// overload is just far and away the simpler solution
if (has_value_)
{
value_ref() = std::move(value);
}
else
{
new (&storage_) T(std::move(value));
has_value_ = true;
}
}
/// <summary> /// <summary>
/// Assignment operator overload. Equivalent to setting the value using optional::set. /// Assignment operator overload. Equivalent to setting the value using optional::set.
/// </summary> /// </summary>
@ -198,17 +210,7 @@ public:
return *this; return *this;
} }
/// <summary>
/// After this is called, is_set() will return false until a new value is provided.
/// </summary>
void clear() noexcept(std::is_nothrow_destructible<T>{})
{
if (has_value_)
{
reinterpret_cast<T *>(&storage_)->~T();
}
has_value_ = false;
}
/// <summary> /// <summary>
/// Gets the value. If no value has been initialized in this object, /// Gets the value. If no value has been initialized in this object,