Question

此代码在VS2015更新1中给出错误：

错误C2893：无法专门化功能模板'unknown-type std :: invoke（_Callable＆amp;＆amp;，_ Types＆amp;＆amp; ...）'

#include <iostream>
#include <functional>
using std::cout;
class A
{
public:
    virtual void init()
    {
        cout << "A";
    };
};


class B
{
public:
    virtual void init()
    {
        cout << "B";
    };
};

class C : private A, private B
{

    std::function<void()> a_init = &A::init;
    std::function<void()> b_init = &B::init;
public:
    void call()
    {
        a_init();
        b_init();
    }
};

int main()
{
    C c;
    c.call();
    return 0;
}

任何想法，如果VS编译器是错误的或我的代码？
编辑

#include "stdafx.h"
#include <functional>
class A
{
public:
    virtual void inita()
    {
        cout << "A";
    };
};


class B
{
public:
    virtual void initb()
    {
        cout << "B";
    };
};

class C : private virtual A, private virtual B
{

    /*std::function<void()> a_init = &A::init;
    std::function<void()> b_init = &B::init;*/
public:
    void call()
    {
        inita();
    }
};

Answer 1

您正在尝试将非静态成员函数分配给不带参数的std::function。这是行不通的，因为非静态成员函数具有隐式this参数。

如何解决这个问题取决于你想做什么。如果要在调用时提供的任意对象上调用存储函数，则需要更改std::function签名：

std::function<void(A*)> a_init = &A::init;

void call()
{
  a_init(this); // or some other object of type A on which you want to invoke it
}

[Live example]

另一方面，如果要在没有参数的情况下调用它，则必须在初始化时绑定类型A的对象到std::function：< / p>

std::function<void()> a_init = std::bind(&A::init, this);

void call()
{
  a_init()
};

[Live example]

Answer 2

将功能从virtual更改为static，代码即可运行。您需要一个类的特定实例来调用非静态函数。

另一方面，如果您希望使用非静态函数，可以添加以下构造函数：

C(A &a, B &b)
{
    a_init = std::bind(&A::init, &a);
    b_init = std::bind(&B::init, &b);
}

然后在主要像这样使用它：

A a;
B b;
C c(a, b);
c.call();

编辑：

如果公共继承是可接受的选项，那么你可以做得更简单。

构造

C()
{
    a_init = std::bind(&A::init, this);
    b_init = std::bind(&B::init, this);
}

用法：

C c;
c.call();

无法调用std :: function

2 个答案: