如果参数不可用于某种类型,如何启用函数？

Question

我正在制作一个功能模板:

template <typename T>
void foo (T arg1) {}

但我想确保T类型可以输入Foo,因此arg1需要:

Foo * //This case T = Foo*

要么

Any type X which implements `*` operator which returns a Foo/Foo&/Foo&&

所以我需要这样的东西:

template <typename T>
void foo(T arg1, std::enable_if<std::is_same<typeid(*arg1), typeid(Foo)>::value> * = 0) {}

但这不会编译和抱怨:

typecheck.cpp:6:54: error: use of parameter âarg1â outside function body
 void foo(T arg1, std::enable_if<std::is_same<typeid(*arg1), typeid(Foo)>::value> * = 0) {}
                                                      ^

我怎样才能做到这一点？

Answer 1

您应该更喜欢使用is_convertible而不是is_same来捕获Foo的子类,模板参数列表中的enable_if而不是函数参数或返回类型也更容易阅读.

template <typename T, typename = typename std::enable_if<std::is_convertible<decltype( *std::declval<T>() ), Foo>::value>::type >
void foo(T arg1);

c ++ 14中的垃圾少:

template <typename T, typename = std::enable_if_t<std::is_convertible<decltype( *std::declval<T>() ), Foo>::value> >
void foo(T arg1);