Question

我们有很多重复的代码，如下所示：

void WriteA(A *to, A *from);
void WriteB(B *to, B *from);
void WriteC(C *to, C *from);

void WriteA(A *to, A *from){
    *to = *from;
}

void WriteB(B *to, B *from){
    *to = *from;
}

void WriteC(C *to, C *from){
    *to = *from;
}

尽管C没有函数重载或模板，但我想将它作为一个通用函数。我想我唯一的选择是使用void指针。

void Write(void *to, void *from);

但是，似乎没有办法在函数内部导出类型：

void Write(void *to, void *from){
    *to = *from
}

编译器错误：非法类型：void'='void

似乎还没有办法传递第三个参数，这是一个类型名称（同样，我认为只有C ++才能使用模板）。

我将如何编写这种功能？如果可能的话，我想避免使用预处理器。

我以为我可能会这样做：

void Write(void *to, void *from){
    memcpy(pTo, pFrom, sizeof(*pTo));
}

但是，
编译器错误：不知道对象的大小

Answer 1

鉴于您正在尝试复制C ++中可以实现的功能，为什么不重复C ++的功能并实现继承和虚函数？

这是白板代码，既未编译也未经过测试，但与我过去在C中实现OO设计时所做的事情非常相似。将其作为可以使用和扩展的模式。

坚持您想要通用copy函数的示例代码，首先定义抽象基类。

typedef struct base_class
{
    void (*copy) (const void *this, void *to);
}

现在有些继承的类：

typedef struct A
{
    const base_class *base;
    // Other members
} A;

typedef struct B
{
    const base_class *base;
    // Other members
} B;

为派生类创建基础copy函数和构造函数。断言试图提供某种类型的安全性

void copy_A(const void *this, void *to)
{
    assert(((const A *)this)->base == ((A *)to)->base)
    memcpy(to, this, sizeof(A));
}

void make_A(A *newA)
{
    const base_class base = {copy_A};
    assert(newA);
    newA->base = &base;
    // other initialization 
}


void copy_B(const void *this, void *to)
{
    assert(((const B *)this)->base == ((B *)to)->base)
    memcpy(to, this, sizeof(B));
}

void make_B(B *newB)
{
    const base_class base = {copy_B};
    assert(newB);
    newB->base = &base;
    // other initialization 
}

最后，您的通用复制方法：

void Write (void *to, const void *from)
{
    const base_class *source_vtable = from;
    source_vtable->copy(from, to);
}

这是不类型安全，因为无法保证*from包含vtable。为了使它成为防弹，你真的希望你的base_class包含一个初始标记字段，可以检查它以确保那里有一个功能表。

base_class可以扩展为包含多个常用功能。

Answer 2

如果您对struct成员有依赖，那么一种方法是使用C预处理器。

但是根据您的评论，您实际上只对struct类型和成员有一个依赖关系，这是在特定位置完成的任务。

最简单的方法是在上面的评论中使用 Leonardo Herrera 中的建议并传递struct大小，然后使用memcpy()的大小{ {1}}论证。

另一种可能性是创建两个函数，一个在赋值之前完成工作，另一个在赋值之后完成工作，然后调用第一个函数，执行实际赋值，然后调用第二个函数。例如：

struct

如果需要在// define the structs that we are using. typedef struct { int jj; int kk; } s1; typedef struct { int kk; int ii; int jj; } s2; // define the function that does the first part of the work void PhaseOne (/* arg list */) { // phase one of the functionality } // define the function that does the second part of the work void PhaseTwo (/* arg list */) { // phase two of the functionality } myFunctionUser (void) { s1 a1, b1; s2 a2, b2; // do things with a1 and b1 in prep to call the function // do things with a2 and b2 in prep to call the function PhaseOne (/* arg list */); a1 = b1; PhaseTwo (/* arg list */); PhaseOne (/* arg list */); a2 = b2; PhaseTwo (/* arg list */); // do more stuff }和PhaseOne()之间进行通信，或者根据PhaseTwo()或{的状态对所分配的变量进行某些更改？ {1}}然后您可能需要PhaseOne()或其他变量类型。

然而，另一件事是编写一个函数，它接受指向另一个函数的指针，而在另一个函数中执行赋值。这是借用C标准库如何使用PhaseTwo()函数的比较函数的想法。并且使用这种方法如果除了赋值之外还有其他关于结构的事情，那么指向的函数将是执行它的地方，因为在那时你可以执行转换为适当的类型然后做任何事情。

struct

这里只是为了咧嘴笑是一种使用C预处理器根据特定结构类型生成源的方法。调试非常难看和困难，并且程序员需要一定程度的纪律。这是一个小而简单的函数来说明这个过程，我保证它不会很好地扩展。

qsort()

是否可以在C中编写类型不可知函数，并在实现中派生类型？

2 个答案: