我正在编写一个函数,我将map
,set
,unordered_map
,unordered_set
的密钥复制到vector
,现在我要添加如果某些人试图在该函数中传递vector
,list
,则编译时断言以获得明确的错误。
template <typename container>
auto CopyKeyToVector(conatiner c)
{
//static assert to check c is map, unordered map only?
}
任何想法我们如何做到这一点 - 如map
,unordered_map
本身模板化容器
答案 0 :(得分:5)
您可以实施并使用is_specialization_of
作为通用解决方案:
template <typename, template <typename...> class>
struct is_specialization_of : std::false_type
{
};
template <template <typename...> class TTemplate, typename... Ts>
struct is_specialization_of<TTemplate<Ts...>, TTemplate> : std::true_type
{
};
template <typename container>
auto CopyKeyToVector(container c)
{
static_assert(
is_specialization_of<container, std::map>{} ||
is_specialization_of<container, std::unordered_map>{}, "");
}
请注意,它也可以与std::enable_if
一起使用:
template <typename T>
constexpr auto is_map_or_umap =
is_specialization_of<T, std::map>{} ||
is_specialization_of<T, std::unordered_map>{};
template <typename container>
auto CopyKeyToVector(container) -> std::enable_if_t<is_map_or_umap<container>>
{
// (1)
}
template <typename container>
auto CopyKeyToVector(container) -> std::enable_if_t<!is_map_or_umap<container>>
{
// (2)
}
int main()
{
CopyKeyToVector(std::map<int,float>{}); // Calls (1)
CopyKeyToVector(std::unordered_map<int,float>{}); // Calls (1)
CopyKeyToVector(std::vector<int>{}); // Calls (2)
}
答案 1 :(得分:3)
不要使用静态断言。相反,添加一个间接级别:
cmd = os.environ.get('SCIPY_PIL_IMAGE_VIEWER', 'see')
(您可以进一步修改template <typename C>
void CopyKeyToVectorImpl(const C& c) { /* ... */ }
template <typename K, typename T, typename Pred, typename Alloc>
void CopyKeyToVector(const std::map<K, T, Pred, Alloc>& m) {
CopyKeyToVectorImpl(m);
}
template <typename K, typename T, typename Hash, typename Eq, typename Alloc>
void CopyKeyToVector(const std::unordered_map<K, T, Hash, Eq, Alloc>& m) {
CopyKeyToVectorImpl(m);
}
函数以通过参数化值到键投影来允许相同清洗中的集合。)