【问题标题】:How to use a function pointer in a C struct?如何在 C 结构中使用函数指针?
【发布时间】:2012-07-14 05:51:59
【问题描述】:

我想了解更多关于在 C 结构中使用函数指针来模拟面向对象编程的方法,但在我的搜索中,我刚刚发现了像 this 这样的问题,答案就是使用函数指针没有描述它是如何工作的。

我最好的猜测是这样的

#include <stdio.h>
#include <stdlib.h>

struct my_struct
{
    int data;
    struct my_struct* (*set_data) (int);
};

struct my_struct* my_struct_set_data(struct my_struct* m, int new_data)
{
    m->data = new_data;
    return m;
}

struct my_struct* my_struct_create() {
    struct my_struct* result = malloc((sizeof(struct my_struct)));
    result->data = 0;
    result->set_data = my_struct_set_data;
    return result;
}

int main(int argc, const char* argv[])
{
    struct my_struct* thing = my_struct_create();
    thing->set_data(1);
    printf("%d\n", thing->data);
    free(thing);
    return 0;
}

但这给了我编译器警告warning: assignment from incompatible pointer type,所以很明显我做错了什么。有人可以提供一个小而完整的例子来说明如何在 C 结构中正确使用函数指针吗?

我用 C 语言教授的课程甚至没有提到这些。这让我想知道这些是否真的被 C 程序员使用。在 C 结构体中使用函数指针有什么优缺点?

【问题讨论】:

  • 编译器警告可能是因为实际函数中的参数列表与struct var中的参数列表不匹配:实际函数有(struct my_struct *, int)而结构定义只有(int)
  • @pb2q 我应该改哪一个?
  • @Eva 如果你想将my_struct_set_data()分配给它,你应该将结构定义中的函数指针更改为struct my_struct* (*set_data) (struct my_struct*, int);

标签: c data-structures function-pointers


【解决方案1】:

Andy Stow Away 给出的答案修复了我的编译器警告,但没有回答我的第二个问题。 eddieantonio 和 Niklas R 给出的答案的 cmets 回答了我的第二个问题,但不要修复我的编译器警告。所以我将它们汇集到一个答案中。

C 不是面向对象的,尝试在 C 中模拟面向对象的设计通常会导致风格不佳。复制在结构上调用的方法,以便可以使用指向结构的指针来调用它们,就像我在我的示例中那样。 (坦率地说,它违反了 DRY。)结构中的函数指针对于多态性更有用。例如,如果我有一个表示元素线性序列的通用容器的结构向量,则存储一个比较函数成员可能很有用,该成员是一个函数指针,以允许对向量进行排序和搜索。向量的每个实例都可以使用不同的比较函数。但是,对于对结构本身进行操作的函数,最好有一个单独的函数,而不是在结构中重复。

这使得正确答案变得更加复杂。如何编译我的上述示例是正确的吗?是如何重新格式化我上面的示例以使其具有良好的风格?还是像 C 程序员那样使用函数指针的结构示例是什么?在提出我的问题时,我没有预料到我的问题是错误的。为了完整起见,我将提供每个问题答案的示例。

修复编译器警告

#include <stdio.h>
#include <stdlib.h>

struct my_struct
{
    int data;
    struct my_struct* (*set_data) (struct my_struct*, int);
};

struct my_struct* my_struct_set_data(struct my_struct* m, int new_data)
{
    m->data = new_data;
    return m;
}

struct my_struct* my_struct_create()
{
    struct my_struct* result = malloc((sizeof(struct my_struct)));
    result->data = 0;
    result->set_data = my_struct_set_data;
    return result;
}

int main(int argc, const char* argv[])
{
    struct my_struct* thing = my_struct_create();
    thing->set_data(thing, 1);
    printf("%d\n", thing->data);
    free(thing);
    return 0;
}

重新格式化样式

#include <stdio.h>
#include <stdlib.h>

