Question

我正在尝试计算模板的方法签名中的参数数量。我想知道参数的数量，因为此方法被包装到通用的lamda中，并且根据传递的参数的数量，我将向此处传递的方法添加更多信息。

我已将问题隔离到下面的摘录中。下面的代码片段按预期工作，但是一旦我更改结果方法以引用该Method，它就会编译失败。为什么对参数类型的引用会影响类型？我如何才能使其具有参考功能？

在Microsoft Visual Studio 2017中对此进行了测试。

#include "pch.h"
#include <iostream>

template <typename Func>
struct func_traits;

template <typename R, typename... TArgs>
struct func_traits<R(*)(TArgs...)> {
    static constexpr uint32_t ARG_COUNT = sizeof...(TArgs);
};

class TestClass {
public:
    // Compile error!!!
    // error C2027: use of undefined type 'func_traits<METHOD>'
    // uint32_t Result(const METHOD& function)

    template <typename METHOD>
    uint32_t Result(const METHOD function) {
        return (func_traits< METHOD >::ARG_COUNT);
    }
};


void foo(int a, int b, int c)
{
}

int bar()
{
    return 0;
}

int baz(double)
{
    return 0;
}

int main()
{
    TestClass device;

    std::cout << device.Result(foo) << std::endl;
    std::cout << device.Result(bar) << std::endl;
    std::cout << device.Result(baz) << std::endl;
    return 0;

}

Answer 1

您的示例中的场景非常少见，并且与特定的模板规则（特别是与函数和数组有关）有关。

要详细说明一下，如果您有一个模板函数通过引用采用另一个函数，则为T推导的类型是实际函数类型（不是指向函数的指针）。例如

template<typename T>
void fun(const T& f);
{
.....
}
void print(int);
fun(print); //for this case T will be deduced as void(int) and not void(*)int i.e. T will not be a function pointer

因此，为了使您的示例适用于参考案例，您必须再创建一个模板专用化，如：

template <typename R, typename... TArgs>
struct func_traits<R(TArgs...)> {
    static constexpr uint32_t ARG_COUNT = sizeof...(TArgs);
};  //note (*) is removed from template function

简而言之，如果您按值传递函数或数组，则它们将衰减为指针，但是如果您按引用传递，则将它们按原样对待。 更多详细信息，请参见Scott Meyers有效的现代C ++（https://www.oreilly.com/library/view/effective-modern-c/9781491908419/ch01.html）

如何使用类型特征推导引用的参数

1 个答案: