<分区>
这是std::default_delete的源代码来自 Visual Studio 2017 社区版。
template<class _Ty>
struct default_delete<_Ty[]>
{
// default deleter for unique_ptr to array of unknown size
constexpr default_delete() _NOEXCEPT = default;
template<class _Uty, class = typename enable_if<is_convertible<_Uty(*)[], _Ty(*)[]>::value, void>::type>
default_delete(const default_delete<_Uty[]>&) _NOEXCEPT
{
// construct from another default_delete
}
template<class _Uty, class = typename enable_if<is_convertible<_Uty(*)[], _Ty(*)[]>::value, void>::type>
void operator()(_Uty *_Ptr) const _NOEXCEPT
{
// delete a pointer
static_assert(0 < sizeof (_Uty), "can't delete an incomplete type");
delete[] _Ptr;
}
};
我注意到模板参数 _Uty(*)[]和 _Ty(*)[]在 is_convertible<_Uty(*)[], _Ty(*)[]>内部数组特化。
如果是_Ty(&)[]然后我会确定它是对 _Ty 类型数组的引用，如本 post 中所述, 但不知道什么是 _Ty(*)[]方法。
如果有人能阐明这个奇特的模板参数，那将非常有帮助。
编辑: 非常感谢你们所有人!我设法装配了一个函数，该函数采用指向数组的指针。
template <typename T>
T* func0(T(*parr)[], std::initializer_list<T> args)
{
int i = 0;
for (T arg : args)
(*parr)[i++] = arg;
return *parr;
}
template <typename T, unsigned S>
T* func1(T(*parr)[S], std::initializer_list<T> args)
{
int i = 0;
for (T arg : args)
(*parr)[i++] = arg;
return *parr;
}
int main(void)
{
std::string strs[5];
//std::string* pstrs = func1(&strs, {"133", "233", "333", "433", "533"}); // Not working! Cannot deduce template param T from args
std::string* pstrs = func1<std::string, 5>(&strs, {"133", "233", "333", "433", "533"}); // Works fine!
//std::string* pstrs = func0<std::string, 5>(&strs, {"133", "233", "333", "433", "533"}); // Not working! No instance of function template match
return 0;
}
我想知道为什么模板参数 T 不能从传递给 func1 的参数推导出来？
另外，尺寸信息似乎S在 T(*parr)[S]是必须的。