SFINAE:std::enable_if作为函数参数
SFINAE: std::enable_if as function argument
因此,我在这个网页上的某个地方使用代码设置的示例:http://eli.thegreenplace.net/2014/sfinae-and-enable_if/
这是我的:
template<typename T>
void fun(const typename std::enable_if_t<std::is_integral<T>::value, T>& val) {
std::cout << "fun<int>";
}
template<typename T>
void fun(const typename std::enable_if_t<std::is_floating_point<T>::value, T>& val) {
std::cout << "fun<float>";
}
int main()
{
fun(4);
fun(4.4);
}
我必须这样写:
fun<int>(4);
fun<double>(4.4);
我该如何避免这种情况?
编译器抱怨无法推导出参数T
。
这些例子是错误的,因为T
在非推导上下文中是。除非您调用像fun<int>(4);
这样的函数,否则代码不会编译,但这可能不是作者想要展示的。
正确的用法是允许编译器推导T
,并在其他地方放置SFINAE条件,例如在返回类型语法中:
template <typename T>
auto fun(const T& val)
-> typename std::enable_if<std::is_integral<T>::value>::type
{
std::cout << "fun<int>";
}
template <typename T>
auto fun(const T& val)
-> typename std::enable_if<std::is_floating_point<T>::value>::type
{
std::cout << "fun<float>";
}
演示
此外,代码中的typename
与您对std::enable_if_t
的使用相矛盾。
使用c++11:
typename std::enable_if<...>::type
或c++14:
std::enable_if_t<...>
在没有返回类型的构造函数中,这将如何工作
在构造函数的情况下,SFINAE条件可以隐藏在模板参数列表中:
struct A
{
template <typename T,
typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
A(const T& val)
{
std::cout << "A<int>";
}
template <typename T,
typename std::enable_if<std::is_floating_point<T>::value, int>::type = 0>
A(const T& val)
{
std::cout << "A<float>";
}
};
演示2
或者,在c++20中,您可以使用以下概念:
A(const std::integral auto& val);
A(const std::floating_point auto& val);
为了允许推导,您需要一个直接基于T
的函数参数。然后,您需要弄清楚将enable_if
放在哪里(这确实不允许推导T
)。常见选项是在返回类型或您忽略的额外默认参数上。
这里有一些很好的例子:http://en.cppreference.com/w/cpp/types/enable_if
相关文章:
- static_assert在宏中,但也可以扩展到可以用作函数参数的东西
- C++中的高效循环缓冲区,它将被传递给C样式数组函数参数
- 当从函数参数中的临时值调用复制构造函数时
- 如何从"decltype()"获取函数参数的数量<funtion>?
- 如何将lambda作为模板类的成员函数参数
- 模板参数推导失败,函数参数/参数不匹配
- 如何在C++中将迭代器作为函数参数传递
- 将函数参数"const char*"转换为"std::string_view"是
- C++ 如何将数组值解压缩为函数参数
- 主函数参数的属性
- 具有两个间接寻址运算符 (C++) 的函数参数的用途
- "Warning: Comma within array index expression"但逗号分隔函数参数
- 如何定义在用作函数参数时工作的类模板的转换
- 将函数参数完美转发到函数指针:按值传递呢?
- 为什么我不能将引用作为 std::async 的函数参数传递
- 什么..(省略号)作为函数原型中唯一的函数参数,C++?
- 是否可以就地构造一个固定大小的数组作为函数参数?
- 接受模板作为函数参数
- 将成员函数作为构造函数参数调用时出错 "Variable is not a type name"
- Arduino 函数参数