mirror of
https://github.com/microsoft/GSL.git
synced 2024-11-03 17:56:43 -05:00
6418b5f4de
* Added c++17 test configurations for clang5.0 and clang6.0 * Fix #739 correct cppcorecheck warnings for clang-cl * Add clang-cl configurations * Corrections Appveyor; Temporarily disable msvc compilation for faster testing (#741) * Add path to clang-cl.exe (#741) * Escape backslash in path (#741) * Update vcpkg (#741) * Check vcpkg version; try without building vcpkg; use latest clang-cl from path (#741) * Fix blocks in ps script (#741) * Try accessing APPVEYOR_BUILD_FOLDER variable (#471) * Update span size() bug confirmation test for GCC 6.5 (#741) * MSVC flags to Clang-cl; disable c++98-compat and undefined macro warnings (#741) * Suppress clang warning on tests (missing-prototypes) (#741) * Fix clang warning -Wnewline-eof (#741) * Fix clang warning -Wdouble-promotion (#741) * Set linker explicitly * Clean condition statement * For Clang, fallback to the AppVeyor installed version of CMake * Fix clang warning -Wmissing-variable-declarations * Fallback to the MSVC linker until vcpkg has been updated * Revert "Fallback to the MSVC linker until vcpkg has been updated" This reverts commit7263f3289e
. * Fix clang warning -Wunused-member-function * Fix clang warning -Wmissing-noreturn * Fix clang warning -Winvalid-noreturn on Windows * Add macro block end comment on large #if blocks * Workaround: fallback to mscv link.exe * Workaround: get msvc paths into PowerShell through intermediate file * Workaround: fix, remove "PATH=" from text * Workaround: try with full-path; and return user PATH * Workaround: fix, escape backslashes * Revert all since "Workaround: fallback to mscv link.exe" did not work on AppVeyor This reverts the commits:bda3d6a428
97062933ac
0f4fb04bac
1b0c19afd1
a5739ea5f0
* Suppress output of git pull; remove vcpkg from cache * Re-enable AppVeyor builds for all platforms * Correct typo Co-Authored-By: Farwaykorse <Farwaykorse@users.noreply.github.com> * Add Clang-cl 7.0.0 to the supported platforms * Revert "Fix clang warning -Wunused-member-function" This reverts commit6fe1a42035
. * Fix or locally suppress clang warning -Wunused-member-function * format touched code and correct comment * git pull --quiet * fix logic error in workaround * fix missing bracket * Suppress output of mkdir * Replace MSBuild with Ninja * Suppress output of 7z * Add architecture flags for Clang * Drop workaround for lld-link * 7-zip Overwrite and Alternative output suppression without suppressing errors Replaces3c1c0794dd
* AppVeyor setup and CMake before build * reorder compiler configuration * remove unnecessary * remove -fno-strict-aliasing * remove -Wsign-conversion, since before v4.0 part of -Wconversion * -Wctor-dtor-privacy is GCC only * remove -Woverloaded-virtual part of -Wmost, part of -Wall * add -Wmissing-noreturn * remove the pragmas for -Wunused-member-function * Re-add MSBuild generator on AppVeyor * Print CMake commands * Add MSBuild toolset selection * Separate Architecture setting * clang-cl: add -Weverything * clang-cl -Wno-c++98-compat * clang-cl -Wno-c++98-compat-pedantic * clang-cl -Wno-missing-prototypes * clang-cl C++14 -Wno-unused-member-function * clang-cl -Wundef __GNUC__ * clang++: add -Weverything * clang++ -Wno-c++98-compat * clang++ -Wno-c++98-compat-pedantic * clang++ -Wno-missing-prototypes * clang++ -Wno-weak-vtables * clang++ C++14 -Wno-unused-member-function * clang++ fix -Wundef _MSC_VER * clang++ -Wno-padded * clang++ solve -Wdeprecated * Add AppleClang compiler target Since CMake v3.0 use of Clang for both is deprecated * clang++ v5.0 C++17 -Wno-undefined-func-template * Add VS2015 + LLVM/clang-cl to AppVeyor * Do not disable constexpr when compiling with clang-cl on Windows * Clean-up clang-only warnings (now under -Weverything) * Revert "Fix clang warning -Winvalid-noreturn on Windows" This reverts commit2238c4760e
. * Suppress -Winvalid-noreturn for the MS STL noexception workaround * CMake: put preprocessor definition in target_compile_definitions * Solve compiler warning C4668: __GNUC__ not defined
295 lines
8.9 KiB
Plaintext
295 lines
8.9 KiB
Plaintext
///////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Copyright (c) 2015 Microsoft Corporation. All rights reserved.
|
|
//
|
|
// This code is licensed under the MIT License (MIT).
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
// THE SOFTWARE.
|
|
//
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
#ifndef GSL_POINTERS_H
|
|
#define GSL_POINTERS_H
|
|
|
|
#include <gsl/gsl_assert> // for Ensures, Expects
|
|
|
|
#include <algorithm> // for forward
|
|
#include <iosfwd> // for ptrdiff_t, nullptr_t, ostream, size_t
|
|
#include <memory> // for shared_ptr, unique_ptr
|
|
#include <system_error> // for hash
|
|
#include <type_traits> // for enable_if_t, is_convertible, is_assignable
|
|
|
|
#if defined(_MSC_VER) && _MSC_VER < 1910 && !defined(__clang__)
|
|
#pragma push_macro("constexpr")
|
|
#define constexpr /*constexpr*/
|
|
|
|
#endif // defined(_MSC_VER) && _MSC_VER < 1910
|
|
|
|
namespace gsl
|
|
{
|
|
|
|
//
|
|
// GSL.owner: ownership pointers
|
|
//
|
|
using std::unique_ptr;
|
|
using std::shared_ptr;
|
|
|
|
//
|
|
// owner
|
|
//
|
|
// owner<T> is designed as a bridge for code that must deal directly with owning pointers for some reason
|
|
//
|
|
// T must be a pointer type
|
|
// - disallow construction from any type other than pointer type
|
|
//
|
|
template <class T, class = std::enable_if_t<std::is_pointer<T>::value>>
|
|
using owner = T;
|
|
|
|
//
|
|
// not_null
|
|
//
|
|
// Restricts a pointer or smart pointer to only hold non-null values.
|
|
//
|
|
// Has zero size overhead over T.
|
|
//
|
|
// If T is a pointer (i.e. T == U*) then
|
|
// - allow construction from U*
|
|
// - disallow construction from nullptr_t
|
|
// - disallow default construction
|
|
// - ensure construction from null U* fails
|
|
// - allow implicit conversion to U*
|
|
//
|
|
template <class T>
|
|
class not_null
|
|
{
|
|
public:
|
|
static_assert(std::is_assignable<T&, std::nullptr_t>::value, "T cannot be assigned nullptr.");
|
|
|
|
template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
|
|
constexpr not_null(U&& u) : ptr_(std::forward<U>(u))
|
|
{
|
|
Expects(ptr_ != nullptr);
|
|
}
|
|
|
|
template <typename = std::enable_if_t<!std::is_same<std::nullptr_t, T>::value>>
|
|
constexpr not_null(T u) : ptr_(u)
|
|
{
|
|
Expects(ptr_ != nullptr);
|
|
}
|
|
|
|
template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
|
|
constexpr not_null(const not_null<U>& other) : not_null(other.get())
|
|
{
|
|
}
|
|
|
|
not_null(not_null&& other) = default;
|
|
not_null(const not_null& other) = default;
|
|
not_null& operator=(const not_null& other) = default;
|
|
|
|
constexpr T get() const
|
|
{
|
|
Ensures(ptr_ != nullptr);
|
|
return ptr_;
|
|
}
|
|
|
|
constexpr operator T() const { return get(); }
|
|
constexpr T operator->() const { return get(); }
|
|
constexpr decltype(auto) operator*() const { return *get(); }
|
|
|
|
// prevents compilation when someone attempts to assign a null pointer constant
|
|
not_null(std::nullptr_t) = delete;
|
|
not_null& operator=(std::nullptr_t) = delete;
|
|
|
|
// unwanted operators...pointers only point to single objects!
|
|
not_null& operator++() = delete;
|
|
not_null& operator--() = delete;
|
|
not_null operator++(int) = delete;
|
|
not_null operator--(int) = delete;
|
|
not_null& operator+=(std::ptrdiff_t) = delete;
|
|
not_null& operator-=(std::ptrdiff_t) = delete;
|
|
void operator[](std::ptrdiff_t) const = delete;
|
|
|
|
private:
|
|
T ptr_;
|
|
};
|
|
|
|
template <class T>
|
|
auto make_not_null(T&& t) {
|
|
return not_null<std::remove_cv_t<std::remove_reference_t<T>>>{std::forward<T>(t)};
|
|
}
|
|
|
|
template <class T>
|
|
std::ostream& operator<<(std::ostream& os, const not_null<T>& val)
|
|
{
|
|
os << val.get();
|
|
return os;
|
|
}
|
|
|
|
template <class T, class U>
|
|
auto operator==(const not_null<T>& lhs, const not_null<U>& rhs) -> decltype(lhs.get() == rhs.get())
|
|
{
|
|
return lhs.get() == rhs.get();
|
|
}
|
|
|
|
template <class T, class U>
|
|
auto operator!=(const not_null<T>& lhs, const not_null<U>& rhs) -> decltype(lhs.get() != rhs.get())
|
|
{
|
|
return lhs.get() != rhs.get();
|
|
}
|
|
|
|
template <class T, class U>
|
|
auto operator<(const not_null<T>& lhs, const not_null<U>& rhs) -> decltype(lhs.get() < rhs.get())
|
|
{
|
|
return lhs.get() < rhs.get();
|
|
}
|
|
|
|
template <class T, class U>
|
|
auto operator<=(const not_null<T>& lhs, const not_null<U>& rhs) -> decltype(lhs.get() <= rhs.get())
|
|
{
|
|
return lhs.get() <= rhs.get();
|
|
}
|
|
|
|
template <class T, class U>
|
|
auto operator>(const not_null<T>& lhs, const not_null<U>& rhs) -> decltype(lhs.get() > rhs.get())
|
|
{
|
|
return lhs.get() > rhs.get();
|
|
}
|
|
|
|
template <class T, class U>
|
|
auto operator>=(const not_null<T>& lhs, const not_null<U>& rhs) -> decltype(lhs.get() >= rhs.get())
|
|
{
|
|
return lhs.get() >= rhs.get();
|
|
}
|
|
|
|
// more unwanted operators
|
|
template <class T, class U>
|
|
std::ptrdiff_t operator-(const not_null<T>&, const not_null<U>&) = delete;
|
|
template <class T>
|
|
not_null<T> operator-(const not_null<T>&, std::ptrdiff_t) = delete;
|
|
template <class T>
|
|
not_null<T> operator+(const not_null<T>&, std::ptrdiff_t) = delete;
|
|
template <class T>
|
|
not_null<T> operator+(std::ptrdiff_t, const not_null<T>&) = delete;
|
|
|
|
} // namespace gsl
|
|
|
|
namespace std
|
|
{
|
|
template <class T>
|
|
struct hash<gsl::not_null<T>>
|
|
{
|
|
std::size_t operator()(const gsl::not_null<T>& value) const { return hash<T>{}(value); }
|
|
};
|
|
|
|
} // namespace std
|
|
|
|
namespace gsl
|
|
{
|
|
|
|
//
|
|
// strict_not_null
|
|
//
|
|
// Restricts a pointer or smart pointer to only hold non-null values,
|
|
//
|
|
// - provides a strict (i.e. explicit contructor from T) wrapper of not_null
|
|
// - to be used for new code that wishes the design to be cleaner and make not_null
|
|
// checks intentional, or in old code that would like to make the transition.
|
|
//
|
|
// To make the transition from not_null, incrementally replace not_null
|
|
// by strict_not_null and fix compilation errors
|
|
//
|
|
// Expect to
|
|
// - remove all unneded conversions from raw pointer to not_null and back
|
|
// - make API clear by specifyning not_null in parameters where needed
|
|
// - remove unnesessary asserts
|
|
//
|
|
template <class T>
|
|
class strict_not_null: public not_null<T>
|
|
{
|
|
public:
|
|
|
|
template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
|
|
constexpr explicit strict_not_null(U&& u) :
|
|
not_null<T>(std::forward<U>(u))
|
|
{}
|
|
|
|
template <typename = std::enable_if_t<!std::is_same<std::nullptr_t, T>::value>>
|
|
constexpr explicit strict_not_null(T u) :
|
|
not_null<T>(u)
|
|
{}
|
|
|
|
template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
|
|
constexpr strict_not_null(const not_null<U>& other) :
|
|
not_null<T>(other)
|
|
{}
|
|
|
|
template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
|
|
constexpr strict_not_null(const strict_not_null<U>& other) :
|
|
not_null<T>(other)
|
|
{}
|
|
|
|
strict_not_null(strict_not_null&& other) = default;
|
|
strict_not_null(const strict_not_null& other) = default;
|
|
strict_not_null& operator=(const strict_not_null& other) = default;
|
|
strict_not_null& operator=(const not_null<T>& other)
|
|
{
|
|
not_null<T>::operator=(other);
|
|
return *this;
|
|
}
|
|
|
|
// prevents compilation when someone attempts to assign a null pointer constant
|
|
strict_not_null(std::nullptr_t) = delete;
|
|
strict_not_null& operator=(std::nullptr_t) = delete;
|
|
|
|
// unwanted operators...pointers only point to single objects!
|
|
strict_not_null& operator++() = delete;
|
|
strict_not_null& operator--() = delete;
|
|
strict_not_null operator++(int) = delete;
|
|
strict_not_null operator--(int) = delete;
|
|
strict_not_null& operator+=(std::ptrdiff_t) = delete;
|
|
strict_not_null& operator-=(std::ptrdiff_t) = delete;
|
|
void operator[](std::ptrdiff_t) const = delete;
|
|
};
|
|
|
|
// more unwanted operators
|
|
template <class T, class U>
|
|
std::ptrdiff_t operator-(const strict_not_null<T>&, const strict_not_null<U>&) = delete;
|
|
template <class T>
|
|
strict_not_null<T> operator-(const strict_not_null<T>&, std::ptrdiff_t) = delete;
|
|
template <class T>
|
|
strict_not_null<T> operator+(const strict_not_null<T>&, std::ptrdiff_t) = delete;
|
|
template <class T>
|
|
strict_not_null<T> operator+(std::ptrdiff_t, const strict_not_null<T>&) = delete;
|
|
|
|
template <class T>
|
|
auto make_strict_not_null(T&& t) {
|
|
return strict_not_null<std::remove_cv_t<std::remove_reference_t<T>>>{std::forward<T>(t)};
|
|
}
|
|
|
|
} // namespace gsl
|
|
|
|
namespace std
|
|
{
|
|
template <class T>
|
|
struct hash<gsl::strict_not_null<T>>
|
|
{
|
|
std::size_t operator()(const gsl::strict_not_null<T>& value) const { return hash<T>{}(value); }
|
|
};
|
|
|
|
} // namespace std
|
|
|
|
#if defined(_MSC_VER) && _MSC_VER < 1910 && !defined(__clang__)
|
|
|
|
#undef constexpr
|
|
#pragma pop_macro("constexpr")
|
|
|
|
#endif // defined(_MSC_VER) && _MSC_VER < 1910 && !defined(__clang__)
|
|
|
|
#endif // GSL_POINTERS_H
|