我知道如何选择可变参数模板的第一个参数：
template< class...Args> struct select_first;
template< class A, class ...Args> struct select_first<A,Args...>{ using type = A;};
这是一个非常简单的。然而，select_last 并不相似：
template< class ...Args> struct select_last;
template< class A> struct select_last<A> { using type = A; };
template< class A, class Args...> struct select_last<A,Args...>{
using type = typename select_last<Args...>::type;
};
该解决方案需要深度递归模板实例化。
我尝试用以下方法解决这个问题：
template< class A, class Args...>
struct select_last< Args ... , A>{ using type = A; }; // but it's not compiled.
问：是否存在更有效的方法来选择可变参数模板的最后一个参数？
对于 C++17，最简洁的方法是
template<typename T>
struct tag
{
using type = T;
};
template<typename... Ts>
struct select_last
{
// Use a fold-expression to fold the comma operator over the parameter pack.
using type = typename decltype((tag<Ts>{}, ...))::type;
};
具有 O(1) 实例化深度。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