struct my_struct
{
    int data;
};

void my_struct_set_data(struct my_struct* m, int new_data)
{
    m->data = new_data;
}

struct my_struct* my_struct_create()
{
    struct my_struct* result = malloc((sizeof(struct my_struct)));
    result->data = 0;
    return result;
}

int main(int argc, const char* argv[])
{
    struct my_struct* thing = my_struct_create();
    my_struct_set_data(thing, 1);
    printf("%d\n", thing->data);
    free(thing);
    return 0;
}

在结构体中演示函数指针的使用

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

struct my_struct
{
    void* data;
    int (*compare_func)(const void*, const void*);
};

int my_struct_compare_to_data(struct my_struct* m, const void* comparable)
{
    return m->compare_func(m->data, comparable);
}

struct my_struct* my_struct_create(void* initial_data,
        int (*compare_func)(const void*, const void*))
{
    struct my_struct* result = malloc((sizeof(struct my_struct)));
    result->data = initial_data;
    result->compare_func = compare_func;
    return result;
}

int int_compare(const void* a_pointer, const void* b_pointer)
{
    return *(int*)a_pointer - *(int*) b_pointer;
}

int string_compare(const void* a_pointer, const void* b_pointer)
{
    return strcmp(*(char**)a_pointer, *(char**)b_pointer);
}

int main(int argc, const char* argv[])
{
    int int_data = 42;
    struct my_struct* int_comparator =
            my_struct_create(&int_data, int_compare);

    char* string_data = "Hello world";
    struct my_struct* string_comparator =
             my_struct_create(&string_data, string_compare);

    int int_comparable = 42;
    if (my_struct_compare_to_data(int_comparator, &int_comparable) == 0)
    {
        printf("The two ints are equal.\n");
    }

    char* string_comparable = "Goodbye world";
    if (my_struct_compare_to_data(string_comparator,
            &string_comparable) > 0)
    {
        printf("The first string comes after the second.\n");
    }

    free(int_comparator);
    free(string_comparator);

    return 0;
}

【讨论】:

  • +1 用于合成。另请参阅此相关answer
【解决方案2】:

在您的结构定义中,将其更改为

struct my_struct
{
    int data;
    struct my_struct* (*set_data) (struct my_struct*,int);
};

现在在main中使用上面的函数指针作为

thing->set_data(thing,1);

【讨论】:

  • 这编译得很好。与仅使用 my_struct_set_data 函数相比,此方法有哪些优势?缺点?
  • @Eva 你能详细说明你的问题吗?如果您的意思是,在 C 中使用包含(可能)对结构本身进行操作的函数指针的结构有什么优势,我能想到的最有用的优势是多态性。例如,您将定义多个 set_data() 函数,并且任何结构都可以选择适合它的特定 set_data() 函数。然后,当您处理多个结构时,您无需选择特定结构将使用哪个集合数据函数;它已经“内置”到结构中。
  • @Eva 你不能指望thing-&gt;set_data(value) 的行为与在 C++ 中的行为相同。该函数没有thing有任何引用。您可以考虑将 C++ 中的方法调用从 thing-&gt;do_stuff() 转换为 ThingsClass_do_stuff(thing) 甚至 thing-&gt;_vtable-&gt;do_stuff(thing),如果该方法是虚拟的。
  • @eddieantonio 我想我真正的问题是优点和缺点是什么时候使用一个而不是另一个?是否习惯在我的结构中同时具有 my_struct_set_data 方法和 set_data 方法,或者 C 程序员通常只使用第一个方法,而主要使用第二个方法来实现多态性?
  • @Eva 就个人而言,同时使用这两种方法的想法让我感到害怕。我只想写一个my_struct_set_data() 方法并留下没有任何函数指针的结构,但这只是我。因此,如果我是典型的 C 程序员的代表,那么是的,C 程序员通常只使用第一个,主要使用第二个来表达多态性!
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2010-09-25
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多