我想要一個包含n值的類，就像std::tuple. 不過，我不能完全使用元組，因為在獲取值時有額外的邏輯——它們是按需提供的。
請以我寫的這個類為例：
// somewhere else
template<typename TVal>
TVal valueGetter() { ... };
template<typename ...TColValue>
class ResultRow
{
public:
template<unsigned int TIndex>
get_nth_from_variadric<TIndex, TColValue> GetValue() const
{
return valueGetter<get_nth_from_variadric<TIndex, TColValue> >();
}
};
我希望它的作業方式是用戶只需呼叫int myVal = GetValue<1>，給定類模板 params ResultRow<bool, int>。為此，我需要能夠將模板引數的索引轉換為型別。
我怎樣才能做到這一點？
uj5u.com熱心網友回復：
一種方法是將可變引數轉發到一個元組中，然后使用std::get，例如：
#include <iostream>
#include <tuple>
template<size_t N, typename... Args>
auto f(Args&&... args)
{
return std::get<N>(std::tuple{std::forward<Args>(args)...});
}
int main(void)
{
std::cout << f<0>("Hello", "world") << ' ' << f<1>("Hello", "world") << f<0>('!') << '\n';
}
uj5u.com熱心網友回復：
您可以在遞回繼承型別特征的幫助下從引數包中獲取型別。
template<unsigned int TIndex, typename ...TColValue>
struct get_nth_from_variadric_type;
template<unsigned int TIndex, typename Head, typename... Tail >
struct get_nth_from_variadric_type<TIndex, Head, Tail...>
: get_nth_from_variadric_type<TIndex-1, Tail...> { };
template<typename Head, typename... Tail>
struct get_nth_from_variadric_type<0, Head, Tail...> {
using type = Head;
};
template<unsigned int TIndex, typename ...TColValue>
using get_nth_from_variadric = typename get_nth_from_variadric_type<TIndex, TColValue...>::type;
然后像這樣使用它
template<typename ...TColValue>
class ResultRow
{
public:
template<unsigned int TIndex>
get_nth_from_variadric<TIndex, TColValue...> GetValue() const
{
return valueGetter<get_nth_from_variadric<TIndex, TColValue...> >();
}
};
uj5u.com熱心網友回復：
我不認為我們應該包裝 stl's tuple_element，但你可以：
template <std::size_t, class>
struct nth_of_pack;
template <std::size_t N, template <class...> class Pack, class ... Ts>
struct nth_of_pack <N, Pack<Ts...>>
: std::tuple_element<N, std::tuple<Ts...>> {};
template <std::size_t N, class Pack>
using nth_of_pack_t = typename nth_of_pack<N, Pack>::type;
演示
更好的解決方案：
tuple_element似乎總是用遞回繼承來實作，這是非常慢的（我已經在 MSVC、gcc、clang 上測驗過它們的許多版本 - 我仍然不知道他們為什么使用遞回！）。它也不適用于除 之外的任何東西tuple，這是不幸的。因此，我們將為任何具有型別引數的類（我稱之為“包”）創建一些通用的東西。
下面我們推斷Julius對這個特定問題的出色回答。有關標準繼承、多繼承和tuple_element. 這里我們使用多繼承：
#include <utility>
template <class T>
struct tag
{
using type = T;
};
template <class T>
using result_t = typename T::type;
////////////////////////////////////////////////////////////////////////////////
template<std::size_t, std::size_t, class>
struct type_if_equal {};
template<std::size_t n, class T>
struct type_if_equal<n, n, T> : tag<T> {};
////////////////////////////////////////////////////////////////////////////////
template<std::size_t n, class Is, class... Ts>
struct select_nth_implementation;
template<std::size_t n, std::size_t... is, class... Ts>
struct select_nth_implementation<n, std::index_sequence<is...>, Ts...>
: type_if_equal<n, is, Ts>... {};
template<std::size_t n, class... Ts>
struct select_nth : select_nth_implementation<
n, std::index_sequence_for<Ts...>, Ts...> {};
template<std::size_t n, class... Ts>
using select_nth_t = result_t<select_nth<n, Ts...>>;
////////////////////////////////////////////////////////////////////////////////
template <std::size_t, class>
struct nth_of_pack;
template <std::size_t N, template <class...> class Pack, class ... Ts>
struct nth_of_pack <N, Pack<Ts...>> : select_nth<N, Ts...> {};
template <std::size_t N, class Pack>
using nth_of_pack_t = result_t<nth_of_pack<N, Pack>>;
然后我們可以像這樣使用：
#include <type_traits>
template <class...>
class foo;
int main () {
using my_tuple = foo<int, bool, char, double>;
using second_type = nth_of_pack_t<2, my_tuple>;
static_assert(std::is_same_v<second_type, char>);
}
演示
轉載請註明出處，本文鏈接：https://www.uj5u.com/yidong/326457.html
上一篇：如何在類級別專門化模板化類