如何解决如何在 C++ 中“重载”模板化别名声明?
我想创建一个类型别名 array_t
。它应该适用于有界和无界数组。我可以像这样为每个案例分别声明:
// Type of an unbounded array of `T`
template <typename T>
using array_t = T[];
// Type of an array of `T` of size `Size`
template <typename T,size_t Size>
using array_t = T[Size];
问题是两者不能同时声明。我认为解决方案可能是使用某种模板专业化,但我不确定在这种情况下如何使用它。
解决方法
根据 cppreference (https://en.cppreference.com/w/cpp/language/type_alias)
不可能部分或明确地特化别名模板。
但是,可以使用非类型模板参数包,因此我们可以使用以下技巧:
template <class T,size_t... Sizes>
struct array_t_helper
{
using t = void;
};
template <class T,size_t Size>
struct array_t_helper<T,Size>
{
using t = T[Size];
};
template <class T>
struct array_t_helper<T>
{
using t = T[];
};
template <typename T,size_t... Sizes>
using array_t = typename array_t_helper<T,Sizes...>::t;
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。