模板类函数指针类型别名

Question

我正在尝试为 myClass 中的函数 (myFunction) 创建类型别名。

template<typename T>
using calc_t = matrix<T> (MyClass<T>::*myFunction)(const matrix<T> &X);

我会得到一个通用语法错误，missing ')' before MyClass<T>::*myFunction。

然后就这样使用它

calc_t<double> fptr = &MyClass<double>::myFunction;

我不确定在这种特定情况下使用 using 类型别名而不是非模板类型定义时使用的语法。

我查看了以下似乎未涵盖此特定用法的其他 SO 问题：

• Function pointer to member function

• Function pointer type not recognized inside template class

我尝试了其他一些变体，但没有成功。

Answer 1

看起来问题是您也试图在右侧命名函数指针。以下为我编译：

template <typename T>
class Matrix { };

template <typename T>
class MyClass
{
public:
    Matrix<T> myFunc() { return {}; }
};

template <typename T>
using my_f = Matrix<T> (MyClass<T>::*)(); // NOTE: No myFunction here

int main() {
    my_f<double> f = &MyClass<double>::myFunc;
    return 0;
}

https://www.ideone.com/VdazMB

Answer 2

作为替代方案，正如我在评论中已经建议的那样，您可以使用std::function，因为它更容易使用并且更通用。

template <typename T>
class matrix { };

template <typename T>
class MyClass
{
public:
    matrix<T> myFunction(matrix<T> const&) { return {}; }
};

template<typename T>
using calc_t = std::function<matrix<T>(matrix<T> const&)>;

int main()
{
    MyClass<double> myObject;

    using namespace std::placeholders;  // For e.g. _1
    calc_t<double> myFunction = std::bind(&MyClass<double>::myFunction, myObject, _1);

    matrix<double> myFirstMatrix, mySecondMatrix;
    myFirstMatrix = myFunction(mySecondMatrix);
}

如上所示，您可以使用std::bind。但你也可以使用lambda expressions:

calc_t<double> myFunction = [&](matrix<double> const& m)
{
    return myObject.myFunction(m);
};

或者更好（无论如何对于这个简单的用例）使用类型推导

auto myFunction = [&](matrix<double> const& m)
{
    return myObject.myFunction(m);
};

使用 lambdas、类型推导和模板，您可以以简单的方式创建非常通用、富有表现力和复杂的代码。