5

我想用 a 替换我类中的一些原始指针，std::shared_ptr这样我在创建该类的副本时就不必担心。但是原始指针指向一个动态数组。当您给它一个自定义删除器时，可以将 shared_ptr 与动态数组一起使用，例如。G。default_delete<T[]>.

但是，一旦我尝试为该字段分配新值，即使在构造时，我也会得到一个很大的错误列表。

这是一个最小的代码示例：

#include <memory>
#include <cstddef>

using namespace std;

template<typename T> shared_ptr<T[]> make_shared_array(size_t size)
{
  return shared_ptr<T[]>(new T[size], default_delete<T[]>());
}

struct Foo
{
  shared_ptr<char[]> field;
};

int main()
{
  Foo a;
  // This line produces the error.
  a.field = make_shared_array<char>(256);

  return 0;
}

注意：是的，我知道我可以/应该vector代替动态数组。但他们的表现并不相同。我做了一些繁重的图像处理，并且数组保存了像素。在低于 VGA 分辨率的情况下，处理时间从 8 秒增加到 11 秒。这是相当多的。

更新：当然我可以在这里提供错误。我只是不知道我是否应该用它来混淆问题描述。但这里是：

C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\INCLUDE\memory(754)：错误 C2664：'std::_Ptr_base<_Ty>::_Reset0'：无法将参数 1 从 'char ' 转换为 'char ( )[]'
与
[
_Ty=char []
]
指向的类型不相关；转换需要 reinterpret_cast、C 样式转换或函数样式转换
C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\INCLUDE\memory(723)：请参阅对函数模板实例化的参考 'void std::shared_ptr<_Ty >::_Resetp0<_Ux>(_Ux *,std::_Ref_count_base *)' 正在
使用
[
_Ty=char [] 编译，


C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\INCLUDE\memory(723) ：参见对函数模板实例化的参考 'void std::shared_ptr<_Ty>::_Resetp0<_Ux>(_Ux *,std: :_Ref_count_base *)' 正在
使用
[
_Ty=char [],
_Ux=char
]
C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\INCLUDE\memory(494) 编译：参见对函数模板实例化的参考 'void std::shared_ptr<_Ty>::_Resetp<_Ux,_Dx>(_Ux *,_Dx)' 正在编译 [ _Ty=char [],
_Ux =char, _Dx=std::default_delete ]





C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\INCLUDE\memory(494) ：参见对函数模板实例化的引用 'void std::shared_ptr<_Ty>::_Resetp<_Ux,_Dx>(_Ux *, _Dx)' 正在
使用
[
_Ty=char [],
_Ux=char,
_Dx=std::default_delete
]编译
问题.cpp(9) ：参见对函数模板实例化 'std::shared_ptr<_Ty>::shared_ptr>( _Ux *,_Dx)'
使用
[
_Ty=char [],
T=char,
_Ux=char,
_Dx=std::default_delete
]编译
problem.cpp(9) : 请参阅
使用
[
_Ty=char [],
T=char,
_Ux=char,编译的函数模板实例化 'std::shared_ptr<_Ty>::shared_ptr>(_Ux *,_Dx)' 的参考
_Dx=std::default_delete
]
problem.cpp(21) : 请参阅
使用
[
_Ty=char []
] 编译的函数模板实例化 'std::shared_ptr<_Ty> make_shared_array(size_t)' 的参考

4

4 回答 4

8

您建议的解决方案是可能的，但您会丢失数组的大小：

#include <memory>
#include <cstddef>

using namespace std;

template<typename T> shared_ptr<T> make_shared_array(size_t size)
{
   return shared_ptr<T>(new T[size], default_delete<T[]>());
}

struct Foo
{
  shared_ptr<char> field;
};

int main()  
{
  Foo a;
  a.field = make_shared_array<char>(256);

 return 0;
}

我在这里所做的就是让数组衰减成一个指针。只要删除器是数组删除器，它就应该正确运行。

为了防止这种大小损失，并且如果您不能按照建议使用 boost::shared_array，我建议将此信息封装在您自己的 shared_array 类中。

于 2013-02-19T12:38:34.440 回答
4

如果你坚持不应该使用std::vector，Boost 有一个boost::shared_array作为智能指针来管理动态分配的对象数组。

shared_ptr不是为处理数组而设计的。既然shared_array是可用的，为什么要尝试shared_ptr在数组s上使用呢？

于 2013-02-19T12:26:45.947 回答
3

如果您指定了删除器，则不要T[]在模板参数中使用。只需更改T[]为T：

template <typename T> shared_ptr<T> make_shared_array(size_t size)
{
  return shared_ptr<T>(new T[size], default_delete<T[]>());
}

struct Foo
{
  shared_ptr<char> field;
};
于 2013-02-19T13:09:04.693 回答
3

std::unique_ptr专门用于数组类型，因此您可以使用T[]它，它会知道它仍然只是存储一个T*. std::shared_ptr不是以这种方式专门化的，因此 ashared_ptr<T[]>将尝试存储指向数组的指针T(*)[]，这与 C++ 中围绕原始数组的约定不能很好地工作。更不用说大小未知的数组是不完整的类型，shared_ptr最终需要一个完整的类型。

您提到知道这std::vector应该是一个更好的解决方案，但表现不佳。它应该表现得很好，你可能最好弄清楚为什么它没有。

于 2013-02-20T19:42:49.300 回答