代码之家 › 专栏 › 技术社区 › Navaneeth K N

将一个结构指针强制转换为另一个-c

casting struct c

Navaneeth K N · 技术社区 · 16 年前

请考虑以下代码。

enum type {CONS, ATOM, FUNC, LAMBDA};

typedef struct{
  enum type type;
} object;

typedef struct {
  enum type type;
  object *car;
  object *cdr;
} cons_object;

object *cons (object *first, object *second) {
  cons_object *ptr = (cons_object *) malloc (sizeof (cons_object));
  ptr->type = CONS;
  ptr->car = first;
  ptr->cdr = second;
  return (object *) ptr;
}

在 cons 函数,变量 ptr 属于类型 cons_object* . 但在返回值中,它被转换为 object* .

我想知道这是怎么可能的,因为 cons_object 和 object 是不同的结构。
做这种事情有什么问题吗?

任何想法!

3 回复 | 直到 9 年前

Dean Harding 16 年前

struct type object cons_object

foo_object

void traverse(object *obj)
{
    if (obj->type == CONS) {
        cons_object *cons = (cons_object *)obj;
        traverse(cons->car);
        traverse(cons->cdr);
    } else if (obj->type == FOO) {
        foo_object *foo = (foo_object *)obj;
        traverse_foo(foo);
    } else ... etc
}

typedef struct {
    enum type type;
} object;

typedef struct {
    object parent;

    object *car;
    object *cdr;
} cons_object;

Jeff Mercado 16 年前

ptr object type enum type cons_object

                    +---+---+---+---+
cons_object *ptr -> | t | y | p | e | enum type
                    +---+---+---+---+
                    | c | a | r |   | object *
                    +---+---+---+---+
                    | c | d | r |   | object *
                    +---+---+---+---+

car cdr 4

                    +---+---+---+---+
((object *)ptr)  -> | t | y | p | e | enum type
                    +---+---+---+---+
                    | c | a | r |   |
                    +---+---+---+---+
                    | c | d | r |   |
                    +---+---+---+---+

int

                        +---+---+---+---+
int             *ptr -> | i | n | t |   | int
                        +---+---+---+---+

                        +---+---+---+---+
((cons_object *)ptr) -> | i | n | t |   | enum type
                        +---+---+---+---+
                        | X | X | X | X | object *
                        +---+---+---+---+
                        | X | X | X | X | object *
                        +---+---+---+---+

Secure 16 年前

http://cellperformance.beyond3d.com/articles/2006/06/understanding-strict-aliasing.html

推荐文章

Kris Craig · 为什么Comparer不支持C#中lambda操作的64位(长)委托返回类型?

1 年前

DutChen18 · 如何在C宏中内联触发隐式指针转换?

2 年前

bnjmn 21 · Rust:非基元强制转换:`impl Fn()`as `Fn()`

2 年前

bangingmyheadontable · windows网络代码是否违反了严格的别名规则?

2 年前

0xDED · 如何将泛型类强制转换为对象的泛型类?

2 年前

ritik sharma · 为什么我无法在cpp中将int类型转换为float?关闭

2 年前

Niclas · 变量>-1如何在C中精确求值?

2 年前

Textime · 将Varchar2转换为时间

2 年前

xpt · Go,无法将类型*int32转换为类型*int64

2 年前

A_Pickle · 如果Print语句中的Double变量已经声明/初始化为Double,为什么需要将Int强制转换为Double变量?[副本]

2 年前