Boost MPL：仅当（成员）函数存在时才调用它

Question

我有一个类 A，它有一个模板参数 T。在某些用例中，类 T 提供了函数 func1()，而在某些用例中，类 T 不提供该函数。 A 中的函数 f() 应该调用 func1()，只要它存在。我认为这应该可以通过 boost mpl 实现，但我不知道如何实现。 这里有一些伪代码：

template<class T>
class A
{
    void f(T param)
    {
        if(T::func1 is an existing function)
            param.func1();
    }
};

更好的是 else-case：

template<class T>
class A
{
    void f(T param)
    {
        if(T::func1 is an existing function)
            param.func1();
        else
            cout << "func1 doesn't exist" << endl;
    }
};

Answer 1

Boost.MPL 不处理这个问题，因为它严格用于 TMP，并且您不能调用 TMP 中的成员。 Boost.Fusion 和 Boost.TypeTraits 也没有任何东西；我以为其中一个会，但显然我记错了。

这里< /a> 和 这里是一些关于如何编写一个特征来检测 C++03 中的成员。一旦你有了这样的特征（我将其称为 has_func1_member），你就可以将它用于 SFINAE：

template<typename T>
typename boost::enable_if<has_func1_member<T> >::type
maybe_call(T& t)
{ t.func1(); }

template<typename T>
typename boost::disable_if<has_func1_member<T> >::type
maybe_call(T&)
{
    // handle missing member case
}

// your example code would then do:
maybe_call(param);

请注意，使用 C++11 更容易首先编写该特征，尽管它仍然是有点神秘。