我们如何实现一个可变参数模板,给定类型 T
和类型列表 E
1,E
2, ... E
N,确定从 T
转换的列表的类型> 根据重载决议,那种类型是最好的?
void
应该是输出 - 换句话说,当存在歧义或 T
无法转换为列表中的任何类型时。
请注意,这意味着我们的模板应该是 SFINAE 友好的,即当不存在最佳转换时不会出现硬错误。
以下 static_assert
应该成功:
static_assert( std::is_same< best<int, long, short>, void >{}, "" );
static_assert( std::is_same< best<int, long, std::string>, long >{}, "" );
static_assert( std::is_same< best<int>, void >{}, "" );
(为简单起见,假设 best
是引用实际模板的别名模板)
此案例未指定:
static_assert( std::is_same< best<int, int, int>, ???>{}, "" );
此处可以接受void
或int
。 (如果选择后者,那么我们仍然可以在包装器模板中检查结果类型是否在列表中包含两次,如果是,则输出 void
)。
最佳答案
我目前最好的方法:
#include <type_traits>
template <class T> using eval = typename T::type;
template <class T> struct identity {using type = T;};
template <typename T, typename... E>
class best_conversion
{
template <typename...> struct overloads {};
template <typename U, typename... Rest>
struct overloads<U, Rest...> :
overloads<Rest...>
{
using overloads<Rest...>::call;
static identity<U> call(U);
};
template <typename U>
struct overloads<U>
{
static identity<U> call(U);
};
template <typename... E_>
static identity<eval<decltype(overloads<E_...>::call(std::declval<T>()))>>
best_conv(int);
template <typename...>
static identity<void> best_conv(...);
public:
using type = eval<decltype(best_conv<E...>(0))>;
};
template <typename... T>
using best_conversion_t = eval<best_conversion<T...>>;
Demo .对于上面的“未指定”情况,此模板将为您提供 int
.
基本思想是将一堆带有一个参数的重载函数放入名称查找将查找的不同范围内,每个重载的参数和返回类型对应于我们列表中的一种类型。
overloads
通过递归地引入一个声明 call
来完成这项工作一次调整所有以前介绍的call
来自基础特化的 using
声明。那样都call
s 在不同的范围内,但在涉及重载决议时被同等考虑。
然后在函数模板中应用 SFINAE best_conv
检查是否调用了call
(在 overloads
内)格式正确:如果是,则采用所选声明的返回类型(根据定义,参数类型)并将其用作我们的结果 - 这将是我们正在寻找的类型。< br/> 还提供了 best_conv
的第二个重载返回 void
并且可以选择为默认值(当 SFINAE 在第一个重载中应用并将其踢出候选集时)。
返回类型使用identity<>
在使用例如时避免类型衰减数组或函数指针类型。
关于c++ - 确定最佳转换的 Variadic 模板,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27338428/