Làm cách nào để chuyển/chọn các loại trong thời gian biên dịch?

Question

Có cách nào tiêu chuẩn để tôi chọn một loại tại biên dịch thời gian trên chỉ mục chưa được ký trong C++ 11?

Ví dụ, một cái gì đó như:

using type_0 = static_switch<0,T,U>; // yields type T 
using type_1 = static_switch<1,T,U>; // yields type U 

Nếu có một phiên bản variadic-mẫu, nó sẽ rất hữu ích.

Answer 1

này nên làm việc:

template<std::size_t N, typename... T> 
using static_switch = typename std::tuple_element<N, std::tuple<T...> >::type; 

Một phương pháp:

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; 
}; 

Answer 2

Bạn có thể sử dụng một boost::mpl::vector để lưu trữ các loại của bạn và sử dụng boost::mpl::at<v,n>::type để có được một loại với từ chỉ số.

template<std::size_t N, typename... T> 
using static_switch = typename boost::mpl::at<boost::mpl::vector<T...>, N>::type; 

Answer 3

Làm thế nào về

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;}; 

Bạn sẽ sử dụng nó như sau:

using type_0 = static_switch<0,T,U>::type; // yields type T 
using type_1 = static_switch<1,T,U>::type; // yields type U 

này được nhiều hay ít thực hiện cho bạn trong std::conditional.

Answer 4

Với C++ 17, bạn cũng có thể thực hiện theo cách khác. Thay vì tính toán các loại một cách rõ ràng, bạn có thể sử dụng constexpr if và làm những việc khác nhau (bao gồm cả trở về các loại khác nhau) trực tiếp:

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 

Bạn cũng có thể sử dụng để nhận được chỉ là loại:

using type_0 = decltype(foo<0>()); 
using type_1 = decltype(foo<1>());