Question

我正在尝试在C中创建一个FSM。我正在使用C语言模式的变体来解释here。问题是我在嵌入式世界中，他们让我遵守一些安全关键规则。其中一条规则说我不能使用非常量指针来实现函数，所以我创建了这样的fsm：

typedef struct tFsm* tFsmPtr;

/* PLEASE NOTE: This is a non const struct with its member
 * being a const pointer to a function.  */
typedef struct
{
    void (*const raise)(tFsmPtr);
} tEvent;

struct tFsm
{
    /* Because the tEvent type is non const,
     * I can modify these fields */
    tEvent start;
    tEvent started;
    tEvent stop;
    tEvent stopped;
};

static void DefaultInvalidEventCallback(tFsmPtr fsm)
{
    /* Raise an error */
}

static struct tFsm m_fsm = {
    .start   = { .raise = &DefaultInvalidEventCallback },
    .started = { .raise = &DefaultInvalidEventCallback },
    .stop    = { .raise = &DefaultInvalidEventCallback },
    .stopped = { .raise = &DefaultInvalidEventCallback }
};

到目前为止没有错误。问题是，当我尝试修改struct tFsm的任何字段时，它会抱怨。例如这段代码：

void ResetFsm( tFsmPtr fsm )
{
    fsm->start       = (tEvent){ .raise = &DefaultInvalidEventCallback };
    fsm->started     = (tEvent){ .raise = &DefaultInvalidEventCallback };
    fsm->stop        = (tEvent){ .raise = &DefaultInvalidEventCallback };
    fsm->stopped     = (tEvent){ .raise = &DefaultInvalidEventCallback };
}

编译器抱怨说：

prog.c: In function 'ResetFsm':
prog.c:32:22: error: assignment of read-only member 'start'
     fsm->start       = (tEvent){ .raise = &DefaultInvalidEventCallback };
                      ^
prog.c:33:22: error: assignment of read-only member 'started'
     fsm->started     = (tEvent){ .raise = &DefaultInvalidEventCallback };
                      ^
prog.c:34:22: error: assignment of read-only member 'stop'
     fsm->stop        = (tEvent){ .raise = &DefaultInvalidEventCallback };
                      ^
prog.c:35:22: error: assignment of read-only member 'stopped'
     fsm->stopped     = (tEvent){ .raise = &DefaultInvalidEventCallback };
                      ^

我的问题是：你能告诉我为什么编译器在这里抱怨吗？有没有办法在这里使用常量指针？

谢谢你。

Answer 1

struct raise的成员tEvent，使用const：

定义

void (*const raise)(tFsmPtr);

这意味着只能初始化整个结构：

tEvent s = { DefaultInvalidEventCallback };

但整个结构的赋值不是：

tEvent a;
a = s;

这当然适用于任何以结构tEvent为其成员的结构，例如：struct tFsm，如示例所示

Answer 2

对于您拥有const成员的任何结构，只能在初始化结构时设置该成员。您无法在运行时更改它，原因与您无法做到的原因相同：

const int x=1; 
x=2;

您已创建immutable object。

由于不允许使用非常量函数指针，因此函数ResetFsm没有任何意义，需要删除。没有办法你可以写它，这是有道理的。

你可以做的是：

struct tFsm CreateDefaultFsm (void)
{
  return (struct tFsm)
  {
    .start    = (tEvent){ .raise = &DefaultInvalidEventCallback },
    .started  = (tEvent){ .raise = &DefaultInvalidEventCallback },
    .stop     = (tEvent){ .raise = &DefaultInvalidEventCallback },
    .stopped  = (tEvent){ .raise = &DefaultInvalidEventCallback },
  };
}

您还可以创建类似的复制功能等。所有在结构上工作的函数都必须创建它的新副本。

＆＃34;指定只读成员＆＃34;分配给结构的非const成员时出错

2 个答案: