std::bind 使用 decltype 类型的类成员函数失败

Question

我正在使用 decltype 和 std::remove_pointer 来声明类型类，并希望将其传递给 std::bind。

class Result { 
public:
    Result(){}
    ~Result(){}
    std::string get(const std::string& name) { return name; } 
}; 

typedef std::function<std::string()> MyGet; 

int main() {
    // OK
    Result result1;
    MyGet mg1 = std::bind(&Result::get, &result1, std::cref("result1"));
    std::cout << mg1() << std::endl;
    // OK
    Result result2;
    MyGet mg2 = std::bind(&decltype(result2)::get, &result2, std::cref("result2"));
    std::cout << mg2() << std::endl;
    // Failed
    Result* result3 = new Result;
    MyGet mg3 = std::bind(&decltype(std::remove_pointer(result3))::get, &result3,
std::cref("result3"));
    std::cout << mg3() << std::endl;
    delete result3;

    return 1; 
}

代码的 result3 部分显示此错误： 不能在没有模板参数列表的情况下引用类模板“remove_pointer” 如何解决？

Answer 1

正确的语法是：

Result* result3 = new Result;
MyGet mg3 = std::bind(
    &std::remove_pointer_t<decltype(result3)>::get, result3, std::cref("result3"));

或

MyGet mg3 = std::bind(
    &std::remove_pointer<decltype(result3)>::type::get, result3, std::cref("result3"));

std::remove_pointer 作用于类型，而不是表达式。使用decltype获取result3的类型，然后去掉指针。

另外，你当然应该直接传递result3，而不是指向它的指针（它已经是一个指针）。

演示：https://godbolt.org/z/Rf2PpB

Answer 2

您上次的std::bind 通话存在许多问题：

• std::remove_pointer(result3)

remove_pointer 是一个类。你想要remove_pointer_t，它将产生括号中的类型无指针，这会导致下一个点

• result3是Result*的instance，我们需要使用decltype来获取它的类型，因为remove_pointer对类型进行操作，这就引出了下一点：

• std::remove_pointer 作为模板类型特征希望 type 作为 模板参数 在尖括号中，而不是在括号中

应用编辑后，我们会看到以下语法

MyGet mg3 = std::bind(&std::remove_pointer_t<decltype(result3)>::get, result3, std::cref("result3"));

Demo

---

最后，lambda 可能更容易处理。你根本不需要构造std::function：

Result result1;
auto mg1 = [&result1](){return result1.get("result1");};
std::cout << mg1() << std::endl;
Result result2;
auto mg2 = [&result2](){return result2.get("result2");};
std::cout << mg2() << std::endl;
Result* result3 = new Result;
auto mg3 = [result3](){return result3->get("result3");};
std::cout << mg3() << std::endl;
delete result3;

Lambda demo

我强烈推荐STL's CppCon 2015 talk 来解释为什么bind() 几乎被弃用，取而代之的是 lambda。

Answer 3

1. 你应该先在变量上使用decltype获取类型，然后使用remove_pointer获取你想要的类型。

2. result3 本身就是一个指针，你应该传递result3 或*result3 而不是&result3。

例如

MyGet mg3 = std::bind(&std::remove_pointer<decltype(result3)>::type::get, result3, std::cref("result3"));