const成员函数指针的特化

Question

我正在尝试将一些实用程序代码专门用于 const 成员函数，但在让一个简单的测试用例工作时遇到问题。
为了简化工作，我正在使用 Boost.FunctionTypes 及其 components<FunctionType> 模板 - 一个 MPL 序列 应该 contain 标签 const_qualified 用于 const 成员函数。

但是使用下面的测试代码，const 成员函数的特化失败了。有人知道如何让它工作吗？

测试代码打印出来（使用 VC8 和 boost 1.40）：

非常量
非常量

预期输出是：

非常量
常量

测试代码本身：

#include <iostream>
#include <boost/function.hpp>
#include <boost/bind.hpp>
#include <boost/function_types/function_type.hpp>
#include <boost/mpl/contains.hpp>

namespace ft  = boost::function_types;
namespace mpl = boost::mpl;

template<typename F>
struct select 
{    
    template<bool IsConst /* =false */>
    struct helper {
        static void f() { std::cout << "non-const" << std::endl; }  
    };

    template<>
    struct helper</* IsConst= */ true> {
        static void f() { std::cout << "const" << std::endl; }  
    };

    typedef ft::components<F> components;
    typedef typename mpl::contains<components, ft::const_qualified>::type const_qualified;
    typedef helper<const_qualified::value> result;
};

typedef boost::function<void (void)> Functor;

template<typename MF>
Functor f(MF f)
{
    return boost::bind(&select<MF>::result::f);
}

class C 
{
public:
    void f1() {}
    void f2() const {}
};

int main()
{
    f(&C::f1)(); // prints "non-const" as expected
    f(&C::f2)(); // prints "non-const", expected "const"
}

Answer 1

虽然我仍然不清楚为什么通过 function_types::components<> 的方法不起作用，但我意识到 Boost.FunctionTypes 有一种更简单的方法可以专注于 const 成员函数：
is_member_function_pointer<> 之类的分类元函数可选地采用 tag 参数 ...

template<typename F>
struct select 
{    
    /* ... helper-struct as before */

    typedef ft::is_member_function_pointer<F, ft::const_qualified> const_qualified;
    typedef helper<const_qualified::value> result;
};

Answer 2

我没有测试过，但不应该

typedef mpl::contains<components, ft::const_qualified> const_qualified;

成为

typedef typename mpl::contains<components::type, ft::const_qualified>::type const_qualified;