Question

我希望能够使用函数类型的模板参数（包括参数和返回类型）调用函数，即double(int, long)，并在函数中分隔类型并单独使用它们。

例如，我希望能够调用函数

printRes<double(int, long)>();

上面的这个函数应该解析模板参数并提取返回类型double并输出它。

我知道如何使用类和可变参数模板执行此操作：

#include <iostream>
#include <typeinfo>

template <typename T>
class A {};

template <typename Res, typename... Args>
class A<Res (Args...)> { // Parse template argument
public:
    void printRes() {
        std::cout << typeid(Res).name() << std::endl;
    }
};

然后我可以像这样使用它：

int main() {
    A<double(int, long)> a;
    a.printRes();
}

哪个输出：

我想用一个简单的函数代替它。这就是我想出的：

template <typename Res, typename... Args>
void printRes() {
    std::cout << typeid(Res).name() << std::endl;
}

但是，现在我必须指定这样的模板参数：

int main() {
    printRes<double, int, long>();
}

有没有办法实现这个功能，所以可以使用与class-version相同的模板参数调用它（即double(int, long)）？

Answer 1

我想你差不多了。您可以在功能模板中使用特征。这是一个可能的实现：

#include <iostream>
#include <typeinfo>

template <typename T>
struct A { };

template<typename Res, typename... Args>
struct A<Res (Args...)> 
{
    using type = Res;
};

template<typename T>
void printRes() 
{
    using Res = typename A<T>::type;
    std::cout << typeid(Res).name() << std::endl;
}

int main()
{
    printRes<double(int, long)>();
}

这是一个live example。

C ++解析函数类型模板参数

1 个答案: