关于c ++：c ++ 11元编程：检查方法是否存在

c++11 metaprogramming: check for method existence

本问题已经有最佳答案，请猛点这里访问。

1)我有两个类class A和class B，它们都有一个方法，叫做foo，但是参数列表不同。

1
2
3
4
5
6
7
8
9

class A {
public:
void foo(int a);
};

class B {
public:
void foo(int a, int b);
};

2)另外，我还有一个带模板参数T的class C，还有一个foo方法，如下所示

1
2
3
4
5
6
7
8
9

template <typename T>
class C {
public:
void foo();
private:
T t_;
int a_;
int b_;
};

3)我想使用class A和class B作为class C的模板参数。我希望实现一个方法C::foo，如下所示：

1
2
3
4
5
6
7
8

template <typename T>
void C<T>::foo()
{
if (compile time check: T has foo(int a, int b))
t_.foo(a_, b_);
else
t_.foo(a_);
}

如何在C++11中表达上述if声明？

使用sfinae(函数模板重载)。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

template <typename T>
class C {
private:
T t_;
int a_;
int b_;
public:
template <typename X = T>
auto foo() -> decltype (std::declval<X>().foo(a_)) {
t_.foo(a_);
}
template <typename X = T>
auto foo() -> decltype (std::declval<X>().foo(a_, b_)) {
t_.foo(a_, b_);
}
};

现场直播