C++为什么原始指针不应拥有所有权

本篇内容主要讲解“C++为什么原始指针不应拥有所有权”，感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷，实用性强。下面就让小编来带大家学习“C++为什么原始指针不应拥有所有权”吧!

10年积累的网站建设、成都网站建设经验，可以快速应对客户对网站的新想法和需求。提供各种问题对应的解决方案。让选择我们的客户得到更好、更有力的网络服务。我虽然不认识你，你也不认识我。但先网站制作后付款的网站建设流程，更有临颍免费网站建设让你可以放心的选择与我们合作。

R.3: 原始指针(T*)不应拥有所有权

Reason(原因)

这一点不存在任何例外(无论是C++标准还是大部分代码)而且大多数原始指针就是没有所有权的。我们需要所有权指针被定义出来，这样就可以可靠地，高效地删除所有权指针指向的对象。

Example(示例)

void f()
{
   int* p1 = new int{7};           // bad: raw owning pointer
   auto p2 = make_unique(7);  // OK: the int is owned by a unique pointer
   // ...
}

unique_ptr通过(即使在发生异常的情况下)保证对象的删除来防止内存泄露。而T*不会。

Example(示例)

template
class X {
public:
   T* p;   // bad: it is unclear whether p is owning or not
   T* q;   // bad: it is unclear whether q is owning or not
   // ...
};

我们可以通过明确地赋予所有权来解决这个问题。

template
class X2 {
public:
   owner p;  // OK: p is owning
   T* q;         // OK: q is not owning
   // ...
};

Exception(例外)

例外主要来源于既有代码，特别是那些由于ABIs必须保持C兼容性或者包含C或C风格C++接口的情况。事实上存在成百万行的代码违反这条反对T*持有所有权的准则，它们不能被忽略。我们很高兴地看到软件工具可以将20年以上的老代码转换为崭新的现代C++代码，我们鼓励这类工具的开发、部署和使用，我们甚至向这个领域的研究做出了贡献，而且将继续做出贡献。然而这需要时间：“既有代码”的产生快于我们翻新旧代码的速度，因此这个过程将会持续一些年。

不可能所有的代码都被重写(即使存在优秀的转换软件)，很快重写更不可能。这个问题不可能通过将所有具有所有权指针转换为unique_ptr和shared_ptr来解决，一部分的原因是基础的资源持有者需要/使用具有所有权的原始指针(同时也是简单指针)。例如，普通的vector实现包含一个所有权指针和两个非所有权指针。很多ABI（本质上讲所有面向C语言的接口）使用T*，其中有些具有所有权。因为需要维持C语言可编译，因此有些接口不能简单地加注所有权(虽然这是很少见的宏的好用法，它只是在C++模式时展开成为所有权指针)。

Note(注意)

owner没有包含任何超过T*的语义。它不修改任何代码就可以使用而且不会影响ABI。它只是面向程序员和分析工具的一个指示信息。例如，如果owner是某类的成员，那个最好准备一个析构函数来销毁它。

Example, bad(反面示例)

返回一个(原始)指针会增加调用者生命周期管理的不确定性；即：谁应该销毁指针指向的对象？

Gadget* make_gadget(int n)
{
   auto p = new Gadget{n};
   // ...
   return p;
}

void caller(int n)
{
   auto p = make_gadget(n);   // remember to delete p
   // ...
   delete p;
}

这段代码可以排除来自内存泄漏问题的痛苦，但是增加了虚假的分配和释放操作和没有必要的冗长性。如果Gadget很容易移出函数(也就是说，很小或者存在高效的移动操作），直接只用传值(参照“输出“返回值）。

Gadget make_gadget(int n)
{
   Gadget g{n};
   // ...
   return g;
}

Note(注意)

这条准则适用于工厂函数。

Note(注意)

如果需要指针语义(例如因为返回的指针需要指向类层次中的基类(某个接口)),返回一个智能指针。

Enforcement(实施建议)

(Simple) Warn on delete of a raw pointer that is not an owner.
(简单)警告销毁owner类型之外的原始指针的情况。
(Moderate) Warn on failure to either reset or explicitly delete an owner pointer on every code path.
(中等)如果没有在所有代码路径上重置或者销毁onwer指针，发出警告。
(Simple) Warn if the return value of new is assigned to a raw pointer.
(简单)如果new的返回值赋给原始指针，发出警告。
(Simple) Warn if a function returns an object that was allocated within the function but has a move constructor. Suggest considering returning it by value instead.、
(简单)如果一个函数返回的对象在函数内分配内存，但是包含移动构造函数。提出建议通过传值方式返回。

到此，相信大家对“C++为什么原始指针不应拥有所有权”有了更深的了解，不妨来实际操作一番吧！这里是创新互联网站，更多相关内容可以进入相关频道进行查询，关注我们，继续学习！

文章名称：C++为什么原始指针不应拥有所有权
分享链接：http://mswzjz.cn/article/gggoep.html

网站建设知识

C++为什么原始指针不应拥有所有权

Reason(原因)

Exception(例外)

Note(注意)

其他资讯