我有哪些为 stl 类型添加推导指南的选项
What are my options for adding deduction guides for stl types
post 已经解释了如何在 std 命名空间中添加推导指南是未定义的。
现在，我真正想做的是：
namespace std { // undefined behavior
template <class... U>
array(char const*, U...) -> array<string, 1 + sizeof...(U)>;
}
这就是我尝试过的方法：
template <typename T, std::size_t N>
struct array : std::array<T, N> {};
template <class... U>
array(char const*, U...) -> array<std::string, 1 + sizeof...(U)>;
template <typename T, class... U>
array(T, U...) -> array<T, 1 + sizeof...(U)>;
而且有效
auto const arr = array{ "hello", "world" };
// array<std::string, 2ul>
我现在的问题是：
问：这是我为 stl 类型添加演绎指南的唯一选择吗？还有其他选择吗？
Is this my only option for adding deduction guides for stl types?
是 - 从某种意义上说，您所做的不是为标准库中的类型添加推导指南，而是为您自己的类型（恰好继承自标准库类型）添加推导指南。您可以随时为自己的类型添加演绎指南。
Are there other options?
这 没有 使用 CTAD。你也可以写一个函数：
auto const arr = make_array("hello", "world");
这样 make_array 给你一个 std::array<T, N> 其中 T 是第一个元素的衰减类型，或者，如果该类型是 char const*，string 相反。
现在，我真正想做的是：
namespace std { // undefined behavior
template <class... U>
array(char const*, U...) -> array<string, 1 + sizeof...(U)>;
}
这就是我尝试过的方法：
template <typename T, std::size_t N>
struct array : std::array<T, N> {};
template <class... U>
array(char const*, U...) -> array<std::string, 1 + sizeof...(U)>;
template <typename T, class... U>
array(T, U...) -> array<T, 1 + sizeof...(U)>;
而且有效
auto const arr = array{ "hello", "world" };
// array<std::string, 2ul>
我现在的问题是：
问：这是我为 stl 类型添加演绎指南的唯一选择吗？还有其他选择吗？
Is this my only option for adding deduction guides for stl types?
是 - 从某种意义上说，您所做的不是为标准库中的类型添加推导指南，而是为您自己的类型（恰好继承自标准库类型）添加推导指南。您可以随时为自己的类型添加演绎指南。
Are there other options?
这 没有 使用 CTAD。你也可以写一个函数：
auto const arr = make_array("hello", "world");
这样 make_array 给你一个 std::array<T, N> 其中 T 是第一个元素的衰减类型，或者，如果该类型是 char const*，string 相反。