为什么 gsl::not_null 确保 ptr 在 get() 上不为空？

Question

在 Microsoft implementation 的指南支持库中，我看到以下代码：

template<class T>
class not_null {
    ...
    template <typename U, typename = std::enable_if_t<std::is_convertible<U, T>::value>>
    constexpr explicit not_null(U&& u) : ptr_(std::forward<U>(u)) {
        Expects(ptr_ != nullptr);
    }
    ...
    constexpr T get() const {
        Ensures(ptr_);
        return ptr_;
    }
    ...
    T ptr_;
}

gsl::not_null 的所有可能采用指针的构造函数都会检查这些指针是否为空，但我们仍然会在 each[上检查指针 (ptr_) 的存储值是否为空 取消引用。鉴于在 C++ 中我们通常不会为不需要的东西付费，为什么我们要进行此检查？

UP：确保实现如下（使用默认标志）：

#define GSL_LIKELY(x) (!!(x))
...
#define GSL_CONTRACT_CHECK(type, cond)                         \
(GSL_LIKELY(cond) ? static_cast<void>(0) : gsl::details::terminate())
...
#define Ensures(cond) GSL_CONTRACT_CHECK("Postcondition", cond)

Answer 1

评论已经说明了为什么不希望从 not_null::get() 中删除空检查。主要问题是更改允许在移动后取消引用智能指针。

例如，请参阅以下关于支持使用 not_null<unique_ptr> 的 PR 的讨论，以及更改如何与从 not_null::get()

中删除空检查不兼容

https://github.com/Microsoft/GSL/pull/675

至于性能问题，编译器优化器应该能够删除许多空检查，当然不是全部。如果某些检查没有被删除但看起来可以删除，我们应该修复编译器优化。

为什么 gsl::not_null 确保 ptr 在 get() 上不为空？

Why gsl::not_null ensures ptr is not null on get()?

c++

null

cpp-core-guidelines

guideline-support-library