如何为具有不同参数的函数声明一系列函数指针？

Question

我正在为项目编写一些测试，并且功能具有相同的返回类型，但参数数量不同。我想使用一系列功能指针来调用这些测试功能。如何为此类功能声明一系列功能指针？

这些功能被声明为：

bool test1();
bool test2(char const *string, uint32_t length);

Answer 1

考虑一下功能指针不是魔术，他们仍然必须遵守ABI调用惯例，这意味着具有一定签名的函数与具有不同签名的函数本质上不同。

使用功能指针更多的是使用动态方法，而不是实现多态性。编辑：这不是多态性。

但是，您可以通过更换每个测试功能来接受void*，然后在结构中编码您的参数来完成一些问题。

// Declare the test functions

//bool test1();
bool test1(void* struct_address)
{
    // struct address unused.
}

// Parameters for test2
struct test2{
    char const* string;
    uint32_t*   length;
}

//bool test2(char const *string, uint32_t length);
bool test2(void* struct_address)
{
    struct test2 test2_s = *(struct test2*)(struct_address);

    // Work with test2_s
}

// Declare the function pointer 
bool (*test_ptr)(void *);

// call test1
test_ptr = test1; test_ptr((void*)NULL);

// call test2
struct test2 test2_s = {param1,param2};
test_ptr = test2; test_ptr((void*)&test2_s);

请小心，因为如果您传递了错误的结构类型，则会获得内存泄漏和细分错误。但是，由于这是一个测试环境，因此可以缓解这一点。

Answer 2

在C中，函数声明中的一个空参数列表并不意味着该函数采用 no参数;相反，这意味着它需要一个未指定的参数。。 ¹

因此，至少从语法上讲，您可以指定一系列功能指针，每个函数指针都有一个未指定的参数数量（但是固定的返回类型），类似：bool（*fnptrarray [100]）（）;。然后，您可以将具有不同参数类型和数字的函数的地址分配给此类数组的不同元素。但是，就不会有编译时检查这些函数是否正确调用，或者对给定参数类型的任何隐式转换为“正确”式形式。

下面的代码说明了这一点（但请注意， 我不建议使用这样的代码 ，因为通过不正确参数可能会导致固有的危险）：

#include <stdio.h>
#include <stdbool.h>

bool Foo(int a) {
    printf("Foo: %d ...\n", a);
    return a % 2;
}

bool Bar(double x, double y) {
    printf("Bar: %5.3lf %5.3lf...\n", x, y);
    return x < y;
}

int main()
{
    bool (*FnPtrArray[100])();

    // So we can't tell at compile time which elements point where ...
    printf("Enter a number: ");
    int n = 42;
    scanf("%d", &n);
    if (n % 2) {
        FnPtrArray[0] = Foo;
        FnPtrArray[1] = Bar;
    }
    else {
        FnPtrArray[1] = Foo;
        FnPtrArray[0] = Bar;
    }

    // Notes assuming given "n" is odd ...
    printf("%d\n\n", FnPtrArray[0](3));         // Works
    printf("%d\n\n", FnPtrArray[0](3.0));       // Wrong argument type
    printf("%d\n\n", FnPtrArray[1](1.0, 2.0));  // Works
    printf("%d\n\n", FnPtrArray[1](1, 2));      // Wrong argument types
    printf("%d\n\n", FnPtrArray[1](1.0));       // Wrong number of args

    return 0;
}

以下是指向above code on

---

¹ 这与C ++有很大不同，其中一个空的形式参数列表 dim 是没有参数。