我有一个调用成员函数的模板。如何使用 static_assert
检查该方法是否存在?
struct A {
};
struct B {
int foo() { return 42; } };
template <typename T> struct D {
static_assert(/* T has foo */, "T needs foo for reasons");
int bar() {
return t.foo();
}
T t; };
int main() {
D<A> d;
std::cout << d.bar() << std::endl;
return 0; }
我知道这只会生成 A 没有 foo 的编译器错误,但我想使用 static_assert
检查并提供更好的错误输出。
最佳答案
由于您使用 static_assert
我断言您至少使用 C++11。这允许写这样的东西:
#include <type_traits>
template<class ...Ts>
struct voider{
using type = void;
};
template<class T, class = void>
struct has_foo : std::false_type{};
template<class T>
struct has_foo<T, typename voider<decltype(std::declval<T>().foo())>::type> : std::true_type{};
而你只使用静态字段 value
( has_foo<your_type>::value
) - 如果它是真的那么你的类型有函数 foo
.
关于C++编译时检查模板类型中是否存在方法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55191505/