5

我有一个具有模板参数 T 的类 A。在某些用例中,类 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();
    }
};

更好的是其他情况:

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;
    }
};
4

1 回答 1

7

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

这里这里是一些关于如何在 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,首先编写 trait 会更容易,尽管它仍然有些晦涩难懂。

于 2011-10-07T12:23:44.210 回答