有没有一种标准方法可以让我在编译时在 c++11 中的无符号索引上选择一种类型?
例如,类似:
using type_0 = static_switch<0,T,U>; // yields type T
using type_1 = static_switch<1,T,U>; // yields type U
如果有可变参数模板版本,那将非常有用。
有没有一种标准方法可以让我在编译时在 c++11 中的无符号索引上选择一种类型?
例如,类似:
using type_0 = static_switch<0,T,U>; // yields type T
using type_1 = static_switch<1,T,U>; // yields type U
如果有可变参数模板版本,那将非常有用。
这应该有效:
template<std::size_t N, typename... T>
using static_switch = typename std::tuple_element<N, std::tuple<T...> >::type;
另一种方法:
template<std::size_t N, typename T, typename... Ts>
struct static_switch {
using type = typename static_switch<N - 1, Ts...>::type;
};
template<typename T, typename... Ts>
struct static_switch<0, T, Ts...> {
using type = T;
};
您可能可以使用 aboost::mpl::vector
来存储您的类型并使用boost::mpl::at<v,n>::type
从索引中获取类型。
template<std::size_t N, typename... T>
using static_switch = typename boost::mpl::at<boost::mpl::vector<T...>, N>::type;
怎么样
template<size_t N, typename T, typename U>
struct static_switch {};
template<typename T, typename U>
struct static_switch<0, T, U>{typedef T type;};
template<typename T, typename U>
struct static_switch<1, T, U>{typedef U type;};
您可以按如下方式使用它:
using type_0 = static_switch<0,T,U>::type; // yields type T
using type_1 = static_switch<1,T,U>::type; // yields type U
这或多或少在std::conditional中为您实现。
使用 C++17,您还可以采用另一种方式。您可以直接使用constexpr if
和执行不同的操作(包括返回不同的类型),而不是显式计算类型:
template<size_t N>
decltype(auto) foo(){
if constexpr(N%2==0){
return std::string("Hello I'm even");
}else{
return std::pair(
std::vector<char>{'O','d','d',' ','v','a','l','u','e'},
[](){ return N; });
}
}
foo<0>() // "Hello I'm even"
foo<21>().second() // 21
您也可以使用它来获取类型:
using type_0 = decltype(foo<0>());
using type_1 = decltype(foo<1>());