我遇到了创建函数的问题,对于给定的类型,如果它是从其他人那里做的那样做的,而对于所有其他情况做其他事情。我的代码:
class BaseClass {};
class DerivedClass : public BaseClass {};
template <typename T>
void Function(typename std::enable_if<std::is_base_of<BaseClass, T>::value, T>::type && arg) {
std::cout << "Proper";
}
template <typename T>
void Function(T && arg) {
std::cout << "Improper";
}
void test() {
Function(DerivedClass{});
}
对于课程DeriviedClass
和其他基于BaseClass
的课程,我想调用 couting Proper
,但 couts Improper
。有什么建议吗?
答案 0 :(得分:7)
正如对问题的评论所述,SFINAE表达方式不会像你那样工作。
它应该是这样的:
template <typename T>
typename std::enable_if<std::is_base_of<BaseClass, T>::value>::type
Function(T && arg) {
std::cout << "Proper" << std::endl;
}
template <typename T>
typename std::enable_if<not std::is_base_of<BaseClass, T>::value>::type
Function(T && arg) {
std::cout << "Improper" << std::endl;
}
SFINAE表达式将启用或禁用Function
,具体取决于BaseClass
基于T
的事实。如果您没有定义,则返回类型为void
,如果您没有定义,则为std::enable_it
的默认类型。
请在coliru上查看。
存在其他有效的替代方案,其中一些已在其他答案中提及。
答案 1 :(得分:3)
template <typename T>
auto Function(T && arg) -> typename std::enable_if<std::is_base_of<BaseClass, T>::value>::type
{
std::cout << "Proper";
}
template <typename T>
auto Function(T && arg) -> typename std::enable_if<!std::is_base_of<BaseClass, T>::value>::type
{
std::cout << "Improper";
}
答案 2 :(得分:3)
#include <typeinfo>
#include <iostream>
class BaseClass {};
class DerivedClass : public BaseClass {};
class OtherClass {};
template <typename T,typename = typename std::enable_if<std::is_base_of<BaseClass, T>::value, T>::type>
void Function(T && arg)
{
std::cout << "Proper" << std::endl;
}
void Function(...)
{
std::cout << "Improper"<< std::endl;
}
int main()
{
Function(DerivedClass{});
Function(BaseClass{});
Function(OtherClass{});
}
答案 3 :(得分:0)
C ++ 11 +:
#include <type_traits> // for is_base_of<>
class Base {};
class Derived : public Base {};
class NotDerived {};
template<typename Class>
void foo(const Class& cls)
{
static_assert(is_base_of<Base, Class>::value, "Class doesn't inherit from Base!");
// The codes...
}
int main()
{
foo(Derived()); // OK!
foo(NotDerived()); // Error!
return 0;
}