如何解决为什么C ++不尝试使用第二个模板重载？
我正在实现一个简单的智能指针类，所以我决定要制作自己的std::make_unique / std::make_shared函数版本，以便在完成后随其一起使用。我创建了这两个重载：
// note: Box<T> is my "unique pointer" type,it has a partial specialization for T[],// and it works as expected when created outside of these functions
template <class T,class... Args> Box<T> make_box(Args &&... args) {
auto ptr = new T(std::forward<Args>(args)...);
return Box<T>(std::move(ptr));
}
template <class T> Box<T> make_box(std::size_t size) {
auto ptr = new std::remove_extent_t<T>[size];
return Box<T>(std::move(ptr));
}
至少在此示例中，第一次重载可以正常工作
struct Point3D {
double x,y,z;
Point3D() = default;
Point3D(double x,double y,double z) : x{x},y{y},z{z} {};
};
// works exactly as expected,Box is created and does what it's supposed to
auto box = make_box<Point3D>(1.0,2.0,3.0);
但是，似乎没有使用数组的重载。如果我尝试使用数组类型T来调用它，则程序将无法编译。下面的代码在尝试使用第一个重载时给了我一个错误，甚至没有尝试使用第二个重载：
// Gives an error about "allocation of incomplete type 'Point3D []'
// from inside a template instantiation of 'make_box<Point3D [],int>'.
// the overload with one template parameter isn't used
auto box = make_box<Point3D[]>(20);
// Note that this works fine,and uses the Box specialization that calls delete[]:
Box<Point3D[]> boxed(new Point3D[20]);
这是什么原因？这两个重载似乎实际上与LLVM的std::make_unique和GNU的libc++中libstdc++的实现相同。它也可以在多个编译器上执行（已使用-std=c++17 -Wall -Wextra -pedantic进行了GCC 10.1和Clang 10.0.1测试）。
编辑：Box类的定义：
template <class T> class Box {
T *m_ptr;
public:
explicit Box(T *&&ptr) : m_ptr{ptr} {}
Box() = delete;
Box(const Box &) = delete;
Box(Box &&other) : m_ptr{other.m_ptr} {}
~Box() { delete m_ptr; }
T &operator*() const { return *m_ptr; }
T *operator->() const { return m_ptr; }
};
template <class T> class Box<T[]> {
T *m_ptr;
public:
explicit Box(T *&&ptr) : m_ptr{ptr} {}
Box() = delete;
Box(const Box &) = delete;
Box(Box &&other) : m_ptr{other.m_ptr} {}
~Box() { delete[] m_ptr; }
T &operator*() const { return *m_ptr; }
T *operator->() const { return m_ptr; }
T &operator[](std::size_t idx) { return m_ptr[idx]; }
};
解决方法
“转发参考”推导的模板类型参数过于贪婪，这会干扰您的重载分辨率。
致电时
select snd.id,snd.name,snd.country
from posts as m
JOIN users as snd ON snd.id = m.id
where (m.post_from = 2 OR m.post_to = 2) # id 2 is jane from users
这实际上是通过auto box = make_box<Point3D[]>(20);
和make_box<T,Args...>调用T = Point32[]的-与调用Args = int相比，这无疑是更好的重载。这是因为make_box<T[]>(std::size_t)是20的PR值，需要转换为int才能准确匹配第二个过载。由于重载解析始终会选择不需要转换的重载，因此它会选择第一个重载。
此问题的解决方法是使用SFINAE防止当std::size_t是数组类型时选择Args...重载。这是为T完成的，以便在std::make_unique和T[]类型之间进行选择。 T的通常实现方式是通过SFINAE检测std::make_unique是标量，有界数组还是无界数组类型，并相应地提供重载。
使用这种方法，您的代码可以重写为：
T您还可以通过其他方式SFINAE防止这种情况的发生；我只是以这种方法为例，因为它也阻止指定 namespace detail {
template <typename T>
struct make_box_result
{
using object = T;
};
template <typename T>
struct make_box_result<T[]>
{
using unbounded_array = T[];
};
template <typename T,std::size_t N>
struct make_box_result<T[N]>
{
using bounded_array = T[N];
};
}
// Only enable 'Args...' overload for non-array types
template <typename T,typename...Args>
Box<typename detail::make_box_result<T>::object>
make_box(Args&&...args);
// Only enable 'size_t' overload for array types (unbounded arrays).
// Prevents the greedy lookup
template <typename T>
Box<typename detail::make_box_result<T>::unbounded_array>
make_box(std::size_t size);
// Disabled for fixed types
template <typename T>
Box<typename detail::make_box_result<T>::bounded_array>
make_box() = delete;
。
20是int文字，而不是std::size_t文字。这意味着首选第一次重载，因为不需要转换。您可以像这样强制类型，然后起作用：
auto box = make_box<Point3D[]>(std::size_t{20});
以这种方式重载，您将永远也无法在其构造函数只使用一个make_box()的类型上调用std::size_t，因为将首选第二种形式，并且整个过程都会失败。 / p>
您可以通过根据T是否引用数组类型来适当地启用每个功能来解决这两个问题：
template <class T,class... Args>
std::enable_if_t<!std::is_array_v<T>,Box<T>> make_box(Args &&... args) {
auto ptr = new T(std::forward<Args>(args)...);
return Box<T>(std::move(ptr));
}
template <class T>
std::enable_if_t<std::is_array_v<T>,Box<T>> make_box(std::size_t size) {
auto ptr = new std::remove_extent_t<T>[size];
return Box<T>(std::move(ptr));
}
该技术将允许您为数组类型实现另一个重载，直接将数组元素作为参数（尽管调用make_box<std::size_t>(10)会遇到相同的陷阱-这将创建一个包含10个元素的数组，目的可能是创建一个元素等于10的数组）
template <class T,class... Args>
std::enable_if_t<std::is_array_v<T>,Box<T>> make_box(Args && ... values) {
auto ptr = new std::remove_extent_t<T>[sizeof...(values)] { std::forward<Args>(values)... };
return Box<T>(std::move(ptr));
}
问题出在您的std::size参数上。 20的类型为int，因此此调用涉及一次转换。第一个过载是完美的匹配。
make_box<Point3D[]>(static_cast<std::size_t>(20))
可以工作，但是当然没有人愿意输入。
您可能希望从第一个重载中SFINAE清除数组类型。
template <class T,class... Args>
auto make_box(Args &&... args) ->
std::enable_if_t<!std::is_array_v<T>,Box<T>>
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。