有没有一种方法可以在C++中指定指针指向始终有效的数据

Is there a way to specify in C++ that a pointer points to data that is always valid?

本文关键字：指针 定指 数据 有效 C++ 一种 方法 有没有      更新时间：2023-10-16

在作为指针的函数参数（foo（void*bar））中，您可以使用const来指定指针（参数）本身是常量（foo（void*const bar）），和/或指针指向的数据是常量（foo）。

然而，在foo（void const*bar）的情况下，这只是向调用方保证foo不会试图修改bar指向的数据。它并不能保证bar指向的内存位置始终有效。

在处理可执行映像中的常量数据的情况下，如果您可以向foo提供这种保证，并且如果foo需要在函数调用的持续时间之外保留对该数据的引用，那么foo可以简单地保留指针的副本，而不必制作数据的副本。

有没有一种方法可以在C++类型的系统中对这种保证进行编码？

谢谢。

Q：有没有一种方法可以在C++中指定指针指向始终有效的数据？

A： 不。你总是有能力射中自己的脚：）

不使用原始指针，但您可以使用shared_ptr或unique_ptr来表示函数拥有指针的所有权。

如果接受指针作为输入，就没有真正的方法来保证它。然而，您可以维护一个有效指针表，并让您的输入成为该表的索引；您可以通过确保索引位于表中来验证这一点。

除此之外，您所能做的最好的事情就是捕获使用坏指针时发生的异常/信号，并尝试从中恢复

我采用的方法是创建一个类表示，它引入了一个语义，指定支持数据为static。然后只需确保它不会被琐碎地构建，或者它的数据不会被重新分配。

所以不，没有直接的语言特征，但引入语义已经足够容易了。

下面是一个关于如何防止客户端意外地将标准数据提升到不朽数据容器的示例：

template <typename T>
class t_immortal_data_container {
public:
  // how clients create t_immortal_data_container<T>,
  // avoiding implicit promotions:
  static t_immortal_data_container Create(T& pImmortalData) {
    return t_immortal_data_container(pImmortalData);
  }
  ~t_immortal_data_container() {
  }
public:
  ...
private:
  // private: ensure t_immortal_data_container<T> only can use
  // this constructor:
  t_immortal_data_container(T& pData) : d_immortalData(pData) {
  }
private:
  T d_immortalData; /* << as pointer or reference */
private:
  // prohibited -- no definition
  t_immortal_data_container() /* = delete */ ;
};

然后更新程序以接受此类型作为参数，并相应地处理这些情况。

相关文章：