Question

我正在尝试在算法中使用is_member_function_pointer来调用某个类型的特定成员函数（如果存在），或者根本不执行任何操作：

template< class T >
struct is_member_function_pointer;

检查T是否是非静态成员函数指针。如果T是非静态成员函数指针类型，则提供成员常量值，该值等于true。否则，value等于false。

例如：

#include <iostream>
#include <type_traits>
#include <vector>

struct A
{
    void boo() const { std::cout << "boo." << std::endl; } 
};

struct B {};

template<bool> struct booable; 

template<>
struct booable<true> {

    template<typename Type>
    static void booIt(Type const & t)
    {
        t.boo(); 
    }
};

template<>
struct booable<false> {

    template<typename Type>
    static void booIt(Type const & t)
    {
        std::cout << "booing a non-booable type" << std::endl;
    }
};

template<typename Type>
void alg(Type const& t)
{
    booable<std::is_member_function_pointer<decltype(&Type::boo)>::value>::booIt(t); 
}

int main(int argc, const char *argv[])
{
    A a;  
    B b; 

    alg(a); 
    alg(b);

    return 0;
}

struct A booable 而B则不是。在算法alg中，is_member_function_pointer布尔值设置为false或true，具体取决于Type实现成员函数boo的事实。然后使用此布尔值来专门化booable结构，该结构实现booIt静态成员函数，其唯一目的是在可布线对象上调用boo，或者什么都不做并通知用户。

但是，编译它（保存的im main.cpp）会导致以下编译时错误：

main.cpp: In instantiation of ‘void alg(const Type&) [with Type = B]’:
main.cpp:46:10:   required from here
main.cpp:37:54: error: ‘boo’ is not a member of ‘B’
booable<std::is_member_function_pointer<decltype(&Type::boo)>::value>::booIt(t);

这让我想知道：是不是将此报告为可用的布尔值而不是编译时错误这个特征结构的重点？这就是我通过简单地做

所得到的同样的错误

B b; 
b.boo();

我在这里做错了什么？

Answer 1

是不是将此作为可用的布尔值而不是编译时错误报告此特征结构的点？

是的，但是为了测试某个类的成员，该成员需要存在。

您收到错误是因为B没有boo并且alg导致decltype(&B::boo)结果为decltype(&int::foo)。您不希望boo编译，是吗？

您需要的是检查成员 existense 的特征。参见

例如。

您可以使用检查结果来专门化进一步测试的模板。

编辑：

这是使用表达式SFINAE检查template<typename T> constexpr auto is_booable(int) -> decltype(std::declval<T>().boo(), bool()) { return true; } template<typename T> constexpr bool is_booable(...) { return false; }的简单方法：

booable< is_booable<Type>(0) >::booIt(t);

用法：

{{1}}

Live example。

如何使用`is_member_function_pointer`在算法中包含/排除成员函数调用？

1 个答案: