统一容器特性
Unifying container traits
我想构建能够回答is_vector、is_list等问题的特征。问题是我必须分别制作两个版本，即模板模板参数一：
template<template<class,class> class C>
struct is_vector1 : std::false_type { };
template<>
struct is_vector1<std::vector> : std::true_type { };
简单的模板参数一：
template<class T>
struct is_vector2 : std::false_type { };
template<class T, class Alloc>
struct is_vector2<std::vector<T, Alloc>> : std::true_type { };
并且每个都将用于不同的上下文
// 1
is_vector1<std::list>::value;
// 2
template<typename C>
auto func(C const& data) -> typename std::enable_if<is_vector2<C>::value>::type
{ /**/ }
有没有一种方法可以在两种情况下都只使用一个版本？
备注
我不能选择制作基础模板，一个可变模板，我在C++11之前的上下文中工作
您可以通过重载函数模板来解决它：
template<template<class, class> class T>
typename enable_if<!is_vector1<T>::value, char>::type is_vectorf();
template<template<class, class> class T>
typename enable_if<is_vector1<T>::value, char(&)[2]>::type is_vectorf();
template<typename T>
typename enable_if<!is_vector2<T>::value, char>::type is_vectorf();
template<typename T>
typename enable_if<is_vector2<T>::value, char(&)[2]>::type is_vectorf();
之后，只需添加一个简单的宏，该宏使用sizeof来转换函数的返回类型：
#define is_vector(T) ::std::integral_constant<bool, sizeof(is_vectorf<T>()) != 1>
用法相当明显，但如果它导致依赖名称，则可能需要typename。你可以在这里看到一个例子。
请注意，::std::enable_if、::std::integral_constant和::std::declval都来自C++11标准库，但用C++03模拟它们相当容易。
相关文章：
- 没有找到相关文章
