为什么not_null还没有进入C++标准？-解网

问：

第 N 次将注释添加到原始指针后，我再次想知道模板发生了什么。"// not null"not_null

C++核心指南是很久以前创建的，并且已经有一些东西进入了标准，例如（有些类似于并起源于核心指南本身，但有时被混为一谈）。鉴于它相对简单，为什么not_null（或类似的东西）还没有进入标准？std::spanstring_viewstd::array

我定期扫描 ISO 邮件（但可能不彻底），我什至不知道有什么建议。

可能回答我自己的问题。我不记得遇到过任何情况，它可以防止我所处理的代码中的错误，因为我们尽量不以这种方式编写代码。

指南本身非常受欢迎，例如将其变成 clang-tidy 和声纳。支持库似乎不太受欢迎。

例如，boost 从一开始就作为 Linux 上的软件包提供。我不知道GSL的任何实现。不过，我认为它与Windows上的Visual C++捆绑在一起。

由于人们在评论中问过。

就我自己而言，我会用它来记录意图。像这样的结构可能具有注释所没有的语义价值。执行它是次要的，尽管我可以看到它的位置。这最好是在零开销的情况下完成的（也许只在编译时用于有限数量的情况）。not_null<>

我主要考虑的是原始指针成员变量的情况。我忘记了将指针传递给函数的情况，我总是使用引用来表示非 null，也表示“我没有所有权”。

同样（对于类成员），我们也可以记录所有权。owned<>not_owned<>

我想是否允许更改关联的对象。不过，这可能太高了。您可以使用引用成员而不是指针来记录这一点。我自己避免引用成员，因为我几乎总是想要可复制和可分配的类型。但是，请参阅例如，我应该在成员数据中更喜欢指针还是引用？，以获取有关此内容的一些讨论。

另一个维度是另一个实体是否可以修改变量。 “const”表示我保证不修改它。在多线程代码中，我们想说的几乎相反。那是“其他代码承诺在我们使用它时不会修改它”（没有显式锁），但这离题了......

C++ CPP 核心指南

@BruceAdams：“这假定原始指针的not_null本身没有用。你的意思是，除了我承认那里也有有用的案例的部分？“为什么它需要适用于所有可以想象到的情况？”因为如果它不具有普遍性，它就没有发挥作用。重点是消除歧义。如果它留下了歧义，那么你必须依靠其他方法。所以你不妨使用总是有效的东西。

1赞 c z 10/12/2023 #2

Not-null除了拥有指针之外，在任何事情上都没有意义。对于无主数据，我们已经有了引用（），或者对于可变情况，引用包装器（）。int&std::reference_wrapper<int>

我自己尝试了一个非空指针的 MWE，并很快意识到它不适用于一般情况：

#include <iostream>
#include <memory>

template<typename T>
class NotNull
{
    std::unique_ptr<T> _ptr;

public:
    template<typename...U>
    NotNull(U...args) : _ptr(std::make_unique<T>(std::forward<U>(args)...))
    {}

    NotNull(NotNull<T> &&moveFrom) noexcept : _ptr(std::move(moveFrom._ptr))
    { AssertNotNull(); }

    NotNull<T> &operator=(NotNull<T> &&moveFrom) noexcept
    { _ptr = std::move(moveFrom._ptr); }

    void AssertNotNull()
    { if (!_ptr) throw std::runtime_error("Attempt to copy null."); }

    T &operator*()
    { AssertNotNull(); return *_ptr; }

    T *operator->()
    { AssertNotNull(); return _ptr.get(); }
};

int main()
{
    NotNull<int> a(42);
    std::cout << *a << "\n";
    NotNull<int> b = std::move(a);
    std::cout << *b;
    std::cout << *a << "\n"; // throws
    return 0;
}

我们不能有一个空值的构造函数......
...但是当我们移动对象时，我们会得到一个 null 值......
...所以现在我们的类到处都需要讨厌的运行时断言。这揭示了问题：
- 我们是否应该避免冗余（连续）检查？什么时候？
- 我们是否应该将检查设为条件（例如调试模式）？
这开辟了太多的途径，这让我们回到了仅仅使用 .然后，用户可以为其特定案例提供自己的检查或包装器。unique_ptr

此外，我们在这里实际检查的是移动后使用，大多数 IDE 倾向于将其标记为问题。

也就是说，如果是为了代码的文档，Stroustrup 已经为此目的提出了建议（在这种情况下表示所有权;请参阅此 SO 答案）。我们可以很容易地写出：using

template<typename T> using notnull_ptr = std::unique_ptr<T>;

上一个：如何衰减作为引用传递给具有可变参数的函数的常量字符？

下一个：在这种情况下，如何防止违反ODR规定？

为什么not_null还没有进入C++标准？

Why hasn't not_null made it into the C++ standard yet?

评论

评论